通过一个相对较小的版本，C# 7.3解决了一些自C# 1和2以来长期悬而未决的问题。

重载解析

从C# 1.0开始，重载解析规则的设计就相当有问题。在某些情况下，它会选两个或更多方法作为候选，虽然所有这些方法中只有一个会被使用。根据这些错误选出的方法的优先级，编辑器要么会报没有匹配的方法，要么会报匹配不明确。

C# 7.3把其中部分检查移到了重载解析期间，而不是重载解析之后，这样，错误的匹配就不会导致编译器错误。改进后的重载候选提案概括了这些检查：

泛型约束：枚举、委托和非托管

自C# 2.0引入泛型以来，开发人员就一直在抱怨，无法把一个泛型类型指定为枚举。这个问题终于解决了，你现在可以使用enum关键字作为泛型约束了。同样，你现在可以使用delegate关键字作为泛型约束了。

这些关键字可能并不是和你预期的那样发挥作用。如果约束是T : enum，那么有人可能就会使用Foo，而你的意思也许是让他们使用System.Enum的子类。尽管如此，这应该可以覆盖枚举和委托的大多数使用场景。

非托管类型约束提案使用了unmanaged关键字，用于说明泛型类型必须是“非引用类型，并且在任意嵌套层次上都不包含引用类型字段。”这是为了用在底层交互代码中，当你需要“创建可供所有非托管类型重用的例程时”。非托管类型包括：

隐藏字段的Attribute

虽然自实现的Property非常有用，但是它们有一些局限，Attribute不适用于后备字段，因为你看不到它。虽然通常来说这不是问题，但在处理序列化时就可能有问题了。

面向自实现Property字段的Attribute提案用一种简单的方法解决了这个问题。当把一个Attribute应用到一个自实现的Property时，只需在字段定义时加上field:修饰符。

元组比较（==和!=）

虽然提案的名称“支持元组类型==和!=比较”很好地概括了这项特性，但还有一些细节和边际情况需要注意。最重要的是潜在的破坏性变化：

理想情况下， 这个自定义的ValueTuple类型会遵循与C# 7.3编译器同样的规则，但是，在如何处理嵌套元组和动态类型方面，可能会有微妙的差别。

初始化器中的表达式变量

在某种程度上，这看上去像个反特性。微软不仅没有增加功能，而是去掉了表达式变量的使用场景限制。

最初增加这些限制只是因为“没有时间”。也许，这些限制缩短了了C# 7之前版本完工所需的测试时间。

栈分配数组

C#中有一个很少使用单相当重要的特性，就是能够通过stackalloc关键字在栈上分配数组。与分配在堆上、会导致GC压力的普通数组相比，这可能会提供更好的性能。

使用栈分配数组有点危险。因为它需要持有一个指向栈的指针，而且只能用于不安全的上下文中。CLR会启用缓冲区溢出检测来缓解这种情况，那会导致“应用程序尽快终止”。

在C# 7.3中，你可以在创建数组时对其初始化，就像你对普通数组所做的那样。该提案没有提供细节，但微软正考虑预初始化一个主数组，当函数被调用时可以快速复制。理论上讲，这比创建一个数组然后一个元素一个元素的初始化要快。

注意，栈分配数组适用于需要大量小数组供短暂使用的场景。不能把它用于大数组或者深度递归函数，因为那可能会超出可用的栈空间。

栈分配Span

栈分配数组的一个安全替代方案是栈分配Span。消除指针，也就消除了缓冲区溢出的可能性。反过来，这意味着你可以使用它而不必把方法标记为不安全的。

注意，Span依赖于NuGet包System.Memory。

可重新赋值的Ref局部变量

Ref局部变量现在可以和普通局部变量一样重新赋值了。

要了解其他C# 7.3提案，请查阅C#语言的GitHub站点。

查看英文原文：New Features in C# 7.3