如何让C#编译器通过隐式布尔运算符推断可空性？

你在启用可空性特性的C#中定义了如下Error类：

public class Error
{
    public string Message = "...";

    public static implicit operator bool(Error? err) => err is not null;
}

使用该类的隐式布尔运算符可以简化空值检查，但在场景2中，编译器无法识别进入if块时err一定非空，导致访问err.Message触发可空性警告：

var err = GetSomeError();

// 场景1（无隐式运算符）
if (err is not null)
{
    Console.WriteLine(err.Message);
}

// 场景2（使用隐式运算符）
if (err)
{
    Console.WriteLine(err.Message); // <--- 触发可空性警告
}

可以通过**[MemberNotNullWhen]属性**告知编译器这个逻辑，具体做法如下：

1. 引入命名空间System.Diagnostics.CodeAnalysis（该属性属于此命名空间）
2. 在隐式布尔运算符上添加[MemberNotNullWhen(true, nameof(err))]属性，指定当运算符返回true时，参数err处于非空状态

修改后的Error类代码：

using System.Diagnostics.CodeAnalysis;

public class Error
{
    public string Message = "...";

    [MemberNotNullWhen(true, nameof(err))]
    public static implicit operator bool(Error? err) => err is not null;
}

此时再运行场景2的代码，编译器会正确推断出进入if (err)块时err一定非空，访问err.Message不会再触发可空性警告，也不需要额外添加!运算符。

这个属性的作用是向编译器提供静态分析提示：当目标方法/运算符返回指定布尔值时，指定的参数或字段将处于非空状态，从而让编译器正确完成可空性推断，避免冗余的非空断言，同时保持可空性逻辑的清晰。

内容的提问来源于stack exchange，提问作者chainerlt