近日,微軟釋出了 Visual Studio 2019 的釋出日期,2019 年 4 月 2 日 Visual Studio 2019 將正式和大家見面,同時微軟還將提供釋出現場實時直播。
除了 Visual Studio 2019 自身之外,VS 2019 的釋出還牽動著很多 C# 開發者的心。雖然一個月之前釋出的 Visual Studio 2019 Preview 版本已經可以試用 C# 的某些新功能,但還有一些是不可試用的。
下麵我們就來看一下微軟官方對 C#8.0 重要功能的概述。
可空的取用型別
此功能的目的是防止無處不在的空取用異常,空取用異常已經困擾面向物件程式設計半個世紀了。該功能將阻止開放者將 null 值放入到普通的取用型別中,例如 String 型別不可為空。但它不是強制性的 error,而是比較溫和的 warning。
這些異常現在已經過了半個世紀的面向物件程式設計。
它阻止你 null 進入普通的取用型別,例如 string- 它使這些型別不可為空!它是溫和的,有警告,而不是錯誤。但是在現有程式碼上會出現新警告,因此您必須選擇使用該功能(您可以在專案,檔案甚至原始碼級別執行此功能)。
string s = null; // Warning: Assignment of null to non-nullable reference type
如果你想要使用 null 怎麼辦?可以使用可為空的取用型別,例如 string?:
string? s = null; // Ok
當你使用了可空取用時,需要先檢查一下其是否為 null,編譯器會分析程式碼流,以檢視 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# 允許表達可空的意圖,但是在不遵守規則時會發出警告。
非同步流
C#5.0 的 async / await 功能允許在簡單的程式碼中使用(並生成)非同步結果,而無需回呼:
async Task<int> GetBigResultAsync() |
{ |
var result = await GetResultAsync(); |
if (result > 20) return result; |
else return -1; |
} |
下麵我們來介紹一下大家期待已久的 IAsyncEnumerable, 非同步版本的 IEnumerable。該語言允許 await foreach 使用元素,並使用 yield return 生成元素。
async IAsyncEnumerable<int> GetBigResultsAsync() |
{ |
await foreach (var result in GetResultsAsync()) |
{ |
if (result > 20) yield return result; |
} |
} |
範圍和索引
我們正在新增一個可用於索引的 Index 型別。你可以使用 int 從頭建立,也可以使用 ^ 從末尾開始計算字首運運算元:
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 型別,它由兩個 Indexes 組成,一個用於開始,一個用於結束,並且可以用 x…y 範圍運算式編寫。
可以使用 a 進行索引 Range 以生成切片:
var slice = a[i1…i2]; // { 3, 4, 5 }
介面成員的預設實現
今天,大家對於介面都有這樣一個需求:在不破壞現有狀態的情況下新增一個成員。
在 C#8.0 中,我們會為介面成員提供一個主體。如果有人沒有實現該成員(或者是在編寫程式碼時還沒有實現),會獲得預設實現。
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 類不需要實現 ILogger 的 Log(Exception) 多載,因為它已經預設實現了。現在只要給當前實現者提供了預設實現,就可以向現有公共介面新增新成員。
遞迴樣式
我們允許 pattern 中包含其他 pattern:
IEnumerable<string> GetEnrollees() |
{ |
foreach (var p in People) |
{ |
if (p is Student { Graduated: false, Name: string name }) yield return name; |
} |
} |
pattern Student { Graduated: false, Name: string name }主要檢查 Person 是 a Student,然後將常量 pattern false 應用於其 Graduated 屬性以檢視它們是否仍然已註冊,並將 pattern string name 應用於其 Name 屬性以獲取其名稱(如果為非 null)。因此,如果 p 是一個 Student,尚未畢業並且姓名非空,那麼我們就可以 yield return 這個名字。
Switch 運算式
帶有 pattern 的 switch 陳述句在 C#7.0 中已經非常強大了,但是編寫起來卻很麻煩,而 Switch 運算式卻是一個解決這種問題的、“輕量級”的版本。
var area = figure switch |
{ |
Line _ => 0, |
Rectangle r => r.Width * r.Height, |
Circle c => Math.PI * c.Radius * c.Radius, |
_ => throw new UnknownFigureException(figure) |
}; |
標的型別的新運算式
在許多情況下,往往建立新物件時,型別已經從背景關係中給出。在這些情況下,我們會讓你省略型別:
Point[] ps = { new (1, 4), new (3,-2), new (9, 5) }; // all Points
C# 大版本關鍵更新回顧
C#1.0(Visual Studio .NET)
- Classes
- Structs
- Interfaces
- Events
- Properties
- Delegates
- Expressions
- Statements
- Attributes
- Literal
C#2(VS 2005)
- Generics
- Partial types
- Anonymous methods
- Iterators
- Nullable types
- Getter/setter separate accessibility
- Method group conversions (delegates)
- Static classes
- Delegate inferenc
C#3(VS 2008)
- Implicitly typed local variables
- Object and collection initializers
- Auto-Implemented properties
- Anonymous types
- Extension methods
- Query expressions
- Lambda expression
- Expression trees
- Partial methods
C#4(VS 2010)
- Dynamic binding
- Named and optional arguments
- Co- and Contra-variance for generic delegates and interfaces
- Embedded interop types (“NoPIA”
C#5(VS 2012)
- Asynchronous methods
- Caller info attributes
C#6(VS 2015)
- Draft Specification online
- Compiler-as-a-service (Roslyn)
- Import of static type members into namespace
- Exception filters
- Await in catch/finally blocks
- Auto property initializers
- Default values for getter-only properties
- Expression-bodied members
- Null propagator (null-conditional operator, succinct null checking)
- String interpolation
- nameof operator
- Dictionary initializer
C#7.0(Visual Studio 2017)
- Out variables
- Pattern matching
- Tuples
- Deconstruction
- Discards
- Local Functions
- Binary Literals
- Digit Separators
- Ref returns and locals
- Generalized async return types
- More expression-bodied members
- Throw expressions
平臺依賴
大多數的 C# 8.0 功能都可以在任何版本的.NET 上執行,但也有一些功能是有平臺依賴性的,例如非同步流、範圍和索引都依賴 .NET Standard 2.1 一部分的新框架型別。其中,.NET Standard 2.1、.NET Core 3.0 以及 Xamarin,Unity 和 Mono 都將實現 .NET Standard 2.1,而.NET Framework 4.8 不會,所以如果你使用的是 .NET Framework 4.8,那麼 C# 8.0 的部分功能可能不能使用。
另外,介面成員的預設實現也依賴新的執行時增強功能,所以此功能也不適用於 .NET Framework 4.8 和舊版本的 .NET。
原文地址:https://blogs.msdn.microsoft.com/dotnet/2018/11/12/building-c-8-0/