Question

对于此代码：

class Program
{
    static void Main()
    {
        Console.WriteLine(new MyStruct().ToString());
    }

    struct MyStruct { }
}

C＃编译器生成constrained callvirt IL代码。

This文章说：

例如，如果值类型V覆盖Object.ToString（）方法，则会发出调用V.ToString（）指令;如果没有，则发出一个box指令和一个callvirt Object.ToString（）指令。可能出现版本控制问题＆lt; ...＆gt;如果稍后添加了覆盖。

所以，我的问题是：如果编译器生成box代码而不是约束调用，为什么会出现问题？

Answer 1

box指令会创建相关实例的副本。允许值类型的实例方法修改它们被调用的实例，如果它们这样做，则在副本上静默调用该方法是错误的。

static class Program
{
    static void Main()
    {
        var myStruct = new MyStruct();
        Console.WriteLine(myStruct.i); // prints 0
        Console.WriteLine(myStruct.ToString()); // modifies myStruct, not a copy of myStruct
        Console.WriteLine(myStruct.i); // prints 1
    }

    struct MyStruct {
        public int i;
        public override string ToString() {
            i = 1;
            return base.ToString();
        }
    }
}

IL约束呼叫

1 个答案: