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

一尘不染

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

我已经读过.NET支持返回引用，但是C＃不支持。有特殊原因吗？为什么我不能做这样的事情：

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

阅读 254

2020-05-19

共1个答案

一尘不染

这个问题是我在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返回。这样做并不是大量的开发工作，但是要确保我们确实掌握了所有情况，这对测试团队来说是沉重的负担。这只是将功能成本增加到目前收益不超过成本的另一件事。

如果您能为我描述为什么要使用此功能，我将不胜感激
。我们从真实客户那里得到的关于他们为什么想要它的信息越多，有一天它越有可能将其纳入产品。这是一个可爱的小功能，如果有足够的兴趣，我希望能够以某种方式将其提供给客户。

2020-05-19