O código
public class Exemplo {
public static void Main(string[] args) {
var x = 0;
if (x == 1) {
x = 1;
} else {
x = 2;
}
}
}
é compilado para
.method public hidebysig static
void Main (
string[] args
) cil managed
{
// Method begins at RVA 0x2050
// Code size 22 (0x16)
.maxstack 2
.locals init (
[0] int32,
[1] bool
)
IL_0000: nop // Do nothing (No operation)
IL_0001: ldc.i4.0 // Push 0 onto the stack as int32
IL_0002: stloc.0 // Pop a value from stack into local variable 0
IL_0003: ldloc.0 // Load local variable 0 onto stack
IL_0004: ldc.i4.1 // Push 1 onto the stack as int32
IL_0005: ceq // Push 1 (of type int32) if value1 equals value2, else push 0
IL_0007: stloc.1 // Pop a value from stack into local variable 1
IL_0008: ldloc.1 // Load local variable 1 onto stack
IL_0009: brfalse.s IL_0011 // Branch to target if value is zero (false), short form
IL_000b: nop // Do nothing (No operation)
IL_000c: ldc.i4.1 // Push 1 onto the stack as int32
IL_000d: stloc.0 // Pop a value from stack into local variable 0
IL_000e: nop // Do nothing (No operation)
IL_000f: br.s IL_0015 // Branch to target, short form
IL_0011: nop // Do nothing (No operation)
IL_0012: ldc.i4.2 // Push 2 onto the stack as int32
IL_0013: stloc.0 // Pop a value from stack into local variable 0
IL_0014: nop // Do nothing (No operation)
IL_0015: ret // Return from method, possibly with a value
} // end of method Exemplo::Main
Pode ser observado no SharpLab.
E o código
public class Exemplo {
public static void Main(string[] args) {
var x = 0;
x = (x == 1 ? 1 : 2);
}
}
é compilado para
.method public hidebysig static
void Main (
string[] args
) cil managed
{
// Method begins at RVA 0x2050
// Code size 13 (0xd)
.maxstack 2
.locals init (
[0] int32
)
IL_0000: nop // Do nothing (No operation)
IL_0001: ldc.i4.0 // Push 0 onto the stack as int32
IL_0002: stloc.0 // Pop a value from stack into local variable 0
IL_0003: ldloc.0 // Load local variable 0 onto stack
IL_0004: ldc.i4.1 // Push 1 onto the stack as int32
IL_0005: beq.s IL_000a // Branch to target if equal, short form
IL_0007: ldc.i4.2 // Push 2 onto the stack as int32
IL_0008: br.s IL_000b // Branch to target, short form
IL_000a: ldc.i4.1 // Push 1 onto the stack as int32
IL_000b: stloc.0 // Pop a value from stack into local variable 0
IL_000c: ret // Return from method, possibly with a value
} // end of method Exemplo::Main
Pode ser observado no SharpLab.
Portanto há diferença. A diferença é apenas sintática mesmo. Mas em versão anterior desta resposta não havia diferença. Então é detalhe de implementação, pode mudar de uma versão para outra.
Ao contrário da crença popular, a versão usando o operador condicional pode ser mais eficiente.
Mas não é tão simples. Isto pode não ser válido em outras situações. Eu fiz um exemplo simples. A única forma de saber o que realmente vai acontecer e se vai ter a mesma performance, é medindo. É verificando se gera o mesmo código na sua exata situação real na versão do compilador que for usado.
E tem mais, o JITter pode fazer mais otimizações e inverter a situação ou deixar nas mesmas condições.
Veja um outro exemplo de comparação em inglês.
Você pode fazer a verificação do código IL bruto com o ildasm.exe que vem com o Visual Studio, ou pode usar outro descompilador como o ILSpy, o dotPeek, o .NET Reflector ou o JustDecompile.
Você deve escolher o que é melhor para dar entendimento para o que você deseja. Se precisar usar um operador condicional em uma expressão complexa pode ficar ilegível. Por outro lado criar várias linhas em um if
para fazer uma simples operação também pode ser um exagero. Uma dica para melhorar a legibilidade do operador condicional e deixar claro que você está montando uma expressão é colocar parênteses em torno da expressão completa (os três operandos como uma coisa só). Claro que há situações que nem isto ajuda.
Se há efeito colateral (alteração de estado), isto precisa ficar claro no código. Me parece que nos casos que apresentei isto fica claro. Mas há casos que o código pode dificultar a leitura do efeito colateral. Você deve evitar esconder possíveis equívocos no código. O operador ternário é mais propenso a isto. Mas também não devemos fugir dele a todo custo. Deve ser observado a pertinência no caso específico.
Exemplo bom:
int resultado = Check() ? 1 : 0;
Exemplo ruim:
int resultado = Check1() ? 1 : Check2() ? 1 : Check3() ? 1 : 0;
Apesar que este exemplo pode ser melhorado:
int resultado = Check1() ? 1 :
Check2() ? 1 :
Check3() ? 1 :
0;
Uma das vantagens de usar o operador condicional no lugar do if
é a redução de código duplicado. É bom para manter a concisão. Mas isto não pode vir em detrimento da legibilidade do código. Mais performance para um lado ou para o outro não é vantagem. O ganho certamente será pequeno mesmo nas situações mais extraordinárias. Se você realmente precisa desse possível pequeno ganho de performance, C# não é a linguagem adequada.
O Resharper é uma ótima ferramenta (quase obrigatória) e dá ótimas sugestões, mas ele não codifica para você. O programador sempre é necessário para dar contexto ao código. O Resharper não é mais inteligente que você e não sabe se o seu código realmente ficará melhor do jeito que ele sugere. Ele dá a dica, você decide.
Coloquei no GitHub para referência futura.