合并空值检查与模式匹配的if语句时出现编译警告问题咨询

这个问题其实和C#编译器的确定性赋值分析以及模式匹配变量的作用域规则有关，我来给你拆解清楚：

先看没问题的写法 #

你最初的代码：

dynamic foo = GetFoo(); 
if (foo != null) { 
    if (foo is Foo i) { 
        Console.WriteLine(i.Bar); 
    } 
}

这里的逻辑很清晰：第一个if确保foo不为null，第二个if用模式匹配foo is Foo i——只有当foo确实是Foo类型时，才会进入内部代码块，此时编译器能100%确定变量i已经被成功赋值（绑定到foo的转换结果），所以不会有任何警告。

合并条件后出问题的原因 #

当你把两个条件用&&合并后：

dynamic foo = GetFoo(); 
if (foo != null && foo is Foo i) { 
    Console.WriteLine(i.Bar); 
}

虽然逻辑上和分开的if完全等价，但C#编译器的确定性赋值分析规则有个限制：它不会把&&左侧的foo != null作为右侧模式匹配的“前置担保”来推断i的赋值状态。

简单说，编译器的分析逻辑是：对于&&连接的复合条件，它不会追踪左侧条件对右侧模式变量的影响，因此会认为存在一种（逻辑上不可能的）场景：即使整个条件为真，i也可能未被赋值，于是抛出Use of unassigned local variable 'i'的警告。

最优解决方案：去掉多余的null检查 #

其实你完全不需要提前检查foo != null——因为foo is Foo i这个模式匹配表达式本身就会处理null的情况：如果foo是null，这个表达式直接返回false，不会进入代码块，i也不会被创建。所以最简洁且无警告的写法是：

dynamic foo = GetFoo(); 
if (foo is Foo i) { 
    Console.WriteLine(i.Bar); 
}

这样既保留了原有的逻辑（只在foo非null且是Foo类型时执行代码），又避免了编译器的警告。

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