VB.net 2010 视频教程 VB.net 2010 视频教程 python基础视频教程
SQL Server 2008 视频教程 c#入门经典教程 Visual Basic从门到精通视频教程
当前位置:
首页 > temp > 简明python教程 >
  • 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>(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) {
        ...
    }
}

以上代码会大致翻译为以下伪代码:

class C {
    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

相关教程