C#中if判空后可空类型是否支持非空类型提升？有何限制？

核心结论 #

C# 具备和Dart逻辑类似的空检查后类型窄化（非空提升）能力，但该能力依赖可空上下文（Nullable Context） 开关，且存在明确的适用场景限制，判空后类型不提升的问题基本都和开关未开启、触发了静态分析限制有关。

功能开关说明 #

可空类型的静态流分析、非空提升能力不是默认全局开启的，开启方式有两种：

• 项目级开启：在项目.csproj文件的PropertyGroup节点下添加配置<Nullable>enable</Nullable>，对整个项目生效。注意.NET 6及以上版本的新项目默认开启该配置，.NET 5及更早版本的项目默认关闭。
• 代码片段级开启：在需要生效的代码文件顶部添加预处理指令#nullable enable，仅对该指令之后到#nullable restore之前的代码段生效。

未开启可空上下文时，编译器完全不执行可空性静态分析，自然不会对判空后的变量做非空类型提升，这也是示例代码报错的最常见原因。

支持非空提升的场景 #

开启可空上下文、使用C# 10及以上版本编译器（对应VS2022、.NET 6+ SDK）时，以下场景编译器都会正确执行非空类型提升：

• 直接空判断：包括if (x != null)、if (x is not null)、提前返回写法if (x is null) return;，判断通过后的代码块内x会被识别为非空类型。
• 类型模式匹配：if (x is 目标类型 局部变量名)写法（比如示例中可写if (result is eColours nonNullResult)），不仅会校验非空，还会直接将转换后的非空值存入声明的局部变量，是兼容性最好的写法。
• switch语句/switch表达式：匹配非空条件的分支内，匹配的变量会自动提升为对应非空类型。
• 多条件与连接：if (a != null && b != null)这类纯空检查的&&子句，只要变量是局部变量、子句之间没有修改变量的操作，两个变量都会在块内被提升为非空类型。

常见的提升失效限制 #

以下场景编译器不会执行非空提升，属于语言静态分析的设计规则，不是bug：

• 判空目标不是局部变量：如果判空的是类的字段、属性，编译器无法保证判空后到使用变量前，字段/属性不会被其他逻辑（包括多线程并发操作）修改为null，因此不会做提升。
• 判空与使用之间存在不可信操作：如果判空后调用了没有添加可空性特性标注的第三方方法、自定义方法，编译器无法确认该方法是否会修改外部变量状态，会判定之前的空检查结果失效，取消非空提升。
• 空检查逻辑无法被编译器识别：如果使用重载过的==运算符做判空、或者用自定义的扩展方法做判空但没有给方法添加对应的可空性特性标注，编译器识别不到这是空检查逻辑，自然不会触发提升。
• 使用老版本编译器：C# 8、C# 9的早期编译器对可空值类型（即Nullable<T>类型，包括所有可空枚举、可空基础值类型）的流分析存在已知缺陷，部分is not null判断场景会漏做类型提升，升级编译器版本即可解决。

问题修复方案 #

针对提供的示例代码，只要开启可空上下文，if (result is not null)块内的result就会被正确识别为非空的eColours类型，调用describeColour不会产生编译错误。
如果遇到提升失效的场景，可以用两种方式绕开限制：

1. 使用空原谅运算符!显式告知编译器此处值确定非空，可空值类型也可以直接取.Value获得非空值，示例：

   if (result is not null) {
     var description1 = obj.describeColour(result.Value);
   }
   

2. 用类型模式匹配直接声明非空局部变量，该写法在所有支持可空上下文的编译器版本下都稳定生效，不受字段/属性分析限制影响，多条件判空场景也适用：

   if (colour is eColours nonNullColour && pet is PetType nonNullPet)
   {
       // 块内直接使用nonNullColour、nonNullPet两个非空局部变量即可
   }
   

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