时间戳

首页 > 解决方案 > 为什么编译器会抛出错误 CS0165：使用未分配的局部变量？

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

问题描述

我把代码放在下面，还上传到了一个在线c#编译器： jdoodle.com/a/1jww 代码可以在线编译和运行，但是在我本地的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 检查肯定返回了一个非空值，并且 key 存在于字典中并且从 TryGetValue 方法返回时必须已经赋值.

因为根据文档：

被调用的方法需要在方法返回之前赋值。

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

标签： c#compiler-errors

解决方案

这是由于编译器的差异。

在这个小提琴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 规范：

由局部变量声明引入的局部变量不会自动初始化，因此没有默认值。出于明确赋值检查的目的，由局部变量声明引入的局部变量最初被认为是未赋值的。local-variable-declaration 可以包含一个 local-variable-initializer，在这种情况下，该变量仅在初始化表达式（第 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，单声道 5.10.1]

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

空条件运算符是短路的。也就是说，如果条件成员或元素访问操作链中的一个操作返回 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，单声道 5.10.1]

输出变为：

does hit

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

推荐阅读