【译】Welcome to C# 9.0
MeteorSeed 人气:1C# 9.0正在形成，我想分享我们对添加到该语言下个版本的一些主要功能的看法。对于每个新版本的 C#，我们努力使常见的编码方案更加清晰和简单，C# 9.0 也不例外。这次的一个特别重点是支持数据形状的简洁和不可变表示。
让我们潜入吧！
1 仅可初始化的属性
对象初始化器是非常好用的。它们为类型实例化提供了一种非常灵活且可读的格式来创建对象，尤其是对于一次创建特别大的嵌套对象来说。下面是一个简单的例子：
new Person
{
FirstName = "Scott",
LastName = "Hunter"
}
对象初始化也使用户不必编写大量构造函数，要做的就是编写一些属性！
public class Person
{
public string FirstName { get; set; }
public string LastName { get; set; }
}
今天，一个很大的限制是，属性必须是可修改的，对象初始化器是这样工作的：首先调用对象的构造函数（默认为无参的构造函数），然后分配给属性设置器（property setter）。
仅可初始化属性修改了这一点！它们引入了一个 init 访问器，该访问器是set访问器的变体，只能在对象初始化期间调用：
public class Person
{
public string FirstName { get; init; }
public string LastName { get; init; }
}
使用此声明，除了初始化外，之后任何后续赋值给 FirstName 和 LastName 属性都是一个错误。
因为init访问器只能在初始化期间访问，因此他们允许修改封闭类型中的只读字段，就像在构造函数中那样：
public class Person
{
private readonly string firstName;
private readonly string lastName;
public string FirstName
{
get => firstName;
init => firstName = (value ?? throw new ArgumentNullException(nameof(FirstName)));
}
public string LastName
{
get => lastName;
init => lastName = (value ?? throw new ArgumentNullException(nameof(LastName)));
}
}
2 记录
如果要使单个属性不可变，则仅可初始化属性非常适合。如果希望整个对象不可变且像值类型一样，则应考虑将其声明为记录：
public data class Person
{
public string FirstName { get; init; }
public string LastName { get; init; }
}
类声明中的data关键字将其标记为记录。这赋予它几个类似价值类型的行为，我们将在下面深入探讨这些行为。一般来说，记录更被视为"值"（纯数据）， 而不是作为对象。您可以通过创建新记录表示新状态来表示随时间的变化。它们不是由标识定义，而是由其内容定义。
2.1 With表达式
使用不可变数据时，一种常见模式是从现有值创建新值以表示新状态。例如，如果我们更改LastName，我们会将其表示为一个新对象，该对象是旧对象的副本，但LastName不同。这种技术通常被称为非破坏性修改。记录这种特性表示的是Person在给定时间的状态。
为了适应这种编程风格，记录允许一种新的表达式——with：
var otherPerson = person with{LastName="Hanselman"};
with表达式使用对象初始化器语法来说明新对象与旧对象的不同内容。您可以指定多个属性。
记录隐式定义一个受保护的"复制构造函数"-一个构造函数，它获取现有记录对象，并逐个将其字段复制到新的对象：
protected Person(Person original){/* copy all the fields */}// generated
with 表达式会导致调用复制构造函数，然后在上面应用对象初始化器以相应地更改属性。
如果您不喜欢生成的复制构造函数的默认行为，则可以改为定义自己的行为，该行为将由with表达式选取。
2.2 基于值的相等性
所有对象都从Object继承 Equals(object)。结构将其重写为具有"基于价值的相等性"，通过递归地调用Equals来比较结构的每个字段。记录也执行相同的操作。这意味着，根据其"值"，两个记录对象可以彼此相等，而不必是同一对象。例如：
var originalPerson = otherPerson with { LastName = "Hunter" };
现在 ReferenceEquals(person, originalPerson) = false（这两个不是一个对象）但是Equals(person, originalPerson) = true （他们有相同的值）。
如果您不喜欢生成的 Equals 重写的默认逐字段比较行为，则可以改为编写自己的字段比较行为。你只需要小心，你了解基于值的相等在记录中是如何工作的，特别是当涉及继承时。
除了重写Equals 外，还有 GetHashCode()。
2.3 数据成员
记录绝大多数都是不可变的，只有只读初始化器可以通过with表达式进行非破坏性修改。为了针对这种常见情况进行优化，记录在声明时会更改string FirstName这类成员声明的行为。与其他类和结构声明中的隐式private字段不同，在记录中，这被视为public的、仅可初始化的自动属性的缩写！因此：
public data classPerson
{
string FirstName;
string LastName;
}
与
public data classPerson
{
public string FirstName{get; init;}
public string LastName{get; init;}
}
是相同的。
我们认为这有助于做出漂亮而清晰的记录声明。如果您真的需要私有字段，只需显式地添加private修饰符：
private string firstName;
2.4 基于位置的记录
有时，对记录采用更为位置化的方法是有用的，在这种方法中，记录的内容通过构造函数参数的位置给出，并且可以通过解构函数来提取。
可以在记录中指定自己的构造函数和解构函数：
public data classPerson
{
string FirstName;
string LastName;
public Person(string firstName,string lastName)
=>(FirstName,LastName)=(firstName, lastName);
public void Deconstruct(out string firstName,out string lastName)
=>(firstName, lastName)=(FirstName,LastName);
}
上面代码可以简写为：
public data class Person(string FirstName,string LastName);
这将声明public的仅初始化的自动属性以及构造函数和解构函数，以便您可以编写：
var person =new Person("Scott","Hunter");// positional construction
var(f, l)= person; // positional deconstruction
如果您不喜欢生成的自动属性，则可以改为定义自己的同名属性，生成的构造函数和解构函数将使用该属性。
2.5 记录的改变引发的问题
想象一下，将记录对象放入字典中。再次找到它取决于 Equal 和GetHashCode。如果记录改变其状态，它也会改变它等于什么！我们可能再也找不到了！在哈希表实现中，它甚至可能损坏数据结构，因为定位基于的是"到达哈希表时"的哈希值！
虽然可以通过重写一些内部方法来改变这种默认的行为，但其工作量也是相当巨大的。
2.6 with表达式与继承
public data class Person{string FirstName;string LastName;}
public data class Student:Person{int ID;}
Person person =new Student{FirstName="Scott",LastName="Hunter", ID =GetNewId()};
otherPerson = person with{LastName="Hanselman"};
在最后一行上使用with表达式时，编译器不知道person实际上包含了一个Student。而且，即使otherPerson实际上不是"Student"对象，它也不是一个正确的副本，该对象与复制的第一个对象具有相同的ID。
记录有一个隐藏的虚方法，它委托"克隆"整个对象。每个派生记录类型都重写此方法以调用该类型的复制构造函数，以及派生链上的复制构造函数直到基类记录的复制构造函数。with表达式只需调用隐藏的"克隆"方法，并将对象初始化器应用于结果。
2.7 值相等与继承
与with表达式的实现类似，基于值的相等性也必须是"虚拟"的，即Student需要比较所有字段，即使比较时能够得知类型是基类型Person。这是很容易通过重写已经虚拟的Equals方法实现的。
但是，相等还有一个挑战：如果比较两种不同的Person，该怎么办？我们不能让其中一个决定是否相等：相等应该是对称的，所以无论两个对象中哪个是第一个，结果都应该是相同的。换句话说，他们必须就适用的相等达成一致！
说明问题的示例：
Person person1 =new Person{FirstName="Scott",LastName="Hunter"};
Person person2 =new Student{FirstName="Scott",LastName="Hunter", ID =GetNewId()};
这两个对象彼此相等吗？person1可能会这样认为，因为person2有所有的Person的构造，但person2会认为与person1不同！我们需要确保他们都同意他们是不同的对象。
C# 会自动为您处理。它的实现方式是每个记录都有一个"EqualityContract"的虚拟受保护属性。每个派生记录都会重写它，为了比较相等，两个对象必须具有相同的EqualityContract。
3 简化顶级程序
之前我们这样写代码：
using System;
class Program
{
static void Main()
{
Console.WriteLine("Hello World!");
}
}
现在您可以选择在顶层编写主程序：
using System;
Console.WriteLine("Hello World!");
支持任何语句，但必须在using之后以及文件中的任何类型或命名空间声明之前，并且只能在一个文件中执行此操作，就像目前只能有一个Main方法一样。如果要返回状态代码，可以执行此操作。如果你想await，你可以这样做。如果要访问命令行参数，可以访问args参数。
局部函数是语句的一种形式，在顶级程序中也允许使用。从顶级语句部分以外的任何位置调用它们都是错误的。
4 改进模式匹配
在 C# 9.0 中添加了几种新类型的模式。例如：
public static decimal CalculateToll(object vehicle) =>
vehicle switch
{
...
DeliveryTruck t when t.GrossWeightClass > 5000 => 10.00m + 5.00m,
DeliveryTruck t when t.GrossWeightClass < 3000 => 10.00m - 2.00m,
DeliveryTruck _ => 10.00m,
_ => throw new ArgumentException("Not a known vehicle type", nameof(vehicle))
};
4.1 简单类型模式
目前，类型模式需要在类型匹配时声明一个标识符，即使该标识符是一个_，比如 DeliveryTruck _。新语法不用了，可以简写为：
DeliveryTruck => 10.00m,
4.2 关系模式
C#9.0引入了对应于关系运算符<、<=等的模式。因此，新语法可以这样写：
DeliveryTruck t when t.GrossWeightClass switch
{
> 5000 => 10.00m + 5.00m,
< 3000 => 10.00m - 2.00m,
...
},
4.3 逻辑模式
最后，可以将模式与逻辑运算（and 、or、not）符组合起来，并将其拼写为单词，以避免与表达式中使用的运算符混淆。例如:
DeliveryTruck t when t.GrossWeightClass switch
{
< 3000 => 10.00m - 2.00m,
>= 3000 and <= 5000 => 10.00m,
> 5000 => 10.00m + 5.00m,
},
not的常见用法是将其应用于判空。例如：
not null => throw new ArgumentException($"Not a known vehicle type: {vehicle}", nameof(vehicle)),
null => throw new ArgumentNullException(nameof(vehicle))
还有，if (!(e is Customer)) { ... }在新语法中，可以写为if (e is not Customer) { ... }
5 目标类型
"Target typing"是当表达式从使用位置的上下文中获取其类型时，我们使用的术语。C# 9.0支持新的类型推断。
5.1 new
新语法中，如果是明确的类型，则在使用new时，可以不声明类型了。比如：
Point p = new (3, 5);
5.2 ?? and ?:
目前，??与?:如果分支之间不是同一类型会报错。新语法下，如果两个分支都可以转换为目标类型则是允许的：
Person person = student ?? customer; // Shared base type int? result = b ? 0 : null; // nullable value type
6 改进协变
有时，派生类中的方法返还比基类中的声明更具体的类型是很有用的。C# 9.0 允许：
abstract class Animal
{
public abstract Food GetFood();
...
}
class Tiger : Animal
{
public override Meat GetFood() => ...;
}
此外，还要很多新的改进，让我们拭目以待吧。
原文链接
https:/https://img.qb5200.com/download-x/devblogs.microsoft.comhttps://img.qb5200.com/download-x/dotnet/welcome-to-c-9-0/?utm_source=vs_developer_news&utm_medium=referral
加载全部内容