C# 的未来：主构造函数

Posted 2021-04-14 dotNET跨平台

我们上次提到主构造函数是 2014 年，当时， C# 6 和 VB 12 的候选列表上去掉了主构造函数。去年底，主构造函数重新出现，作为提案#2691 ，现在成为 C# 9 的一个候选项。

主构造函数背后的基本思想是减少初始化类所需的样板代码量。

class C(string x){ public string X { get => x; set {  if (value == null)  throw new NullArgumentException(nameof(X));  x = value;  } }}

编译为…

class C{ private string _x;  public C(string x) { _x = x; } public string X { get => x; set {  if (value == null)  throw new NullArgumentException(nameof(X));  x = value;  } }}

Richard Gibson 对它们的用处进行了总结：

从我们 30 个类的代码库中快速抽样表明，其中的 22 个（73%）已定义了显式构造函数，而有 21 个（>95%）什么也没做，只是设置了私有只读字段）人们很少阅读可以自动生成的代码（通常被跳过，因为它们通常看上去很傻），因此，它们常常是让人大吃一惊的错误来源。

他继续解释道，这些错误通常是因为不小心把构造函数参数赋给了错误的字段。

这个概念跟我们在 C#和 VB 中更简单的不可变对象报告的记录提案有很大的重合。MgSam 写道：

该提案似乎与目前的记录提案完全不相容。我不同意提案中的说法，提案提到这比记录更有用。我认为，这可以节省一些样板记录，而记录（以及自动生成 GetHashCode、Equals 和 ToString 相关的功能）在很多场景中有可能节约大量模板。

HaloFour 也参与了该话题：

按照为 C#提出的记录方式，它们包括对称构造和解构，以及基于一组特定属性的识别。假设这些参数也是属性，那么主构造函数把这些都放在一个参数列表中，并且该列表给我们提供了一个可以解构这些属性的顺序。

正如他们所提出的，C#记录更像 Scala 的 case 类或 F#单例联合，并且，这两种语言都根据它们的构造方式定义构造。