Visual Studio 2022误报'xxx可能为空'问题咨询（.NET6 C#）

原因 #

这不是Visual Studio的bug，而是C# nullable引用类型的静态分析机制的设计限制。静态分析器不会跨方法深入分析逻辑关联，它只会基于方法的签名和标注的属性来判断null状态：

• 你的TryDoSomething方法签名里，out参数被声明为MyObject1?和MyObject2?（可空引用类型）；
• 分析器无法自动推断出“当方法返回true时，这两个out参数一定非空”的逻辑，所以在调用方执行obj1.PerformSomeAction()时，依然会提示可能为空的警告。

解决方法 #

最优雅的方式是给方法的out参数添加NotNullWhen属性，明确告诉静态分析器：当方法返回true时，对应的out参数不为null。

修改TryDoSomething的方法签名如下：

using System.Diagnostics.CodeAnalysis;

bool TryDoSomething([NotNullWhen(true)] out MyObject1? obj1, [NotNullWhen(true)] out MyObject2? obj2)
{
    obj1 = DoSomethingElse();
    obj2 = DoAnotherThing();
   
    // 执行其他操作....
    
    return obj1 != null && obj2 != null;
}

添加[NotNullWhen(true)]属性后，静态分析器就能正确识别：当TryDoSomething返回true时，obj1和obj2都是非null的，调用方的警告会自动消失。

其他替代方案 #

如果你不想修改原方法的属性，也可以在调用方使用null-forgiving运算符!，强制告诉分析器该变量非空：

obj1!.PerformSomeAction();
obj2!.PerformADifferentAction();

但这种方式只作用于当前调用点，无法让其他调用方受益，适合临时快速解决问题的场景。

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