自己电脑做网站要下载,产品经理培训,淘宝客网站推广备案,asp网站如何虚拟发布翻译自 Mads Torgersen 2020年5月20日的博文《Welcome to C# 9.0》#xff0c;Mads Torgersen 是微软 C# 语言的首席设计师#xff0c;也是微软 .NET 团队的项目群经理。C# 9.0 正在成形#xff0c;我想和大家分享一下我们对下一版本语言中添加的一些主要特性的想法。对于 C… 翻译自 Mads Torgersen 2020年5月20日的博文《Welcome to C# 9.0》Mads Torgersen 是微软 C# 语言的首席设计师也是微软 .NET 团队的项目群经理。C# 9.0 正在成形我想和大家分享一下我们对下一版本语言中添加的一些主要特性的想法。对于 C# 的每一个新版本我们都在努力让常见的编码场景的实现变得更加清晰和简单C# 9.0 也不例外。这次特别关注的是支持数据模型的简洁和不可变表示。就让我们一探究竟吧!一、仅初始化(init-only)属性对象初始化器非常棒。它们为类型的客户端提供了一种非常灵活和可读的格式来创建对象并且特别适合于嵌套对象的创建让你可以一次性创建整个对象树。这里有一个简单的例子new Person
{FirstName Scott,LastName Hunter
}
对象初始化器还使类型作者不必编写大量的构造函数——他们所要做的就是编写一些属性public class Person
{public string FirstName { get; set; }public string LastName { get; set; }
}
目前最大的限制是属性必须是可变的即可写的对象初始化器才能工作它们首先调用对象的构造函数(本例中是默认的无参数构造函数)然后赋值给属性 setter。仅初始化(init-only)属性解决了这个问题它引入了一个 init 访问器它是 set 访问器的变体只能在对象初始化时调用public class Person
{public string FirstName { get; init; }public string LastName { get; init; }
}
有了这个声明上面的客户端代码仍然是合法的但是随后对 FirstName 和 LastName 属性的任何赋值都是错误的。初始化(init) 访问器和只读(readonly)字段因为 init 访问器只能在初始化期间调用所以允许它们更改封闭类的只读(readonly)字段就像在构造函数中一样。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)));}
}
二、记录record译者注原文中声明一个记录的 data class ** 联合关键字现在已经变成 record 关键字了所以翻译过程中做了修正。如果您想使单个属性不可变那么仅初始化(init-only)属性是极好的。如果您想要整个对象是不可变的行为像一个值那么你应该考虑声明它为一个记录(record)public record Person
{public string FirstName { get; init; }public string LastName { get; init; }
}
对于记录(record)赋予了它一些类似值的行为我们将在下面深入探讨。一般来说记录更应该被看作是“值”——数据(data)而不是对象它们并不具有可变的封装状态相反您需要通过创建表示新状态的新记录来表示其随时间的变化。它们不是由它们的身份(identity)确定的而是由它们的内容确定的。with 表达式当使用不可变数据(data)时一种常见的模式是从现有的值中创建新值来表示新状态。例如如果我们的 person 要更改他们的 LastName我们会将其表示为一个新对象该对象是旧对象的副本只是有不同的 LastName。这种技巧通常被称之为非破坏性突变(non-destructive mutation)。记录(record)不是代表 person 在一段时间内的 状态而是代表 person 在给定时间点的 状态。为了帮助实现这种编程风格记录(record)允许使用一种新的表达式 —— with 表达式var otherPerson person with { LastName Hanselman };
with 表达式使用对象初始化器语法来声明新对象与旧对象的不同之处。您可以指定多个属性。记录(record)隐式定义了一个受保护的(protected)“复制构造函数”——一个接受现有记录对象并逐字段将其复制到新记录对象的构造函数protected Person(Person original) { /* copy all the fields */ } // generated
with 表达式会调用“复制构造函数”然后在上面应用对象初始化器来相应地变更属性。如果您不喜欢生成的“复制构造函数”的默认行为您可以定义自己的“复制构造函数”它将被 with 表达式捕获。基于值的相等value-based equality所有对象都从对象类(object)继承一个虚的 Equals(object) 方法。这被用作是当两个参数都是非空(non-null)时静态方法 Object.Equals(object, object) 的基础。结构体重写了 Equals(object) 方法通过递归地在结构体的每一个字段上调用 Equals 来比较结构体的每一个字段从而实现了“基于值的相等”。记录(record)是一样的。这意味着根据它们的“值性(value-ness)”两个记录(record)对象可以彼此相等而不是同一个对象。例如如果我们将被修改 person 的 LastName 改回去var originalPerson otherPerson with { LastName Hunter };
现在我们将得到 ReferenceEquals(person, originalPerson) false(它们不是同一个对象)但是 Equals(person, originalPerson) true(它们有相同的值)。如果您不喜欢生成的 Equals 重写的默认逐个字段比较的行为您可以自己编写。您只需要注意理解“基于值的相等”是如何在记录(record)中工作的特别是在涉及继承时我们后面会讲到。除了基于值的 Equals 之外还有一个基于值 GetHashCode() 的重写。数据成员Data members绝大多数情况下记录(record)都是不可变的仅初始化(init-only)公共属性可以通过 with 表达式进行非破坏性修改。为了对这种常见情况进行优化记录(record)更改了 string FirstName 这种形式的简单成员声明的默认含义与其他类和结构体声明中的隐式私有字段不同它被当作是一个公共的、仅初始化(init-only) 自动属性的简写因此声明public record Person { string FirstName; string LastName; }
与我们之前的声明意思完全一样即等同于声明public record Person
{public string FirstName { get; init; }public string LastName { get; init; }
}
我们认为这有助于形成漂亮而清晰的记录(record)声明。如果您确实需要私有字段只需显式添加 private 修饰符private string firstName;
位置记录Positional records有时对记录(record)采用位置更明确的方法是有用的其中它的内容是通过构造函数参数提供的并且可以通过位置解构来提取。完全可以在记录(record)中指定自己的构造函数和解构函数public record Person
{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);
}
但是有一种更简短的语法来表达完全相同的意思参数名称包装模式modulo casing of parameter namespublic record Person(string FirstName, string LastName);
它声明了公共的仅初始化(init-only)自动属性以及构造函数和解构函数因此您就可以编写var person new Person(Scott, Hunter); // 用位置参数构造positional construction
var (f, l) person; // 用位置参数解构positional deconstruction
如果不喜欢生成的自动属性您可以定义自己的同名属性生成的构造函数和解构函数将只使用您自定义的属性。记录与可变性Records and mutation记录(record)的基于值的语义不能很好地适应可变状态。想象一下将一个记录(record)对象放入字典中。再次查找它依赖于 Equals 和 GetHashCode(有时)。但是如果记录改变了状态它的 Equals 值也会随之改变我们可能再也找不到它了在哈希表实现中它甚至可能破坏数据结构因为位置是基于它的哈希码得到的。记录(record)内部的可变状态或许有一些有效的高级用法特别是对于缓存。但是重写默认行为以忽略这种状态所涉及的手工工作很可能是相当大的。with 表达式和继承With-expressions and inheritance众所周知基于值的相等和非破坏性突变与继承结合在一起时是极具挑战性的。让我们在运行示例中添加一个派生的记录(record)类 Studentpublic record Person { string FirstName; string LastName; }
public record Student : Person { int ID; }
然后让我们从 with 表达式示例开始实际地创建一个 Student但将它存储在 Person 变量中int newId 1;
Funcint GetNewId () newId;
//上面两上是译者在测试时发现需要添加的代码。Person person new Student { FirstName Scott, LastName Hunter, ID GetNewId() };
otherPerson person with { LastName Hanselman };
在最后一行带 with 表达式的地方编译器不知道 person 实际上包含 Student。然而如果新的 person(即 otherPerson) 不是一个真正的 Student 对象并且具有从第一个 person 复制过去的相同的 ID那么它就不是一个恰当的拷贝。C# 实现了这一点。记录(record)有一个隐藏的虚方法virtual method它被委托“克隆”整个对象。每个派生记录类型都重写此方法以调用该类型的复制构造函数并且派生记录的复制构造函数将链接到基记录的复制构造函数。with 表达式只需调用隐藏的“克隆”方法并将对象初始化器应用于其返回结果。基于值的相等和继承Value-based equality and inheritance与 with 表达式支持类似基于值的相等也必须是“虚的(virtual)”即 Student 需要比较 Student 的所有字段即使比较时静态已知的类型是 Person 之类的基类型。这很容易通过重写虚的(virtual) Equals 方法来实现。然而关于相等还有一个额外的挑战如果你比较两种不同的 Person 会怎样?我们不能仅仅让其中一个来决定实施哪个相等相等应该是对称的所以不管两个对象哪个在前面结果应该是相同的。换句话说它们必须在相等的实施上达成一致举例说明一下这个问题Person person1 new Person { FirstName Scott, LastName Hunter };
Person person2 new Student { FirstName Scott, LastName Hunter, ID GetNewId() };
这两个对象相等吗 person1 可能会认为相等因为 person2 对于 Person 的所有属性都是正确的但是 person2 不敢苟同我们需要确保它们都同意它们是不同的对象。同样C# 会自动为您处理这个问题。实现的方式是记录有一个名为 EqualityContract 的“虚的(virtual)”受保护的属性。每个派生记录(record)都会重写它为了比较相等这两个对象必须具有相同的 EqualityContract。三、顶级程序Top-level programs译者注什么是 Top-level program ? 这是在顶级编写程序的一种更简单的方式一个更简单的 Program.cs 文件。用 C# 编写一个简单的程序需要大量的样板代码using System;
class Program
{static void Main(){Console.WriteLine(Hello World!);}
}
这不仅对语言初学者来说是难以承受的而且还会使代码混乱增加缩进级别。在 C# 9.0 中您可以选择在顶级编写你的主程序(main program)using System;Console.WriteLine(Hello World!);
允许任何语句。此程序必须在文件中的 using 语句之后任何类型或命名空间声明之前执行并且只能在一个文件中执行。就像目前只能有一个 Main 方法一样。如果您想返回一个状态码您可以做。如果您想等待(await)您可以做。如果您想访问命令行参数args 可以作为一个“魔法”参数使用。局部函数是语句的一种形式也允许在顶级程序中使用。从顶级语句部分之外的任何地方调用它们都是错误的。四、改进的模式匹配Improved pattern matchingC# 9.0 中添加了几种新的模式。让我们从模式匹配教程(https://docs.microsoft.com/en-us/dotnet/csharp/tutorials/pattern-matching)的代码片段的上下文中来看看它们: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))};
简单类型模式Simple type patterns目前类型模式需要在类型匹配时声明一个标识符——即使该标识符是一个丢弃的 _如上面的 DeliveryTruck _ 所示。但现在你只需写下类型就可以了DeliveryTruck 10.00m,
关系模式Relational patternsC# 9.0 引入了与关系运算符 、 等相对应的模式。因此现在可以将上述模式的 DeliveryTruck 部分编写为嵌套的 switch 表达式DeliveryTruck t when t.GrossWeightClass switch
{ 5000 10.00m 5.00m, 3000 10.00m - 2.00m,_ 10.00m,
},
这里的 5000 和 3000 是关系模式。逻辑模式Logical patterns最后您可以将模式与逻辑运算符 and、or 和 not 组合起来这些运算符用单词拼写以避免与表达式中使用的运算符混淆。例如上面嵌套的switch的示例可以按如下升序排列DeliveryTruck t when t.GrossWeightClass switch
{ 3000 10.00m - 2.00m, 3000 and 5000 10.00m, 5000 10.00m 5.00m,
},
此例中间的案例使用 and 合并了两个关系模式形成一个表示区间的模式。not 模式的一个常见用法是将其应用于 null 常量模式如 not null。例如我们可以根据未知实例是否为空来拆分它们的处理not null throw new ArgumentException($Not a known vehicle type: {vehicle}, nameof(vehicle)),
null throw new ArgumentNullException(nameof(vehicle))
此外not 在 if 条件中包含 is 表达式时将会很方便可以取代笨拙的双括号例如if (!(e is Customer)) { ... }
您可以写成if (e is not Customer) { ... }
五、改进的目标类型Improved target typing“目标类型(Target typing)”是一个术语当一个表达式从使用它的地方的上下文中获得其类型时我们使用这个术语。例如null 和 lambda表达式始终是目标类型的。在 C# 9.0 中一些以前不是目标类型的表达式变得可以由其上下文推导。目标类型的 new 表达式Target-typed new expressionsC# 中的 new 表达式总是要求指定类型隐式类型的数组表达式除外。现在如果表达式被赋值为一个明确的类型则可以省略该类型。Point p new (3, 5);
目标类型的 ?? 和 ?:Target typed ?? and ?:有时有条件的 ?? 和 ?: 表达式在分支之间没有明显的共享类型这种情况目前是失败的。但是如果有一个两个分支都可以转换成的目标类型在 C# 9.0 中将是允许的。Person person student ?? customer; // Shared base type
int? result b ? 0 : null; // nullable value type
六、协变式返回值Covariant returns有时候派生类中的方法重写具有一个比基类型中的声明更具体更明确的返回类型这样的表达是有用的。C# 9.0 允许abstract class Animal
{public abstract Food GetFood();...
}
class Tiger : Animal
{public override Meat GetFood() ...;
}
更多内容……要查看 C# 9.0 即将发布的全部特性并追随他们的完成最好的地方是 Roslyn(C#/VB 编译器) GitHub 仓库上的 Language Feature Status(https://github.com/dotnet/roslyn/blob/master/docs/Language%20Feature%20Status.md)。作者 Mads Torgersen译者 技术译民出品 技术译站https://ITTranslator.cn/END
