C#空条件检查降级疑问：为何VS空引用提示不一致？

你误以为两种检查逻辑等价，但实际上它们的行为完全不同，Visual Studio的警告是合理的：

第一种检查的问题 #

_dictionary.TryGetValue(1, out var someReferenceValue);

if (someReferenceValue?.IsWrongState())
    return;

someReferenceValue.DoSomething(); // 存在NullReferenceException风险

当someReferenceValue为null时，someReferenceValue?.IsWrongState()会直接返回null（?.运算符在左操作数为null时，不会执行右侧方法，直接返回null）。而C#中if(null)会被判定为false，所以这个if条件不成立，不会执行return，后续调用someReferenceValue.DoSomething()必然触发空引用异常。

第二种检查的逻辑正确性 #

if (someReferenceValue == null || someReferenceValue.IsWrongState())
    return;

someReferenceValue.DoSomething(); // 无空引用风险

这里用了||的短路逻辑：如果someReferenceValue为null，||左侧条件为true，直接执行return，不会进入后续代码；如果变量不为null，才会检查IsWrongState()。因此代码分析器可以明确判定，走到DoSomething()时someReferenceValue一定不为null，不会给出警告。

代码分析器的行为 #

C#的Nullable静态分析器能正确跟踪== null和短路运算符的逻辑，但对于?.返回的null值在if条件中的处理，它会准确识别出：当左操作数为null时，if条件不成立，后续变量仍可能为null，因此给出警告——这是正确的分析结果，并非分析器的问题。

如果想用类似?.的写法实现等价逻辑，需要把表达式转换成明确的布尔值，比如：

if (someReferenceValue?.IsWrongState() ?? false)
    return;

或者更直观的写法：

if (someReferenceValue != null && someReferenceValue.IsWrongState())
    return;

这两种写法都能让代码分析器正确识别变量的非空状态，同时实现和第二种检查等价的逻辑。

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