C# 8可空检查：如何标记已空检查实例以避免编译器报错？

这个问题我之前也碰到过，确实挺头疼的——明明已经做了空检查，编译器就是不买账，还不想用!粗暴压制或者搞包装类，对吧？给你几个可行的方案，还有关于未来规划的信息：

现有可行方案 #

1. 用局部变量捕获非空的Name值 #

这是最直接的方法，利用C#的模式匹配把空检查后的Name存入局部变量，编译器会自动推断这个变量是非空的，后续直接使用这个变量而非从实例中重新获取：

#nullable enable
var foo = new Foo();
if (foo.Name is {} validName)
{
    myList.Add(foo);
    // 后续直接用validName，编译器不会报错
    ProcessName(validName);
    
    // 因为你的Name是get-only属性，没法反向赋值，所以局部变量是最稳妥的选择
}
#nullable restore

这种方式不需要修改原Foo类，完全在调用代码层面解决问题。

2. 给Foo类添加带[MemberNotNullWhen]注解的验证方法 #

如果Foo是你可控的类，可以添加一个返回布尔值的方法，并用[MemberNotNullWhen]注解告诉编译器：当方法返回true时，Name属性一定非空。这样后续的空检查逻辑就能被编译器正确识别：

#nullable enable
using System.Diagnostics.CodeAnalysis;

class Foo 
{ 
    public SomeType? Name { get; }

    // 注解标记：当返回true时，Name属性非空
    [MemberNotNullWhen(true, nameof(Name))]
    public bool IsNameValid()
    {
        return Name is not null;
    }
}

// 调用代码
var foo = new Foo();
if (foo.IsNameValid())
{
    myList.Add(foo);
    // 这里编译器会认可foo.Name是非空的
    ProcessName(foo.Name);
}
#nullable restore

这个方案的好处是把验证逻辑封装在类内部，调用代码更简洁，也符合封装原则。

3. 局部调整nullable分析策略（谨慎使用） #

如果你只是在某一段代码里需要编译器信任Name非空，可以临时用#nullable disable关闭局部的可空检查，但这种方式要谨慎，避免漏掉真正的空引用风险：

#nullable enable
var foo = new Foo();
if (foo.Name != null)
{
    myList.Add(foo);
    // 临时关闭这段代码的可空检查
    #nullable disable
    ProcessName(foo.Name);
    #nullable enable
}
#nullable restore

这个方案更适合临时应急，不如前两个优雅。

未来规划 #

目前Roslyn的静态分析器在跟踪集合中元素的成员非空状态上确实有局限——它没法记住你存入集合的实例已经通过了空检查。不过微软一直在逐步优化nullable分析的精度：

• 在C# 11及之后的版本中，已经增强了对模式匹配、属性传递和复杂逻辑的分析能力；
• 未来版本的Roslyn可能会支持集合元素的状态跟踪，比如当你把一个经过空检查的实例存入列表后，后续从列表取出时，编译器能识别该实例的Name属性是非空的；
• 另外，团队也在考虑增加更灵活的nullable断言注解，或者允许开发者标记集合的元素具有特定的非空成员，来填补当前的分析缺口。

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