Question

背景

我知道编译器会为字段生成代码int foo = 0;，因为内存分配器会将字段初始化为默认值。＆＃34; Reference

        class Foo
        {
            public int a = 1;
            public int b = 0;
        }
        Foo..ctor:
        IL_0000:  ldarg.0     
        IL_0001:  ldc.i4.1
        IL_0002:  stfld       UserQuery+Foo.a // There is no b.
        IL_0007:  ldarg.0
        IL_0008:  call        System.Object..ctor
        IL_000D:  ret

我也知道＆＃34;编译器会自动在每个使用局部变量的方法上添加.locals init，表明JIT必须在开始执行方法之前注入初始化所有局部变量的代码。＆＃34; Reference

问题

为什么编译器不会为int foo = 0;这样的局部变量生成IL，因为.locals init已经涵盖了这一点？（为了与字段保持一致？）

（我理解C＃规范要求明确分配局部变量，我很好。）

（我引用的链接说明了为什么需要.locals init，以及为什么C＃规范需要初始化本地化。但它并没有说明为什么必须存在额外的IL指令来初始化默认值。由于.locals init已经确认了验证过程

void Main()
{
    int a = 0;
    int b = 1;
    int c = 0;
    int d = a + b + c;
    d++;
}

.maxstack 2
.locals init (int a, int b, int c, int d)

IL_0000:  ldc.i4.0    
IL_0001:  stloc.0     // a (Can be optimized away)
IL_0002:  ldc.i4.1    
IL_0003:  stloc.1     // b
IL_0004:  ldc.i4.0    
IL_0005:  stloc.2     // c (Can be optimized away)
IL_0006:  ldloc.0     // a
IL_0007:  ldloc.1     // b
IL_0008:  add         
IL_0009:  ldloc.2     // c
IL_000A:  add         
IL_000B:  stloc.3     // d
IL_000C:  ldloc.3     // d
IL_000D:  ldc.i4.1    
IL_000E:  add         
IL_000F:  stloc.3     // d

Answer 1

为什么编译器没有为int foo = 0;这样的局部变量遗漏生成IL，因为.locals init已经涵盖了这个？

为什么要这样？我实际上没有对此进行验证，但如果您删除了不必要的初始化，如果JIT编译器生成了不同的本机代码，我会感到惊讶。

这意味着将此优化添加到C＃编译器的唯一好处是使JIT编译更快一点（因为它必须处理更少量的IL代码）。看起来C＃编译器的作者虽然为这么小的好处进行优化并不值得。

为什么C＃编译器没有优化掉重复的局部变量默认值初始化？

背景

问题

1 个答案: