[译]初试C# 8.0

原文地址: https://blogs.msdn.microsoft.com/dotnet/2018/12/05/take-c-8-0-for-a-spin/

初试C# 8.0

昨天我们宣布了Visual Studio 2019的第一个预览版(使用Visual Studio 2019提高每个开发人员的工作效率)和.NET Core 3.0(宣布.NET Core 3预览1和开源Windows桌面框架)。

其中一个令人兴奋的方面是你可以使用C#8.0中的一些功能!在这里,我将带您进行一次导游,了解您可以在预览中尝试的三种新的C#功能。并非所有C#8.0功能都可用。如果您想了解所有主要功能,请阅读最近发布Building C# 8.0,或查看Channel 9YouTube

做好准备

首先,下载并安装.NET Core 3.0的预览版1Visual Studio的2019的预览版1。在Visual Studio中,确保选择工作负载“.NET Core跨平台开发”(如果您忘记了,可以稍后通过打开Visual Studio安装程序并单击Visual Studio 2019预览频道上的“修改”来添加它)。

启动Visual Studio 2019预览版,创建新项目,然后选择“Console App(.NET Core)”作为项目类型。

项目启动并运行后,将其目标框架更改为.NET Core 3.0(在解决方案资源管理器中右键单击该项目,选择“属性”并使用“应用程序”选项卡上的下拉菜单)。然后选择C#8.0作为语言版本(在项目页面的Build选项卡上单击“Advanced ...”并选择“C#8.0(beta)”)。

现在,您可以轻松获得所有语言功能和支持框架类型!

可空的引用类型

可空引用类型功能旨在警告您代码中的null不安全行为。既然我们之前没有这样做过,那么现在就开始改变吧!为避免这种情况,您需要选择加入该功能。

不过,在我们开启它之前,让我们写一些非常糟糕的代码:

using static System.Console;

class Program
{
    static void Main(string[] args)
    {
        string s = null;
        WriteLine($"The first letter of {s} is {s[0]}");
    }
}

如果你运行它,你当然会得到一个空引用异常。你陷入了黑洞!你怎么知道不要在特定的地方间接引用s?嗯,因为在前一行分配了null。但是在现实生活中,它可能不是在前一行,而是在你编写代码的三年后在地球另一端运行的其他人程序集中。你怎么知道不写那个?这是可空引用类型要回答的问题!所以让我们打开它们吧!

对于一个新项目,你应该立即打开它们。事实上,我认为它们应该在新项目中默认启用,但我们在预览中没有这样做。打开它们的方法是将以下行添加到.csproj文件中,例如在切换到上面的C#8.0时刚刚插入的LanguageVersion之后:

<NullableReferenceTypes>true</NullableReferenceTypes>

保存.csproj文件并返回到您的程序:发生了什么?你有两个警告!每个代表一个功能的“一半”。让我们依次看看它们。第一个是null这一行:

string s = null;

它抱怨你将null赋给“不可空类型”:啥?!?当打开该功能时,在普通的引用类型中不再欢迎使用null,例如string!因为,你知道吗,null不是一个字符串!我们一直假装在过去的五十年在面向对象编程,但实际上null并不是一个对象:这就是为什么每当你试图将它做为对象时一切都会爆炸!

所以不多说:null是禁止的,除非你要求它。你是怎么要求的?通过使用可空的引用类型,例如string?。尾随问号表示允许null:

string? s = null;

警告消失了:我们已明确表达了此变量保持null的意图,所以现在没问题了。

直到下一行代码!在该行:

WriteLine($"The first letter of {s} is {s[0]}");

它抱怨s中s[0],你可能会间接引用一空引用。果然:是!干得好,编译器!你怎么解决它?嗯,这几乎取决于你 - 无论何种方式你得修复它!让我们尝试初学者的方法, 只在s非null时执行该行:

if (s != null) WriteLine($"The first letter of {s} is {s[0]}");

警告消失了!为什么?因为编译器可以看到,只有s不是null时才会走后面的代码。它实际上进行了全流分析,跟踪每行代码中的每个变量,以便密切关注它可能是null的和可能不是的位置。它会监视您的测试和作业,并进行簿记(bookkeeping)。

我们试试另一种方法:

WriteLine($"The first letter of {s} is {s?[0] ?? '?'}");

这使用null条件索引运算符s?[0],它避免了间接引用,如果s为null ,则生成null。现在我们有一个可空的char?,但是null合并运算符?? '?'替换null值为字符 '?'。因此避免了所有null间接引用。编译器很高兴,没有给出警告。

正如您所看到的,该功能可以让您在编写代码时保持诚实:它会强制您在系统中使用null时通过使用可空的引用类型来表达您的意图。并且一旦出现null,它就会强制您负责任地处理它,让您在存在可能间接引用null值以触发空引用异常的风险时进行检查。

你现在完全null安全了吗?没有。有几种方法可以使null值漏掉并导致空引用异常:

  • 如果你调用没有可空的引用类型功能的代码(也许它是在该功能存在之前编译的),那么我们无法知道该代码的意图是什么:它没有区分可空和不可空 - 我们说它是“无视的”。所以我们给它一个通行证; 我们根本不会对此类调用发出警告。
  • 分析器本身有一些漏洞。其中大多数是安全和便利之间的权衡; 如果我们抱怨,那将很难修复。例如,当你编写时new string[10],我们创建一个充满null值的数组,类型为非null字符串。我们不会对此发出警告,因为编译器如何跟踪您初始化所有数组元素?

但总的来说,如果你广泛使用这个功能(即在任何地方打开它),它应该照顾绝大多数的空引用。

毫无疑问地,我们打算在现有代码上开始使用该功能!一旦打开它,您可能会收到很多警告。其中一些实际上代表了问题:是的,你发现了一个错误!其中一些可能有点烦人; 你的代码显然是null安全的,你只是没有工具来表达你的意图:你没有可空的引用类型!例如,在我们开始的行:

string s = null;

这在现有代码中将非常普遍!正如你所看到的那样,我们也确实在下一行发出了警告,我们试图间接引用它。因此,从安全的角度来看,此处的赋值警告严格来说是多余的:它使您在新代码中保持诚实,但修复现有代码中的所有事件并不会使其更安全。对于这种情况,我们正在处理一种模式,其中某些警告被关闭,当它不影响空安全性时,因此升级现有代码不那么令人生畏。

另一个有助于升级的功能是,您可以使用编译器指令#nullable enable#nullable disable在代码中“本地”打开或关闭该功能。这样你就可以逐步完成你的项目并逐步处理注释和警告。

要了解更多关于可空引用类型检查出Overview of Nullable typesIntroduction to nullable tutorial

为了更深入的设计理由,去年我在C#中写了一篇帖子Introducing Nullable Reference Types in C#

如果您想让自己沉浸在设计工作的日常工作中,请查看GitHub上的Language Design Notes,或者Nullable Reference Types Specification

范围和索引

使用索引数据结构时,C#的表现力越来越强。曾经想要简单的语法来切出数组,字符串或span的一部分吗?现在你可以!

继续将您的程序更改为以下内容:

using System.Collections.Generic;
using static System.Console;

class Program
{
    static void Main(string[] args)
    {
        foreach (var name in GetNames())
        {
            WriteLine(name);
        }
    }

    static IEnumerable<string> GetNames()
    {
        string[] names =
        {
            "Archimedes", "Pythagoras", "Euclid", "Socrates", "Plato"
        };
        foreach (var name in names)
        {
            yield return name;
        }
    }
}

让我们来看看迭代名字数组的那段代码。修改foreach如下:

foreach (var name in names[1..4])

看起来我们正在迭代名字1到4。事实上代码运行时也确实如此!终点是排外的,即不包括元素4。1..4实际上是一个范围表达式,它不必像该处一样,作为索引操作的一部分出现。它有一种自己的类型,叫做Range。如果我们想要的话,我们可以把它拉到自己的变量中,它会起到同样的作用:

Range range = 1..4; 
foreach (var name in names[range])

范围表达式的终点不必是整数。事实上,它们属于一种类型,叫Index,可由非负数转换得来。但是你也可以使用一个新的^运算符创建Index,意思是“从末尾”。所以^1是从末尾开始1个:

foreach (var name in names[1..^1])

这会在数组的每一端去除一个元素,产生一个带有中间三个元素的数组。

范围表达式可以在任一端或两端打开。..^10..^1相同。1..1..^0相同。并且..0..^0相同:从头到尾。试试吧!尝试在Range的两端混合使用“从开始”和“从末尾”的Index,看看会发生什么。

范围不仅仅适用于索引器。例如,我们计划有重载string.SubStringSPan<T>.Slice以及使用Range参数的AsSpan扩展方法。这些不在.NET Core 3.0预览中。

异步流

IEnumerable<T>在C#中扮演着特殊的角色。“IEnumerables”代表各种不同的数据序列,并且语言具有用于消费和生成它们的特殊构造。

正如我们在当前的程序中看到的那样,它们通过foreach声明来消费,该声明涉及获取枚举器的苦差事,反复推进它,沿途提取元素,最后处理枚举器。并且可以使用迭代器生成它们:yield return按消费者要求产生元素。但两者都是同步的:当结果被请求时最好已经准备就绪,否则就会阻塞线程!

async和await加入到C#中用来处理当结果被请求时不一定准备好的情况。它们可以异步await,并且线程可以在其可用之前执行其他操作。但这仅适用于单个值,而不适用于随时间逐渐和异步生成的序列,例如来自IoT传感器的测量值或来自服务的流数据。

异步流在C#中将异步和枚举结合在一起!让我们看看,通过逐步“异步”我们当前的程序。

首先,让我们在文件的顶部添加另一个using指令:

using System.Threading.Tasks;

现在让我们通过在yield return名字之前增加一个异步延迟来模拟GetNames做了一些异步工作:

await Task.Delay(1000);
yield return name;

当然,我们得到了一个错误: 只能在async方法中使用await。所以我们让它异步:

static async IEnumerable<string> GetNames()

现在我们被告知我们没有为异步方法返回正确的类型,这是公平的。但除了通常的Task东西之外,这次我们的类型列表中有了一个新的候选可以返回:IAsyncEnumerable。这是我们的异步版IEnumerable!让我们返回它:

static async IAsyncEnumerable<string> GetNames()

就像我们已经生成了一个异步字符串流!根据命名指南,让我们重命名GetNames为GetNamesAsync。

static async IAsyncEnumerable<string> GetNamesAsync()

现在我们在Main方法中的这一行得到一个错误:

foreach (var name in GetNamesAsync())

不知道如何foreach一个IAsyncEnumerable<T>。这是因为异步流的foreach需要显式使用await关键字:

await foreach (var name in GetNamesAsync())

这是foreach的异步版本:采用异步流并等待每个元素!当然它只能在异步方法中这样做,所以我们必须使我们的Main方法异步。幸运的是,C#7.2增加了对它的支持:

static async Task Main(string[] args)

现在所有的混乱都消失了,程序是正确的。但是如果你尝试编译并运行它,你会得到一些令人尴尬的错误。那是因为我们搞砸了一下,并没有完全对齐.NET Core 3.0和Visual Studio 2019的预览。具体来说,有一种实现类型,异步迭代器利用它与编译器期望的不同。

您可以通过向项目添加单独的源文件来修复此问题,其中包含此桥接代码。再次编译,一切都应该工作得很好。

下一步

请让我们知道你的想法!如果您尝试这些功能并了解如何改进它们,请使用Visual Studio 2019预览中的反馈按钮。预览的整个目的是根据现实用户手中的功能如何进行最后一次校正,所以请告诉我们!

编码快乐,

Mads Torgersen,C#设计负责人

posted @ 2018-12-10 10:39 WAKU 阅读(...) 评论(...) 编辑 收藏