C#的未来:不可变变量

jopen 9年前

英文原文:C# Futures: Immutable Variables

在 C# 中,readonly 关键字只能作用于字段级别。而在第 115 条提议 “只读本地变量与参数”中,将对 readonly 关键字进行扩展,以涵盖更广泛的场景。

提议中首先提出了创建只读本地变量的功能。这种功能的第一个使用场景只是用于文档,通过将某个变量标记为只读,就意味着在函数中的其它地方不能够、也不应该改动这个本地变量。对于代码很长、非常复杂,无法一眼看清所有情况的函数来说,这一点显得尤为实用。

第二个使用场景是在进行多线程运算和使用闭包时保证安全性。如果你通过执行 Parallel.ForEach 产生了一个闭包,则很容易会导致竞态的产生。而如果你默认将所有本地变量标为只读,那么那些可变的本地变量将显得很突出,因此在审查中就会注意到它。

语法上的困扰

如果能够默认使用只读本地变量,那么它确实能够带来许多价值,但这也要求语法不能太过繁重。考虑一下以下代码:

var gravity = 9.780327;   double gravity = 9.780327;   const double gravity = 9.780327;

虽然 gravity(重力)理应作为一个常量,但多数开发者都倾向于使用第一种代码版本。他们之所以没有选择“正确的做法”,只是为了简化输入,并且在一个独立的场景中,选用哪种方式其实无关紧要。

这种简便性胜于正确性的倾向也出现在类型转换中,下面的代码有一个常见的错误,许多有经验的程序员也难以避免。

var button = sender as Button;   button.Enabled = false;

正确的方法应该是“button = (Button) sender”,但这种正确的代码在输入时的复杂性稍高。

为了应对这些困扰,该提议提出了一种隐式类型化本地变量的简写方式,目前所考虑的有以下两种关键字:

val gravity = 9.780327;   let gravity = 9.780327;

在这两者之间,目前更倾向于“let”这一写法,因为在 LINQ 表达式中已经用到过它,并且从视觉角度来看更容易与“var”区别开(对于那些母语中不区分r与l的非英语使用者来说,后者也会更好)。

只读参数

接下来就是将参数标注为只读的功能。使用 Visual Studio 代码分析工具的开发者可能认为这一功能有些多余,因为该工具会自动阻止对常规的参数进行改变。但有些用例是它无法涵盖的。

在开发注重高性能的代码时,使用结构体替代类的做法并不罕见,即使结构体有时显得更大。为了避免结构体复制带来的消耗,因而会使用 ref 参数的方式将这些结构体传递给函数。

从文档的角度来看,这种函数签名无法清晰地向调用者表现出该参数不应被修改的意图。而将参数标注为“readonly ref”这种方式就能够填补这一漏洞。

并非每个人都喜欢这一语法,因为它要求使用“ref”装饰调用端,而这会产生某些误导的倾向。因此 Porges 建议使用一种“in”关键字予以代替。

void DoSomething (readonly ref LargeStruct value)   DoSomething (ref myLocal); void DoSomething (in LargeStruct value)   DoSomething (myLocal);

Readonly 与 Const

虽然 readonly 能够彻底地避免某个值被替换,但它通常无法避免对某个对象的成员的改动。因此这条提议另外附加了一点,即对 readonly 所提供的保护能力进行扩展。

像 C++ 这样的语言已经能够支持这一概念了。虽然它确实能够像所说的方式一样工作,但要正确地使用它并不是一件容易的事,因为开发者们经常对于 const 这个关键字是对应变量本身,还是对应其中的内容感到困扰。因此在此语法中避免这种含糊性也是同样重要的。一种建议认为,可以使用“readonly”表示 对变量本身的保护,而使用“const”表示对其内容的保护。

C++中还提供了 const 函数的概念,这种函数只能由定义为 readonly 或 const 的变量进行调用,因为这些变量已经证实了不会改变对象的状态。在 .NET 中也能够通过 Pure 属性实现这一概念,但当前的 C# 编译器都不支持这一属性。

脚注:Readonly、结构体与字段

虽然并非提议中的一部分,但也应当考虑 readonly、结构体与字段的交互。考虑以下代码:

private readonly Foo _foo = new Foo (1, 2, 3);

如果 Foo 类型是完全不可变的,那么 readonly 字段就能够像预期一样工作。但如果 Foo 中提供了任何属性的 setter,那么每次你读取这个字段时,编译器会生成一个拷贝,所以你不会在无意中修改了它的内容。因此与 readonly 引用字段不同,readonly 结构体真正做到了只读。但由于这种方式带来了隐藏的性能损耗以及不一致性,因此如果能够以一种更清晰的方式表达出这一概念,将具有很大的益处。

要了解更多信息,请阅读 Eric Libbert 的帖子“Mutating Readonly Structs”。

来自: InfoQ