IL约束呼叫

Question

对于此代码：

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

    struct MyStruct { }
}

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

这的文章说：

例如，如果值类型V覆盖Object.ToString()方法，则发出一个调用V.ToString()指令；如果没有，则发出一个box指令和一个callvirtObject.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();
        }
    }
}