.NET6启用nullable时，如何用MemberNotNullWhen属性修复CS8604警告？

我非常喜欢C# .NET 6引入的nullable功能，它能提前帮我们发现潜在的空引用问题，但有时候明明确定某个变量不会为空，编译器还是会抛出可能的空引用警告，确实挺闹心的。

之前找到微软的MemberNotNullWhen属性，但网上很难找到实用的使用示例，最近我摸索出一个常见场景，分享给有同样困扰的开发者。

举个典型的例子：假设我们有一个验证类，包含IsValid方法和Error属性——当IsValid返回false时，Error必然会被赋值，不可能为空，但编译器无法自动识别这个逻辑，会在访问Error时抛出警告：

public class ValidationResult
{
    public string? Error { get; private set; }

    public bool IsValid()
    {
        Error = null;
        // 模拟验证逻辑
        if (DateTime.Now.Second % 2 == 0)
        {
            Error = "当前秒数为偶数，验证不通过";
            return false;
        }
        return true;
    }

    public void PrintErrorDetail()
    {
        if (!IsValid())
        {
            // 这里会触发CS8602: 解引用可能出现空引用的警告
            Console.WriteLine($"错误长度：{Error.Length}");
        }
    }
}

这时候MemberNotNullWhen就能派上用场，我们只需要给IsValid方法加上这个属性，明确告诉编译器：当方法返回false时，Error成员一定不为null：

using System.Diagnostics.CodeAnalysis;

public class ValidationResult
{
    public string? Error { get; private set; }

    // 标注：当方法返回false时，Error成员非空
    [MemberNotNullWhen(false, nameof(Error))]
    public bool IsValid()
    {
        Error = null;
        if (DateTime.Now.Second % 2 == 0)
        {
            Error = "当前秒数为偶数，验证不通过";
            return false;
        }
        return true;
    }

    public void PrintErrorDetail()
    {
        if (!IsValid())
        {
            // 警告消失，编译器已识别此时Error非空
            Console.WriteLine($"错误长度：{Error.Length}");
        }
    }
}

MemberNotNullWhen的第一个参数是方法的返回值，第二个参数是要关联的成员名称（可以同时指定多个，用逗号分隔）。除了返回false时标记非空，也可以反过来：当方法返回true时，标记某个成员非空，比如[MemberNotNullWhen(true, nameof(SuccessMessage))]，适用于验证通过时返回成功信息的场景。

这个属性完美解决了"编译器不知道我们的业务逻辑导致误报"的问题，让nullable功能更精准，不会干扰正常的代码编写。

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