C# 8的新提案：new关键字类型推断

在很多情况下，一个地方只允许出现一种可能的类型。C#仍然要求你明确列出类型，但如果目标类型“new”表达式提案被采用，那么就不再需要这些样板代码。

从表面上看，这个特性看起来与var关键字恰好相反。它不是根据表达式推断出变量类型，而是从变量推断出表达式的类型。以下是来自提案使用当前语法和建议语法的对比示例。

Dictionary\u0026lt;string, List\u0026lt;int\u0026gt;\u0026gt; field = new Dictionary\u0026lt;string, List\u0026lt;int\u0026gt;\u0026gt;();Dictionary\u0026lt;string, List\u0026lt;int\u0026gt;\u0026gt; field = new();

正如你所看到的，当它能够从上下文中推断出类型时，就不需要指定类型。对于局部变量可能没有太大用处，但对于临时参数来说却很方便。

XmlReader.Create(reader, new XmlReaderSettings() { IgnoreWhitespace = true });XmlReader.Create(reader, new() { IgnoreWhitespace = true });

在上面的代码中，XmlReaderSettings类只是用于持有传给XmlReader的选项值。我们甚至可以说XmlReaderSettings的类型名称对于它所持有的重要信息来说有点”反客为主“了。

这个特性另一个用武之地是不能使用var关键字的字段和属性。例如：

private readonly static object s_syncObj = new();

根据提案，这个特性不能被用在四个地方。

• 枚举类型：并非所有枚举类型都包含常量零，因此应该使用显式枚举成员。

• 接口类型：这是一个利基特性，最好要明确指定类型。

• 数组类型：数组需要特殊的语法来表示长度。

• 结构体默认构造函数：它排除了所有基本类型和大多数值类型。如果你想使用这个类型的默认值，可以自己写。

状态

目前，Caller Expression Attribute被列在C# 8路线图中，状态为“Prototype”。特性测试计划可在GitHub上找到。

查看英文原文：https://www.infoq.com/news/2019/01/c-sharp-targeted-type-new