将只读结构作为“in”参数传递？

Question

根据in参数修饰符的所有已知规律，任何传递的对象都将通过引用传递但不能被调用的方法修改。

所以我发现微软在How to write safe and efficient C# code 上的这个建议令人困惑：

声明一个只读结构来表示一个类型是不可变的。这使编译器能够在使用 in 参数时保存防御性副本。

永远不要将结构作为 in 参数传递，除非它使用 readonly 修饰符声明或方法仅调用结构的只读成员。违反本指南可能会对性能产生负面影响，并可能导致行为不明。

如果方法不允许修改它，为什么编译器在使用“in”参数时会保存防御性副本？

如果不允许该方法修改它，如何将非只读结构作为 in 参数传递会对性能产生负面影响并导致晦涩的行为？

Answer 1

例如：

public struct Test
{
    public int Value;
    public void SetValue(int value) => Value = value;
}
public static void Method(in Test test)
{
     test.SetValue(5);
     Console.WriteLine(test.Value); // 0
 }

这将编译得很好。如果我正确理解这种情况，则不会在调用构造函数时创建副本，而是在调用任何可能改变值的方法时创建副本。

将结构设置为只读将阻止调用任何变异方法，因此将避免隐藏副本。

还有good arguments for why mutable structs are evil，所以我主张只将所有结构设为只读。即

public readonly struct Test
{
    public int Value { get; }
    public Test(int v) => Value = v;
    // Any "mutating" method should create a copy instead
    public Test WithValue(int v) => new Test(v); 
}