为什么C＃不支持返回引用？

        这个问题是我在2011年6月23日写博客的主题。非常感谢您提出这个问题！ C＃团队正在考虑将其用于C＃7。有关详细信息，请参见https://github.com/dotnet/roslyn/issues/5233。 更新：该功能已纳入C＃7！ 你是对的; .NET确实支持将托管引用返回到变量的方法。 .NET还支持包含对其他变量的托管引用的局部变量。 （但是请注意，.NET不支持包含对其他变量的托管引用的字段或数组，因为这会使垃圾回收的情况变得过于复杂。同样，“对变量的托管引用”类型不能转换为对象，因此可能无法转换为对象。用作通用类型或方法的类型参数。） 评论员“ RPM1984”出于某种原因要求对此事实进行引用。 RPM1984我建议您阅读CLI规范“分区I”的第8.2.1.1节“托管指针和相关类型”，以获取有关.NET功能的信息。 完全有可能创建同时支持这两个功能的C＃版本。然后，您可以做类似的事情

static ref int Max(ref int x, ref int y) 
{ 
  if (x > y) 
    return ref x; 
  else 
    return ref y; 
} 

然后用

int a = 123;
int b = 456; 
ref int c = ref Max(ref a, ref b); 
c += 100;
Console.WriteLine(b); // 556!

我凭经验知道可以构建支持这些功能的C＃版本，因为我已经这样做了。高级程序员，特别是那些移植非托管​​C ++代码的人们，经常要求我们提供更多类似于C ++的能力，以使用引用进行操作，而不必费心去使用指针和固定内存。通过使用托管引用，您可以获得这些好处，而无需付出破坏垃圾收集性能的代价。 我们已经考虑了此功能，并实际实施了足够的功能以展示给其他内部团队以获取他们的反馈。但是，根据我们的研究，目前我们认为该功能没有足够广泛的吸引力或令人信服的使用案例，无法使其真正成为受支持的语言功能。我们还有其他更高的优先级以及有限的时间和精力，因此我们不会在不久的将来实现此功能。 同样，正确执行此操作将需要对CLR进行一些更改。目前，CLR将引用返回方法视为合法但无法验证，因为我们没有检测到这种情况的检测器：

ref int M1(ref int x)
{
    return ref x;
}

ref int M2()
{
    int y = 123;
    return ref M1(ref y); // Trouble!
}

int M3()
{
    ref int z = ref M2();
    return z;
}

M3返回M2的局部变量的内容，但是该变量的生命周期已经结束！可以编写一个检测器，该检测器确定使用明显不违反堆栈安全性的引用返回。我们要做的就是编写一个这样的检测器，如果检测器不能证明堆栈的安全性，那么我们将不允许在程序的那部分使用ref返回。这样做并不是大量的开发工作，但要确保我们确实掌握了所有情况，对测试团队来说是沉重的负担。这只是将功能成本增加到目前收益不会超过成本的另一件事。 如果您能为我描述为什么要使用此功能，我将非常感谢。我们从真实客户那里获得的关于他们为什么想要的信息越多，有一天它越有可能将其纳入产品。这是一个可爱的小功能，如果有足够的兴趣，我希望能够以某种方式将其提供给客户。 （另请参阅相关问题，是否有可能在C＃中返回对变量的引用？并且可以在C ++之类的C＃函数中使用引用吗？）     

        您正在谈论的是返回对值类型的引用的方法。我知道的C＃中唯一的内置示例是值类型的数组访问器：

public struct Point
{
    public int X { get; set; }
    public int Y { get; set; }
}

现在创建该结构的数组：

var points = new Point[10];
points[0].X = 1;
points[0].Y = 2;

在这种情况下，数组索引器“ 6”将返回对struct的引用。不可能编写具有相同的“返回引用”行为的自己的索引器（例如，用于自定义集合）。 我没有设计C＃语言，所以我不知道不支持C＃的所有原因，但是我认为简短的答案可能是：没有它，我们可以相处得很好。     

        您可以随时执行以下操作：

public delegate void MyByRefConsumer<T>(ref T val);

public void DoSomethingWithValueType(MyByRefConsumer<int> c)
{
        int x = 2;
        c(ref x);
        //Handle potentially changed x...
}

    

        C＃7.0支持返回参考。在这里查看我的答案。