我已经读过.NET支持返回引用,但是C#不支持。有特殊原因吗?为什么我不能做这样的事情:
static ref int Max(ref int x, ref int y) { if (x > y) return ref x; else return ref y; }
这个问题是我在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#版本。然后,您可以做类似的事情
然后用
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#函数中使用引用吗?)