C# 7 引用类型的 ref 返回

我正在浏览一些使用 C# 7 新功能并使用 ref locals & returns 功能的代码。

这看起来很简单value-types其中 ref 局部变量获取引用（对实际存储），并更新以更新原始项的值。

一些解释将有助于理解在引用局部变量的情况下内存引用如何工作reference-types。我指的是下面代码的最后一行：

// A simple class
public class CoolClass
{
    public string Name { get; set; }
    public int Id { get; set; }

    public CoolClass(string name, int id) => (Name, Id) = (name, id);
}

//Dummy method that returns first element with Id > 100
public CoolClass GetSpecialItem_Old(CoolClass[] arr)
{
    for (int i = 0; i < arr.Length; i++)
        if (arr[i].Id > 100)
        {
            return arr[i];
        }
    throw new Exception("Not found");
}

//Same as the other one, but returns by ref C# 7
public ref CoolClass GetSpecialItem_New(CoolClass[] arr)
{
    for (int i = 0; i < arr.Length; i++)
        if (arr[i].Id > 100)
        {
            return ref arr[i];
        }
    throw new Exception("Not found");
}

public void TestMethod()
{
    var arr = new CoolClass[]
    {
        new CoolClass("A", 10),
        new CoolClass("B", 101),
        new CoolClass("C", 11)
    };

    var byVal = GetSpecialItem_Old(arr); //gets back arr[1]
    byVal.Name = "byVal"; //arr[1] = { "byVal", 101 }
    byVal = new CoolClass("newByVal", 25); //arr[1] = { "byVal", 101 }

    ref var byRef = ref GetSpecialItem_New(arr); //gets back arr[1]
    byRef.Name = "byRef"; //arr[1] = { "byRef", 101 }
    //Here it has a different behaviour 
    byRef = new CoolClass("newByRef", 50); //arr[1] = { "newByRef", 50 }
}

在我看来，C# 的原始设计者将该功能命名为“ref”这一事实是一个坏主意。它会导致人们混淆引用类型和“ref”参数/返回。思考“ref”的更好方法是“别名”。也就是说，参考为您提供现有变量的另一个名称.

在你的程序中，byRef是另一个名字arr[1] 不管是否arr[1]是值类型或引用类型. If arr[1]是一个字符串变量（记住，数组元素是变量；你可以改变它们) then byref也是一个字符串变量，它是same具有不同名称的字符串变量。

注意arr也是一个变量；如果你改变的值arr, then byRef不来搭便车。它仍然是同一数组的同一槽的别名，无论arr.

所以当你说

ref var byRef = ref GetSpecialItem_New(arr); //gets back arr[1]

Then

byRef.Name = "byRef"; 

完全一样

arr[1].Name = "byRef";

当你说

byRef = new CoolClass("newByRef", 50);

这与

arr[1] = new CoolClass("newByRef", 50);

需要注意的是，如果你改变了arr分配后byRef，你仍然有一个别名original arr[1].

Again: byRef is 只是另一种拼写方式arr[1]，这样它总是使用的值arr当它有byRef被分配。它是not值类型或引用类型不同。

相比之下，byVal不是别名arr[1]。它是一个second变量有一个copy的内容arr[1]。当您分配给byVal你没有分配给arr[1]。您正在分配给byVal，这是一个不同的多变的。

The contents of arr[1] is a 参考， 然后参考被复制到byVal，完全独立的存储位置。