if 子句中的可选空合并 [重复]

Question

我的一位同事刚刚遇到了一个有趣的问题。我用下面的简单示例代码重新创建了这个问题。问题是编译器抱怨i在第三行使用时可能没有被赋值。

我知道GetProperty 不会被执行，如果o 是null，那么i 将不会被初始化，但在这种情况下我也不会评估int i2 = i;。是否有一些关于选项或空合并操作符的东西我不知道这与这里相关，或者这只是编译器不够聪明的情况，无法知道i 如果未初始化则不使用？

void Test(object o) {
    if (o?.GetProperty("Blah", out int i) ?? false) {
        int i2 = i;
    }
}

Answer 1

您将 Null Conditional Access 与 o? 一起使用，这意味着（只要 o 为空）GetProperty 可能不会被调用。

这引入了未初始化的i 的可能性。因为在o 为空的情况下不会调用out int i。

可以通过删除空条件访问来测试代码

void Test(SomeClass o) {
    if (o.GetProperty("Blah", out int i) ?? false) {
        int i2 = i; //no-compiler error 
    }
}

在上述方法中，GetProperty 方法总是被调用，因此i 总是被初始化和赋值。

---

另一方面，您的代码无法编译，object o 本身没有 .GetProperty 方法

---

if (o?.GetProperty("Blah", out int i) ?? false)

可以扩展为

if (o != null)
{
     if (o.GetProperty("Blah", out int i))
     {
     }
}
else
{
     //i is not defined in this context //
}