为什么 IF 和条件运算符之间的 IL 存在如此大的差异？

Question

C# 有一个 条件运算符 和 IF 语句，我怀疑条件运算符只是语法糖。所以在编译时它会有一个与 IF 操作相同的操作。

然而它们没有（见下文），它们确实有不同的 IL。尝试着理解它，我的假设是，这是条件运算符获得的性能优化，因为它的范围有限。

想知道我的假设是否正确，也许还有更多内容？

另外，在 IF 的 IL 中，还有一些围绕 int 值的检查（L_000c、L_000d、L_000f），我无法弄清楚其含义。这让我认为这是一个更强大的解决方案，但由于 IF 范围更大而以性能为代价。

---

Code for IF

var result = "";
if (Environment.Is64BitOperatingSystem)
{
    result = "Yes";
}
else
{
    result = "No";
}
Console.WriteLine(result);

条件运算符的代码（我意识到差异，但无论我如何更改它 - 分配给变量等......它几乎没有什么区别）

Console.WriteLine("Is the OS x64? {0}", Environment.Is64BitOperatingSystem ? "Yes" : "No");

IL for IF

L_0001: ldstr ""
L_0006: stloc.0 
L_0007: call bool [mscorlib]System.Environment::get_Is64BitOperatingSystem()
L_000c: ldc.i4.0 
L_000d: ceq 
L_000f: stloc.2 
L_0010: ldloc.2 
L_0011: brtrue.s L_001d
L_0013: nop 
L_0014: ldstr "Yes"
L_0019: stloc.0 
L_001a: nop 
L_001b: br.s L_0025
L_001d: nop 
L_001e: ldstr "No"
L_0023: stloc.0 
L_0024: nop 
L_0025: ldloc.0 
L_0026: call void [mscorlib]System.Console::WriteLine(string)

IL for Conditional

L_002c: ldstr "Is the OS x64? {0}"
L_0031: call bool [mscorlib]System.Environment::get_Is64BitOperatingSystem()
L_0036: brtrue.s L_003f
L_0038: ldstr "No"
L_003d: br.s L_0044
L_003f: ldstr "Yes"
L_0044: call void [mscorlib]System.Console::WriteLine(string, object)

Answer 1

如果

IL_0000:  call       bool [mscorlib]System.Environment::get_Is64BitOperatingSystem()
IL_0005:  brfalse.s  IL_000f
IL_0007:  ldstr      "Yes"
IL_000c:  stloc.0                  // <------ Difference 1
IL_000d:  br.s       IL_0015
IL_000f:  ldstr      "No"
IL_0014:  stloc.0
IL_0015:  ldloc.0
IL_0016:  call       void [mscorlib]System.Console::WriteLine(string)

？ （三元运算符）

IL_001b:  call       bool [mscorlib]System.Environment::get_Is64BitOperatingSystem()
IL_0020:  brtrue.s   IL_0029
IL_0022:  ldstr      "No"          // <------ Difference 2
IL_0027:  br.s       IL_002e
IL_0029:  ldstr      "Yes"
IL_002e:  stloc.0
IL_002f:  ldloc.0
IL_0030:  call       void [mscorlib]System.Console::WriteLine(string)

在发布模式下两者的代码几乎相同。 if 添加了第二个 stdloc.0，编译器未对其进行优化。另一个区别是 true 和 false 是相反的。

（所以我知道我应该始终启动 WinMerge！）

这将是一个有趣的问题。为什么它们是倒置的？有什么逻辑吗？