为何将空检查结果赋值给变量后仍出现CS8602空引用解引用警告？

你遇到的这个情况是C#可空静态分析的设计限制——编译器确实无法识别这种通过中间变量传递的空检查关联。

核心原因 #

C#的可空分析是基于流状态追踪的：它只会直接追踪目标变量（这里是a）在代码流中的状态变化。当你把a != null的结果赋值给wasCreated后，编译器无法保证从赋值到if (wasCreated)判断的这段代码里，a没有被其他操作（比如其他线程修改、后续的赋值语句）改成null。因此，它不会把wasCreated的布尔值和a的非空状态绑定起来。

而直接使用if (a != null)时，编译器能明确在这个条件块内，a的状态是“非空”——因为流分析能直接确认a在进入代码块前的检查结果，且没有其他可能修改a的路径。

可行的解决办法 #

• 最稳妥的方式：直接在if条件中写a != null，让编译器直接追踪a的状态
• 如果确定a此时不可能为null，可以使用空宽容运算符!跳过警告：a!.Add("b")（注意：这种方式需要自己保证逻辑正确性，否则会引发运行时空引用异常）
• 使用模式匹配绑定非空变量：if (a is {} list)，之后用list.Add("b")——编译器会明确list是a的非空实例，不会触发警告

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