c# - 为什么未分配的局部变量不自动初始化？

Question

似乎没有办法在您的代码中包含未分配的局部变量或检查它们，因为编译器会吐出 Use of unassigned local variable 错误。

为什么编译器在编译时不对这些变量使用 default(T)？

即使对值类型做起来更难，在这种情况下引用类型也可以很容易地初始化为 null，对吧？

这是一些测试代码:

public void Test ( )
{
    int x;
    string s;

    if ( x == 5 )
        Console.WriteLine ( 5 );

    if ( s != null )
        Console.WriteLine ( "s" );
}

返回:

Use of unassigned local variable 'x'
Use of unassigned local variable 's'

更新:

对于那些声称这是不允许的有充分理由的人，为什么在类里面允许这样做？

public class C
{
    public int X;
    public string S;

    public void Print ( )
    {
        Console.WriteLine ( X );
        Console.WriteLine ( S );
    }
}

这段代码编译得很好。

为什么在类级别上可以，但在方法级别上却不行？

Answer 1

我看到你更新了你的问题，所以我会更新我的答案。您的问题分为两部分，一部分与局部变量 相关，另一部分与类实例上的实例变量 相关。然而，首先，这并不是真正的编译器设计决策，而是语言设计决策。

Spec 12.3.1/12.3.2节

局部变量

我们知道为什么你可以定义一个变量而不给它一个值。一个原因，例如这样的事情:

int x;
// do stuff
x = 5;  // Wow, I can initialize it later!
Console.WriteLine(x);

该标准定义了为什么这是有效代码。现在，我不在 C# 设计团队，但他们不自动为您初始化代码的原因很有意义(除了性能下降，而您实际上不希望它是自动初始化)。

假设上面的代码是你的本意，但是你忘记了初始化x = 5;。如果编译器自动为您初始化变量，代码会编译，但不会像您期望的那样执行任何操作。

尽管这是一个微不足道的例子，但这是语言设计者的一个非常好的设计决定，因为它可以避免许多令人头疼的事情，试图找出为什么某些东西没有按预期工作。

作为旁注，我想不出为什么你想要定义代码而不给它分配一些东西，或者使用默认值(在每种情况下)，对我来说这可能是一个错误，我确信编译器设计者可能已经确定了这一点。

类实例变量

类级别成员由最初分配的标准定义。事实上，公平地说，在 catch、foreach 或 using 语句中声明的局部变量最初是未分配的。所以说真的，这是一个标准问题，而不是编译器问题。

如果我要尝试猜测为什么类实例的实例变量会出现这种情况，我会说这与内存在堆上的分配方式有关，因为那是分配类的地方。当一个类被分配到堆上时，它的所有成员都必须被初始化并与它一起分配到堆上。不仅在类成员中执行此操作比在局部变量中执行此操作还好，必须以这种方式执行。他们只是不能未分配。