了解编译器优化

Question

我试图了解编译器对非常简单的代码做了什么：

if (group.ImageHeight > 1 && group.ImageWidth > 1)
{ //No code exists between the braces
}

在 Debug 配置中编译后，然后反编译我看到了这个：

if (group.ImageHeight <= 1 || group.ImageWidth <= 1);

反编译 Release 配置结果

if (group.ImageHeight > 1)
{
  int imageWidth = group.ImageWidth;
}

更完整（原）代码：

public class Group 
{
  public int ImageHeight { get; set; }
  public int ImageWidth { get; set; }
}

//The following belongs to a different project than `Group`
static void Main(string[] args)
{
  Group group = new Group();
  MyMethod(group);
}
static void MyMethod(Group group)
{
    if (group.ImageHeight > 1 && group.ImageWidth > 1)
    { 
    }
}

到目前为止，这是我的猜测和观察：

当我第一次开始这个时，我希望编译器完全删除整个语句。我认为这不是因为对属性的评估可能会产生副作用。
我认为 group 类型属于我的解决方案中的另一个项目很重要。我这样说是因为编译器可能无法 "know" 将来评估属性的副作用是什么。例如，我可以在编译后替换包含 group.
在 Release 配置中，可能的副作用似乎与我的代码相同：评估 ImageHeight 并且如果满足 > 1 条件将评估 ImageWidth （虽然是通过赋值而不是比较）

现在，对于我的具体问题：

为什么 Release 配置使用赋值 (int imageWidth = group.ImageWidth) 而不是我原来的比较？运行作业是否更快？
为什么Debug配置完全改变了副作用的可能性？在此配置中，ImageHeight 和 ImageWidth 将始终被评估。

Answer 1

对于第一个具体问题。当你在 sharplab.io 上查看 IL 时简单的赋值是 1 条比较指令。谁的 "then" 和 "else" 将指向相同的指令（在本例中为 IL_0012），因此比较不需要调用函数，两次 pop 就足够了。奇怪的是只加载 Int32 常量 1，它将被立即丢弃。

如果 (group.ImageHeight > 1)

IL_0000: ldarg.0
IL_0001: callvirt instance int32 Group::get_ImageHeight()
IL_0006: ldc.i4.1
IL_0007: ble.s IL_0012

int imageWidth = group.ImageWidth;

IL_0009: ldarg.0
IL_000a: callvirt instance int32 Group::get_ImageWidth()
IL_000f: ldc.i4.1
IL_0010: pop
IL_0011: pop

IL_0012: ret

第二个具体问题。如果您在调试模式下查看同一页面上的 IL，您会发现代码仅与一些额外的调试指令和比较本身相同，因此您可以在调试器中查看结果。

IL_0000: nop
IL_0001: ldarg.0
IL_0002: callvirt instance int32 Group::get_ImageHeight()
IL_0007: ldc.i4.1
IL_0008: ble.s IL_0015

IL_000a: ldarg.0
IL_000b: callvirt instance int32 Group::get_ImageWidth()
IL_0010: ldc.i4.1
IL_0011: cgt
IL_0013: br.s IL_0016

IL_0015: ldc.i4.0

IL_0016: stloc.0
        // sequence point: hidden
IL_0017: ldloc.0
IL_0018: brfalse.s IL_001c

IL_001a: nop
IL_001b: nop

IL_001c: ret

了解编译器优化

Understanding Compiler Optimizations

.net

c#

compiler-construction

compiler-optimization