能否结合[NotNullWhen(true)]与??运算符链式处理变量？

我有多个签名如下的方法：

public static bool IsThisTrueN([NotNullWhen(true)] int? n)

我希望按如下方式使用它们：

var result = IsThisTrue1(out var n1) || IsThisTrue2(out var n2);
var n = n1 ?? n2;

编译器提示n2是未赋值的局部变量，但只有当IsThisTrue1返回true时，布尔表达式短路，IsThisTrue2不会执行，此时n1必然非空，??运算符会选择n1。

请问能否用类似简洁的写法让这段代码运行？能否让编译器忽略该警告？或者我的写法存在严重缺陷，可能导致未赋值变量被赋值给n？

解决方案与分析 #

1. 调整写法让编译器正确识别（推荐） #

编译器的静态分析无法关联||的短路逻辑和??的取值逻辑，所以会抛出警告。可以改成明确的分支结构，既消除警告又提升可读性：

int? n;
bool result;
if (IsThisTrue1(out var n1))
{
    result = true;
    n = n1;
}
else if (IsThisTrue2(out var n2))
{
    result = true;
    n = n2;
}
else
{
    result = false;
    n = null; // 或根据业务需求设置默认值
}

如果想尽量保持简洁，也可以拆分逻辑让编译器明确变量赋值状态：

bool is1True = IsThisTrue1(out var n1);
bool is2True = !is1True && IsThisTrue2(out var n2);
var result = is1True || is2True;
var n = is1True ? n1 : n2;

这种写法让编译器能清晰判断：n2只有在is1True为false时才会被使用，此时它已经完成赋值。

2. 抑制编译器警告（不推荐） #

可以通过编译指令临时屏蔽未赋值变量的警告，用完后恢复：

#pragma warning disable CS0165
var result = IsThisTrue1(out var n1) || IsThisTrue2(out var n2);
var n = n1 ?? n2;
#pragma warning restore CS0165

但这种做法不推荐，因为它会掩盖真正的未赋值风险，后续代码修改时容易引入隐藏bug。

3. 写法的缺陷分析 #

你的逻辑本身没有运行时缺陷——只要短路逻辑正常生效，n2不会被读取。但编译器的静态分析只会检查变量被读取前是否可能未赋值，无法验证这种关联逻辑。从维护角度看，这种写法可读性差，后续修改代码时如果不小心破坏了短路逻辑，很容易触发真正的未赋值错误。

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