原文: Building C# 8.0
[譯注:原文主標題如此，但內(nèi)容大部分為新特性介紹，所以意譯標題為 "C# 8.0 新特性"]

C# 的下一個主要版本是 8.0。我們已經(jīng)為它工作了很長一段時間，即使我們構(gòu)建并發(fā)布了次要版本 C# 7.1, 7.2 和 7.3，我仍然對 8.0 將帶來的新特性感到非常興奮。

目前的計劃是 C# 8.0 將與 .NET Core 3.0 同時發(fā)布。然而，隨著我們正在開發(fā)的 Visual Studio 2019 的預覽版，這些特性將開始活躍起來。當這些出來的時候，您就可以開始嘗試它們，我們將提供有關(guān)各個特性的更多細節(jié)。這篇文章的目的是向您簡述預期的內(nèi)容，以及如何理解它們。

C# 8.0 新特性

下面是長沙軟件開發(fā)公司簡界程序員小伍給大家分享 C# 8.0 中最重要的新特性。還有一些較小的改進正在進行中，這些改進將在未來幾個月逐漸顯現(xiàn)出來。

Nullable reference types 可空引用類型

此特性的目的是幫助處理無處不在的空引用異常，這種異常已經(jīng)困擾了半個世紀的面向?qū)ο缶幊獭?/p>

這個特性阻止您將 null 放入普通引用類型中（如字符串)，從而使這些類型不可為 null！不過它是溫和的提示警告，而不是錯誤。所以，它會讓現(xiàn)有代碼出現(xiàn)新的警告，因此您必須有選擇的使用該功能 (您可以在項目、文件甚至行級別執(zhí)行此操作)。

string s = null; // Warning: Assignment of null to non-nullable reference type

如果您確實想要 null 怎么辦？可以使用一個可空引用類型，例如 string? 這樣：

string? s = null; // Ok

當您嘗試使用可空引用類型時，你首先需要檢查是否為空。編譯器會分析代碼流，以查看 null 值是否可以將其用于當前位置：

void M(string? s) {    Console.WriteLine(s.Length); // Warning: Possible null reference exception if (s != null)    {        Console.WriteLine(s.Length); // Ok: You won't get here if s is null }}

這個特性的要點是，C# 允許您表達“可空的意圖”，并且在您不遵守它時候發(fā)出警告。

Async streams 異步流

C# 5.0 的 async/await 特性使您可以用非常簡單的代碼消費（或生產(chǎn)）異步結(jié)果, 而無需回調(diào)：

async Task<int> GetBigResultAsync() { var result = await GetResultAsync(); if (result > 20) return result; else return -1;}

如果您想要消費（或生產(chǎn)）連續(xù)的結(jié)果流（例如您可能從物聯(lián)網(wǎng)設(shè)備或云服務(wù)獲得），則沒有那么有用。 異步流就是為此而存在的。

如果您想要消費（或生產(chǎn)）連續(xù)的結(jié)果流（例如您可能從物聯(lián)網(wǎng)設(shè)備或云服務(wù)獲得），則沒有那么有用。 異步流就是為此而存在的。

我們現(xiàn)在介紹一下您所期望的 IAsyncEnumerable<T>，即 IEnumerable<T> 的異步版本。允許您 await foreach 以消費它們的元素，并 yield return 以生產(chǎn)元素。

async IAsyncEnumerable<int> GetBigResultsAsync() { await foreach (var result in GetResultsAsync()) { if (result > 20) yield return result;     }}

Ranges and indices 范圍和索引

我們正在添加一個類型 Index，可用于索引。您可以創(chuàng)建一個整型來表示從頭開始的索引，或者一個 ^ 前綴的從結(jié)尾表示的索引：

Index i1 = 3; // number 3 from beginning Index i2 = ^4; // number 4 from end int[] a = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };Console.WriteLine($"{a[i1]}, {a[i2]}"); // "3, 6"

我們還引入了一個 Range 類型，它由兩個 Index 組成，一個用于開始，一個用于結(jié)束，并且可以用 x..y 這樣的范圍表達式來編寫。然后，您可以使用 Range 進行索引來生成切片：

var slice = a[i1..i2]; // { 3, 4, 5 }

Default implementations of interface members 接口成員的默認實現(xiàn)

現(xiàn)在，一旦你發(fā)布了一個接口，游戲就結(jié)束了：你不能在不破壞它的所有現(xiàn)有實現(xiàn)的情況下向它添加成員。

在 C# 8.0 中，我們允許您為接口成員提供一個默認實現(xiàn)。因此，如果某人沒有實現(xiàn)該成員（可能因為他們編寫代碼時還沒有該成員），他們將只得到默認的實現(xiàn)。

interface ILogger { void Log(LogLevel level, string message); void Log(Exception ex) => Log(LogLevel.Error, ex.ToString()); // New overload } class ConsoleLogger : ILogger { public void Log(LogLevel level, string message) { ... } // Log(Exception) gets default implementation }

ConsoleLogger 類不必實現(xiàn) ILogger 中 Log(Exception) 重載函數(shù)，因為它已經(jīng)定義了默認實現(xiàn)?，F(xiàn)在只要提供了一個默認實現(xiàn)，您就可以添加新的成員到已經(jīng)存在的公開接口中了。

Recursive patterns 遞歸的模式匹配

在模式匹配中，現(xiàn)在允許模式中包含其他模式。

IEnumerable<string> GetEnrollees() { foreach (var p in People)    { if (p is Student { Graduated: false, Name: string name }) yield return name;    }}

這個模式 Student { Graduated: false, Name: string name } 會檢查 Person 是否是 Student，然后將常量模式 false 應用于 Graduated 屬性以查看它們是否已畢業(yè)，并將模式字符串 name 添加到其 Name 屬性中，得到他們的名字（如果非空）。因此，如果 p 是 Student，沒有畢業(yè)并且具有非空的名字，則返回該名字。

Switch expressions Switch 表達式

帶有模式的 switch 語句在 C# 7.0 中非常強大，但編寫起來很麻煩。switch 表達式是一個“輕量級”版本，其中所有情況都是表達式：

var area = figure switch {    Line _      => 0,    Rectangle r => r.Width * r.Height,    Circle c    => c.Radius * 2.0 * Math.PI,    _           => throw new UnknownFigureException(figure)};

Target-typed new-expressions 已知目標類型的新表達式

在許多情況下，當您創(chuàng)建新對象時，類型已經(jīng)可以從上下文中知道。在這些情況下，可以省略類型：

Point[] ps = { new (1, 4), new (3,-2), new (9, 5) }; // all Points

該功能的實現(xiàn)由社區(qū)成員提供，謝謝！

平臺依賴性

大多數(shù) C# 8.0 語言特性都可以在任何版本的 .NET 上運行。但是，其中一些具有平臺依賴性。

Async streams, Index 和 Range 都依賴于 .NET Standard 2.1 的新類型。正如 Immo 在他的文章《公布.NET Standard 2.1》所說的那樣，.NET Core 3.0 、Xamarin 、Unity 和 Mono 都將實現(xiàn) .NET Standard 2.1，但 .NET Framework 4.8 不會。這意味著當您將 C# 8.0 指向到 .NET Framework 4.8 時，使用這些功能所需的類型將不可用。

與往常一樣，C# 編譯器對它所依賴的類型非常寬容。如果它能找到具有正確的名字和形態(tài)的類型，則很樂意將它們作為目標。

默認接口實現(xiàn)依賴于新的增強運行時，我們也不會在 .NET Runtime 4.8 中實現(xiàn)這些。因此，此特性不適用于 .NET Framework 4.8 和舊版本的 .NET。

十余年間，為了保持運行時的穩(wěn)定，我們無法在其中實現(xiàn)新的語言特性。隨著現(xiàn)代化運行時的并行性和開源性，我們覺得可以負責任地去重新開發(fā)它們，并在考慮到這一點時進行語言設(shè)計。 Scott 在其 .NET Core 3.0 和 .NET Framework 4.8 更新中解釋說，.NET Framework 將來會看到較少的創(chuàng)新，而是關(guān)注穩(wěn)定性和可靠性?？紤]到這一點，我們認為，直接忽略某些語言特性會好一些。