C# 9.0 新特性預覽 - 空參數校驗

C# 9.0 新特性預覽 - 空參數校驗

前言

随着 .NET 5 釋出日期的日益臨近，其對應的 C# 新版本已确定為 C# 9.0，其中新增加的特性（或文法糖）也已基本鎖定，本系列文章将向大家展示它們。

目錄

[C# 9.0 新特性預覽 - 類型推導的 new]

[C# 9.0 新特性預覽 - 空參數校驗]

[C# 9.0 新特性預覽 - Lambda 中的棄元]

[C# 9.0 新特性預覽 - Record 類型]

[C# 9.0 新特性預覽 - 模式比對的改善]

[C# 9.0 新特性預覽 - 其他小的變化]

簡便的空參數校驗 (Simplified Null Argument Checking)

目的

這個特性主要是為了更簡便的檢查方法的參數是否為 null 并抛出 ArgumentNullExceptiony 異常。

文法

文法很簡單，在參數名後加個歎号即可：

void M(string name!) {

...           

}

以上代碼會被翻譯為：

void M(string name) {

if (name is null) {
    throw new ArgumentNullException(nameof(name));
}
...           

想必有些同學已經從上面代碼看出來了，這個生成的空校驗，隻是校驗參數是否為 null，這也就意味着它無法在值類型上使用，以下代碼将報錯：

// Error: 無法在值類型參數上使用!操作符

void G(T arg!) where T : struct {

當然，可空的值類型是可以的，但是編譯器會提示一條警告，提示你在可空類型上進行了空檢查：

// Warning: 将顯式null檢查與可為null的類型結合使用

void M(int? x!) {

類似的，在參數擁有預設值的情況下，也會提示警告

// Warning: 參數 'x' 進行了空檢查但是它預設為空

void M(string x! = null) {

構造方法的場景

在構造方法的場景下，空參數校驗将發生在任何其他代碼的前面，包括：

對其他構造方法的鍊式調用，即 this() 或 base()

在構造方法内的隐式字段初始化

舉個例子：

class C {

string field = GetString();
C(string name!): this(name) {
    ...
}           

以上代碼會大緻翻譯為以下僞代碼：

C(string name)
    if (name is null) {
        throw new ArgumentNullException(nameof(name));
    }
    field = GetString();
    :this(name);
    ...           

Lambda 的場景

這個特性在 lambda 中也可以使用

void G() {

Func<string, string> s = x! => x;           

不可以使用的場景

這個特性隻能用于有方法體的方法中，也就意味着它不能用于抽象方法、接口、委托和部分方法。

以下代碼編譯器會報錯：

interface C

{

public int M(string x!);// ERROR           

不能用于屬性。因為屬性 setter 中的 value 是隐式的，不會出現在參數清單中，是以此特性不适用于屬性。

string FirstName! { get; set; } // ERROR

不能用于 out / ref / in 的參數

public void M(out string x!) {} // ERROR

參考

[Proposal: Simplified Null Argument Checking]

[Unit test: NullCheckedParameterTests.cs]

[LDM-2019-07-10.md]

原文位址

https://www.cnblogs.com/Rwing/p/csharp-9-0-preview-null-arg-checking.html