.NET IL 属性设置器

Question

考虑这个类：

public class Foo
{
    // Fields
    private string _bar;

    // Properties
    private string Bar
    {
        get
        {
            return this._bar;
        }
        set
        {
            this._bar = value;
        }
    }
}

现在，当我查看编译器发出的 IL 代码中的 Bar 属性设置器时：

.method private hidebysig specialname instance void set_Bar(string 'value') cil managed
{
    .maxstack 8
    L_0000: nop 
    L_0001: ldarg.0 
    L_0002: ldarg.1 
    L_0003: stfld string ConsoleApplication2.Program/Foo::_bar
    L_0008: ret 
}

为什么它会执行 ldarg.0 ？第一个（索引 0）参数中的内容是什么？由于方法/属性 setter 仅接受 1 个参数...

getter 也是如此：

.method private hidebysig specialname instance string get_Bar() cil managed
{
    .maxstack 1
    .locals init (
        [0] string CS$1$0000)
    L_0000: nop 
    L_0001: ldarg.0 
    L_0002: ldfld string ConsoleApplication2.Program/Foo::_bar
    L_0007: stloc.0 
    L_0008: br.s L_000a
    L_000a: ldloc.0 
    L_000b: ret 
}

为什么使用 .locals init ？为什么是 ldarg.0 ？为什么它不对支持字段执行 ldfld 并返回它？ :)

Answer 1

对于设置器：

任何实例成员都有一个隐式的“this”参数 - 基本上，这就是正在加载的参数。尝试将其变成静态属性，您会发现它消失了。

对于吸气剂，我不确定为什么有局部变量......调试器支持也许？当然，以优化模式（从命令行 /o+ /debug-）编译它会消除局部变量。