为何C# 7.3会出现本不应存在的“未赋值变量使用”编译错误？

问题代码 #

bool aBool = SomePredicate();
if (!aBool && !OutFunction(out int value))
{
    return;
}
int result = -1; //other code here...
if (!aBool && SomeCondition(result, value)) // CS0165: Use of unassigned variable 'value'.
{

}

错误原因 #

C#编译器的数据流分析是保守的局部控制流分析，它不会跨分支追踪变量间的逻辑关联（比如aBool和value的绑定关系），只会孤立检查每个变量的赋值路径：

1. 对于value，它的赋值仅发生在第一个if的条件表达式中（OutFunction(out int value)），编译器只会记录“value在这个条件分支里被赋值”，但不会推导“当!aBool为true时，value一定被赋值”的逻辑关联。
2. 当分析到第二个if中使用value的代码时，编译器无法通过aBool的状态来证明value在所有可达路径上都已赋值——哪怕我们逻辑上能确定aBool为true时不会用到value，但编译器的分析规则不支持这种基于变量取值的依赖推导，只会做简单的控制流路径检查，因此判定value可能未赋值，触发CS0165错误。

最佳解决办法 #

1. 提前声明并初始化value（推荐，兼容性好）

将value的声明移到第一个if外并赋予默认值，消除编译器对未赋值的疑虑。由于逻辑上aBool为true时不会使用value，默认值不会影响业务逻辑：

bool aBool = SomePredicate();
int value = 0; // 提前初始化默认值
if (!aBool && !OutFunction(out value))
{
    return;
}
int result = -1;
if (!aBool && SomeCondition(result, value))
{
    // ...
}

2. 重构代码收缩变量作用域（更严谨）

把依赖!aBool的代码统一放到!aBool的分支内，让编译器明确看到value在使用前必然被赋值：

bool aBool = SomePredicate();
if (!aBool)
{
    if (!OutFunction(out int value))
    {
        return;
    }
    int result = -1;
    if (SomeCondition(result, value))
    {
        // ...
    }
}
else
{
    int result = -1;
    // 不涉及value的代码逻辑
}

3. 使用null原谅运算符（C# 8.0+，不推荐滥用）

如果使用C# 8及以上版本，可以用!强制告诉编译器value已赋值，但这是绕过检查的手段，仅当你完全确认逻辑无误时使用，否则可能掩盖真实的未赋值问题：

if (!aBool && SomeCondition(result, value!))
{
    // ...
}

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