为何C#中空值检查对值类型不生效？编译器无法推断非空状态

先看你给出的两段代码：

引用类型可空（编译正常） #

class Value { }

Value? value = null;

if (value is not null)
{
    Value value2 = value; // 无编译错误
}

值类型可空（编译报错CS0266） #

int? value = null;

if (value is not null)
{
    int value2 = value; // CS0266: 无法将类型“int?”隐式转换为“int”
}

为什么会有这个差异？ #

问题出在这俩根本不是同一种“可空”：

• Value?是可空引用类型，它只是给普通引用类型加了个编译器层面的“可能为null”注解，底层还是Value类型。编译器的类型流分析能识别is not null的检查，自动把它当成非空的Value处理，所以直接赋值完全没问题。
• int?是可空值类型，它是Nullable<int>结构体的语法糖，本质是一个包含HasValue和Value属性的独立结构体，和int是完全不同的类型。编译器虽然能通过is not null判断出它的HasValue为true，但不会自动帮你把这个结构体拆成int——因为这属于显式转换操作，编译器不会自作主张完成这个步骤。

更符合直觉的解决办法 #

不用硬写value.Value，有几种更自然的写法：

1. 模式匹配（最推荐） #

直接在null检查时完成类型转换和赋值，一步到位：

int? value = null;

if (value is int value2)
{
    // 这里直接用value2就行，已经是int类型
}

2. 空原谅符配合隐式转换 #

如果你想保留原来的检查逻辑，用!告诉编译器“我确定这个值不为null”，就能触发隐式转换：

int? value = null;

if (value is not null)
{
    int value2 = value!; // !标记后编译器允许隐式转换
}

3. 空合并运算符（适合需要默认值的场景） #

如果想给null的情况设置默认值，用??运算符更简洁：

int? value = null;
int value2 = value ?? 0; // 若value为null则取0，否则自动转为int

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