==運算符到底是做什么的？

Question

所以我看看ILDASM，檢查一個如下所示的.exe：

int a = 2;
Int32 b = 1;
if(b == 1)
{

}

現在，CIL代碼看起來像這樣：

IL_0005:  ldloc.1
IL_0006:  ldc.i4.1
IL_0007:  ceq
IL_0009:  ldc.i4.0
IL_000a:  ceq
IL_000c:  stloc.2

我知道第一個b被加載（存儲在[1]中），然后是一個值為1的常量，然后進行比較。 我不明白的是為什么在存儲比較結果之前加載並比較另一個值為0的常量。
由於第一次比較應該已經產生了一個真值，檢查這個值是否為0會反轉結果，對吧？
我現在的問題是：它為什么倒置了？ 我假設它與我使用的==運算符有關，我的理論是它返回差異。 如果此差值為0，則值相同，因此應該是結果。 但0表示錯誤，因此需要反轉。
我似乎無法找到關於這個主題的任何內容，只是關於像==〜或類似的運算符。 希望你能賜教:)

最好的祝福

Wilsu

PS：這是完整的代碼：

.method private hidebysig instance void  Form1_Load(object sender,
                                                class [mscorlib]
System.EventArgs e) cil managed
{
// Code size       19 (0x13)

.maxstack  2
.locals init ([0] int32 a,
       [1] int32 b,
       [2] bool CS$4$0000)
IL_0000:  nop
IL_0001:  ldc.i4.2
IL_0002:  stloc.0
IL_0003:  ldc.i4.1
IL_0004:  stloc.1
IL_0005:  ldloc.1
IL_0006:  ldc.i4.1
IL_0007:  ceq
IL_0009:  ldc.i4.0
IL_000a:  ceq
IL_000c:  stloc.2
IL_000d:  ldloc.2
IL_000e:  brtrue.s   IL_0012
IL_0010:  nop
IL_0011:  nop
IL_0012:  ret
} // end of method Form1::Form1_Load

Answer 1

ceq從堆棧中獲取兩個值，如果認為它們相等則結果為1如果不相等則結果為0 。 但是，C＃中的==是否導致ceq取決於很多事情：

• 數據類型
  • 他們是靈長類動物嗎？
  • 他們有自定義==運算符嗎？
  • 他們參考了嗎？
• 上下文
  • 可以優化其他東西嗎？ （我在類似的例子中得到了一個bne.un.s ;還有beq* ， br* ， switch等）
  • 可以完全刪除嗎？

Answer 2

據我所知，它正在跳到函數的末尾。

void Main()
{
    int a = 2;
    Int32 b = 1;
    if(b == 1)
    {
        Console.WriteLine("A");
    }
}

給我：

IL_0000:  nop         
IL_0001:  ldc.i4.2    
IL_0002:  stloc.0     // a
IL_0003:  ldc.i4.1    
IL_0004:  stloc.1     // b
IL_0005:  ldloc.1     // b
IL_0006:  ldc.i4.1    
IL_0007:  ceq         
IL_0009:  ldc.i4.0    
IL_000A:  ceq         
IL_000C:  stloc.2     // CS$4$0000
IL_000D:  ldloc.2     // CS$4$0000
IL_000E:  brtrue.s    IL_001D
IL_0010:  nop         
IL_0011:  ldstr       "A"
IL_0016:  call        System.Console.WriteLine
IL_001B:  nop         
IL_001C:  nop         
IL_001D:  ret         

從IL_0005開始，我們有：

加載b 。
加載1 。
ceq （如果相等，則按1 ，如果誤推0 ） - 此處的結果將為1
加載0
ceq - 此處的結果為0
brtrue.s IL_001D - 如果值非零，則跳轉到IL_001D （函數結束）

所以它基本上編譯為：

int a = 2;
Int32 b = 1;
if(!(b == 1))
    goto end;
Console.WriteLine("A");
:end
return;