Charlieface提供了关键指针：
sharplab.io是一个很棒的站点，它允许您检查给定的C# / F# / Visual Basic代码片段在IL（或JIT ASM）方面编译为什么。
使用它，您可以基于以下C#代码观察到以下情况：

public class C {
    bool b = false;
    int dummy = 0;
    public void M() {
        // equivalent positive tests
        if(b) { ++dummy; }
        if(b == true) { ++dummy; }
        if(b != false) { ++dummy; }
        // equivalent negative tests
        if(!b) { ++dummy; } 
        if(b == false) { ++dummy; }
        if(b != true) { ++dummy; }
    }
}

• 等价的 * 正 * 测试确实编译为 * 非常相同的IL代码 *（原则上，抽象如下）：

ldarg.0
  ldfld bool C::b
  brfalse.s <target-statement>

• 同样，等价的 negative tests all 编译为：

ldarg.0
  ldfld bool C::b
  brtrue.s <target-statement>

顺便说一句：请注意逻辑是如何 * 颠倒 * 的：对（有效）true的测试产生brfalse.s指令，即，如果测试为 not true，则跳转到何处，反之亦然（brtrue.s）
要自己试验结果：

• 使用此链接。
• 通过右侧窗格中的Results编译列表，您还可以要求将您的输入代码 * 反编译为C#*（无论原始输入语言如何），这证实了上述发现：
• 等价的 positive 测试 all 反编译为：

if (b) ...

• 等效的 negative 测试 all 反编译为：

if (!b) ...