IL约束呼叫

Question

对于此代码:

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

    struct MyStruct { }
}

C#编译器生成constrained callvirtIL代码.

这篇文章说:

例如,如果值类型V覆盖Object.ToString()方法,则会发出调用V.ToString()指令; 如果没有,则发出一个box指令和一个callvirt Object.ToString()指令.如果稍后添加覆盖,则可能出现版本控制问题<...>.

所以,我的问题是:如果编译器生成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();
        }
    }
}