c# - 不可变值类型

Question

我正在阅读 Eric Liperts 关于 Mutating Readonly Structs 的博客我在 SO 中看到许多对这个博客的引用，作为为什么值类型必须是不可变的论点。但仍有一件事不清楚，说当您访问值类型时，您总是会得到它的副本，这是示例:

struct Mutable
{
    private int x;
    public int Mutate()
    {
        this.x = this.x + 1;
        return this.x;
    }
}

class Test
{
    public readonly Mutable m = new Mutable();
    static void Main(string[] args)
    {
        Test t = new Test();
        System.Console.WriteLine(t.m.Mutate());
        System.Console.WriteLine(t.m.Mutate());
        System.Console.WriteLine(t.m.Mutate());
    }
}

问题是为什么当我改变

public readonly Mutable m = new Mutable();

到

public Mutable m = new Mutable();

一切都按预期开始工作。

请您更清楚地解释为什么值类型必须是不可变的。我知道这对线程安全有好处，但在这种情况下，同样可以应用于引用类型。

Answer 1

具有变异方法的结构在几种情况下表现得很奇怪。

您已经发现的示例是一个只读字段。防御性副本是必要的，因为您不想改变只读字段。

但也用作属性。隐式复制再次发生，并且只有副本发生了变化。即使该属性具有二传手。

struct Mutable
{
    private int x;
    public int Mutate()
    {
        this.x = this.x + 1;
        return this.x;
    }
}

Mutable property{get;set;}

void Main()
{
    property=new Mutable();
    property.Mutate().Dump();//returns 1
    property.Mutate().Dump();//returns 1 :(
}

这表明变异方法在结构上存在问题。但它并未表明具有公共(public)字段或具有 setter 的属性的可变结构存在问题。