C# 11/.NET 7：Nullable值类型is检查后的可空性行为疑问

这是刻意设计的行为，背后的设计原因主要有三点：

1. 两类可空类型的本质差异 #

可空引用类型（如CheckClass?）是编译时的“软约束”语法糖，底层仍是普通引用类型。当执行arg is CheckClass时，编译器仅做非空检查，通过后会自动对arg做非空提升，允许直接返回原变量。

而Nullable<T>（如int?）是实实在在的泛型结构体，包含HasValue和Value两个成员。arg is int仅能判断arg是否有值，但arg的静态类型依然是int?，编译器不会自动帮你完成结构体到值类型的解包——这是因为值类型的转换是显式操作，必须明确通过.Value或模式匹配来获取底层值。

2. 带变量的is表达式的特殊语义 #

当使用arg is int val这种模式匹配语法时，编译器会触发解构提取逻辑：它不仅验证arg有值，还会自动将arg.Value赋值给val，此时val的类型就是非可空的int，自然可以直接返回。这种设计是为了简化模式匹配的使用流程，避免开发者重复写.Value的冗余代码。

3. 维持类型系统的严谨性 #

编译器对Nullable<T>刻意区分了“判断存在性”和“获取非空值”两个操作。如果在arg is int后自动将arg转为int，会模糊结构体的类型边界——毕竟arg的静态类型仍是int?，隐式转换可能让开发者忽略其可空本质。而带变量的模式匹配是明确的“提取非空值”操作，语义更清晰，也符合类型系统的严谨性要求。

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