编译器错误地指示使用未分配的局部变量错误[重复]

Question

鉴于此代码：

private void TryIt(Dictionary<int, int> myDict)
{
    if (myDict?.TryGetValue(1, out int myValue) ?? false)
    {
        Console.Out.WriteLine(myValue); // <-- Error CS0165
    }
}

c# 编译器发出：

error CS0165: Use of unassigned local variable 'myValue'

但是当TryGetValue() 的调用被?. 操作符跳过时，显然不可能引用myValue。这是因为生成的null 被?? false 转换为false。

换句话说，如果myDict 是null，?. 运算符将跳过对TryGetValue() 的调用，而使myValue 未分配。我明白了。

但是?? 运算符将始终评估空传播到false，在这种情况下阻止进入 if 块。

这在编译时很明显，那么为什么会出现错误？

我怀疑这可能与所有这些语法糖最终如何解开到实际的 .NET p 代码中有关，但出错似乎仍然是错误的......

当不使用 .? 运算符时，我没有收到任何错误，这是预期的：

    if (myDict.TryGetValue(1, out int myValue))
    {
        Console.Out.WriteLine(myValue); // <-- NO ERROR
    }

只是当我将.? 与?? false 一起使用时。

Answer 1

“但显然不可能……”

这是正确的，但编译器没有深入跟踪逻辑。

编译器可以推断出这一点，但请注意 myValue 的范围超出了 if 语句：

if (myDict?.TryGetValue(1, out int myValue) ?? false)
{
    Console.Out.WriteLine(myValue); // <-- Error CS0165
}
Console.Out.WriteLine(myValue); // myValue is in scope here

因此，尽管您可能希望编译器找出所有 ?. 和 ?? 逻辑，并且 if () { ... } 中的代码是一个特殊情况，但显然这是一个被认为不够重要的功能.

myDict?.TryGetValue(1, out int myValue) 并不总是分配给myValue。