C＃7.1先睹為快

最新 06-09

自2003年以來，Microsoft首次考慮對C#使用帶小數點後位數的版本。當前暫定下一個版本是C# 7.1，其中有望包括：非同步Main函數（Async Main）、默認表達式（Default Expression）、推導元組名（Infer Tuple Names）和使用泛型的模式匹配（Pattern-matching with Generics）等。

非同步Main函數

最讓測試非同步代碼的開發人員沮喪的，無疑是控制台應用當前不支持非同步入口點（EntryPoint）。雖然變通方法是編寫多行樣板代碼，但是這樣的模式依賴於對方法的非正常使用，難於理解。例如：

ublic static void Main() { MainAsync().GetAwaiter().GetResult(); } private static async Task MainAsync() { ... // 程序主代碼。 }

為解決這個問題，在「非同步Main函數建議」中，添加了如下四個新的函數簽名，羅列了可能的入口點。

static Task Main() static TaskMain() static Task Main(string[]) static TaskMain(string[])

如果代碼中不存在另一個非非同步Main函數，那麼只要給出一個上述的入口點函數，編譯器就會生成所需的樣板代碼。唯一的限制是需要向後兼容。

Microsoft曾考慮允許「async void Main()」，但是這種做法會使編譯器更複雜，並且Microsoft總體上並不鼓勵在事件處理器之外使用「async void」。

默認值（即Nothing）

VB沒有表示「null」的關鍵字，這是C#和VB間的一個微妙的差別。但是VB有一個關鍵字「Nothing」。在語言技術規範中，對該關鍵字給出了如下說明：

Nothing是一個特殊的常值。它沒有類型，可轉換為類型系統中的任意類型，也包括類型參數。在轉換為某個特定類型後，它等價於該類型的默認值。

C#當前使用「default(T)」模式實現同一效果，但略為繁瑣，尤其是類的名字很長時。C# 7.1中將提供一個「默認常值」（Default Literal），其描述為：

這一類型的表達式可通過常值轉換為默認值或null值，隱式地轉換為any類型。

該類型向默認常值的推理與向null常值推理的工作機制一樣，除非允許any類型（不只是引用類型）。

在可以使用null的地方，通常也可以使用默認常值。這一做法被看成是C#建議中的一個倒退，可能因為人們通常會對兩個非常類似的方法完成同一件事大皺眉頭。在設計會議紀要中，就有人提出疑問：

我們是否正在挑起類型之爭？

一個使用默認常值的例子如下：

ImmutableArrayx = default; return default; void Method(ImmutableArrayarrayOpt = default) var x = new[] { default, ImmutableArray.Create(y) }; const int x = default; if (x == default) if (x is default) y = default as RefType //編譯器告警：總是null。 int i = default

下面例子給出的是對默認常值的非法使用：

const int? y = default; if (default == default) if (default is T) var i = default throw default

後者無疑是一個C#設計上的奇特構件。在設計會議紀要中，給出了如下說法：

在C#中，允許開發人員拋出null。這會引發一個運行時錯誤，進而導致拋出一個NullReferenceException異常。因此，拋出NullReferenceException並非正大光明的，而是一種醜陋的模式。

完全沒有理由允許拋出默認值。我們並不認為用戶會感覺這是可行的，或是了解它的工作機制。

在C#中，開發人員可能常會有這樣的一個疑問：「null是否表示的是實際的空值，或是表示了可能為空值也可能不為空值的默認值？」我們認為，這是一個令人非常困惑的問題。

在本文的第二部分中，我們將介紹元組和模式匹配。

查看英文原文：An Early Look at C# 7.1: Part 1

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！