C#提前判空后仍触发CS8602可能空引用警告问题

编译器不会对两次独立的方法调用做返回值一致性假设。你在第一行和第二行分别调用了两次Account.FindAccount(usernameInput)，即便第一次调用返回null时会直接终止逻辑，第二次调用是一次全新的方法执行，静态分析无法判定这次的返回值一定非空，因此会触发CS8602警告。
这种校验逻辑本身是有漏洞的：极端场景下如果两次调用间隙目标账号被其他线程删除，或者FindAccount方法本身存在非确定性返回逻辑（比如带超时、随机分支），第二次调用完全可能返回null，触发实际的空引用异常。

修复方案 #

将方法返回值先存入本地变量，仅执行一次查找，再基于这个本地变量做null校验，编译器就能正确识别后续流程中变量的非空状态，同时还能避免重复执行方法带来的额外性能开销：

var account = Account.FindAccount(usernameInput);
if (account == null) 
{ 
    return; 
}    
if (account.password == "1234") // 无CS8602警告
{ 
    // 执行业务逻辑
} 

补充说明 #

不要尝试通过给方法加纯函数标记（比如[Pure]特性）来让编译器识别两次调用的返回值一致性，C#的空引用静态分析不会做这类跨调用的状态推断，把结果缓存到本地变量是最稳妥、兼容性最好的写法。

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