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

问题描述

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

因此，我发现 Microsoft 在 How to write safe and efficient C# code 上的建议令人困惑：

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

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

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

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

解决方法

例如：

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); 
}

arguments c#c#parameters struct struct