似乎没有办法在您的代码中包含未分配的局部变量或检查它们,因为编译器会吐出 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 );
}
}
这段代码编译得很好。
为什么在类级别上可以,但在方法级别上却不行?
最佳答案
我看到你更新了你的问题,所以我会更新我的答案。您的问题分为两部分,一部分与局部变量
相关,另一部分与类实例上的实例变量
相关。然而,首先,这并不是真正的编译器设计决策,而是语言设计决策。
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
语句中声明的局部变量最初是未分配的。所以说真的,这是一个标准问题,而不是编译器问题。
如果我要尝试猜测为什么类实例的实例变量会出现这种情况,我会说这与内存在堆上的分配方式有关,因为那是分配类的地方。当一个类被分配到堆上时,它的所有成员都必须被初始化并与它一起分配到堆上。不仅在类成员中执行此操作比在局部变量中执行此操作还好,必须以这种方式执行。他们只是不能未分配。
关于c# - 为什么未分配的局部变量不自动初始化?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7797424/