为什么编译器会抛出错误 CS0165：使用未分配的局部变量？

Question

我把代码放在下面，也上传到了一个在线的c#编译器： jdoodle.com/a/1jww 代码可以在线编译和运行，但是在我本地的visual studio中无法编译。

我在用：

Visual Studio 2017 15.9.13，

控制台应用程序，.Net Framework 4.7.2

语言版本 c# 7.3

Microsoft (R) Visual C# 编译器版本 2.10.0.0 (b9fb1610)

下面是代码：

class Program
{
    static void Main()
    {
        Dictionary<string,int> myDict = new Dictionary<string,int>();
        myDict.Add("hello", 1);

        if (myDict?.TryGetValue("hello", out var value) == true)
        {               
            Console.WriteLine("Hello" + value.ToString());
        }
    }
}

期望在 Console.Output 中看到 Hello1 因为如果条件为真，Null-Conditional 检查必须返回一个非空值，并且键存在于字典中并且从 TryGetValue 方法返回时必须已经分配了该值.

因为根据文档：

被调用的方法需要在方法返回之前分配一个值。

---

更新：这是https://github.com/dotnet/roslyn/issues/32572 中的一个悬而未决的问题，
如果对编译器的要求包括不发出误报，我认为这是一个真正的问题/错误。我的论点：
每当 CPU 执行到 if 括号代码块内的点时，该值必须从 TryGetValue 调用返回并且不是“未分配的局部变量”。如果编译器在解释空条件运算符时无法期待赋值状态，则更简单的解决方案是将诸如“无法确定赋值状态”之类的内容作为警告而不是错误。

Answer 1

这是由于编译器的差异。

在这个小提琴https://dotnetfiddle.net/5GgGNS 中，您可以看到错误，它在单声道编译器中被省略了。

我认为该错误是有效的，因为这一行

if (myDict?.TryGetValue("hello", out var value) == true)

不能保证初始化局部变量value。

如果您将其重写为：

if (myDict?.TryGetValue("hello", out var value) == null)

它会尝试访问value.

现在，该null值（或者true在您的情况下）可能是函数的返回值，该值只能在运行时知道。

但是，由于所有变量基本上总是被初始化，它只是一个编译器特性。

另一方面，根据 C#5 规范：

由局部变量声明引入的局部变量不会自动初始化，因此没有默认值。为了明确赋值检查的目的，由局部变量声明引入的局部变量最初被认为是未赋值的。局部变量声明可能包含局部变量初始值设定项，在这种情况下，变量仅在初始化表达式（第 5.3.3.4 节）之后才被认为是明确赋值的。

但是您的代码是 C# 6。

所以我的结论是编译器对它的解释不同。Microsoft 编译器将?.运算符考虑在内。您应该将其归档为错误，或者至少找到，甚至可能在双方都找到。

论证

有趣的事实，如果您使用此代码：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text.RegularExpressions;

class Program
{
    static void Main()
    {
        //Your code goes here
        Dictionary<string,int> myDict = null;

        if (myDict?.TryGetValue("hello", out var value) == null)
        {               
            Console.WriteLine("Hello" + value.ToString());
        }
    }
}

[使用https://www.jdoodle.com/compile-c-sharp-online，mono 5.10.1]

您将看到实际的初始化default(T)工作。输出是Hello0。尽管如此，这还是很了不起的，因为由于?，而且事实myDict是null，TryGetValue不应该被调用并留下value “未初始化”。

空条件运算符是短路的。也就是说，如果条件成员或元素访问操作链中的一个操作返回 null，则链的其余部分不会执行。

来源

但是...，因为没有未初始化的变量；如果它编译，编译器将确保它的行为不是未定义的。

因此，由于在运行时value 已初始化，因此在构建时它是否是有效的编译器错误的问题仍然存在。关于代码的运行时意图（这就是错误首先出现的原因），但我认为它仍然是一个灰色区域。

请注意，根据this default(T)是不可覆盖的，这实际上不会导致它失败的情况。

通过运行这个小测试：

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text.RegularExpressions;

class Program
{
    static void Main()
    {
        //Your code goes here
        Dictionary<string,int> myDict = null;

        if (myDict?.Bar(out var test) == null)
        {               
            Console.WriteLine("does hit");
        }
    }
}

static class Foo
{
    public static object Bar(this Dictionary<string,int> input, out int test)
    {
        test = 3;
        Console.WriteLine("does not hit");
        return 1;
    }
}

[使用https://www.jdoodle.com/compile-c-sharp-online，mono 5.10.1]

输出变为：

does hit

您可以验证?.操作员的正确运行时行为。