我一直想知道为什么在下面的例子中可以不初始化实例字段（依赖于它将有它的默认值）并访问它，而局部变量显然是必须初始化，即使我将它初始化为默认值，它还是会得到......
public class TestClass
{
private bool a;
public void Do()
{
bool b; // That would solve the problem: = false;
Console.WriteLine(a);
Console.WriteLine(b); //Use of unassigned local variable 'b'
}
}
【问题讨论】：
对于局部变量，编译器对流程有很好的了解——它可以看到变量的“读取”和变量的“写入”，并证明（在大多数情况下）第一次写入将发生在之前第一次阅读。
实例变量并非如此。考虑一个简单的属性——你怎么知道有人在得到它之前是否会设置它？这使得强制执行明智的规则基本上是不可行的 - 所以您必须确保在构造函数中设置了 all 字段，或者允许它们具有默认值。 C# 团队选择了后一种策略。
【讨论】：
实例变量有一个默认值。来自 C# 3.0 规范：
5.1.2.1 类中的实例变量
一个类的实例变量来了 当一个新的实例存在时 该类已创建，并停止 没有引用时存在 该实例和该实例的 终结器（如果有）已执行。
实例的初始值 类的变量是默认值 变量类型的值（§5.2）。
为了明确分配 检查，一个实例变量是 被认为是最初分配的。
【讨论】：
这是一个编译器限制。编译器试图阻止您尽可能使用未分配的变量，这是一件好事，因为使用未初始化的变量曾经是旧 C 代码中错误的常见来源。
然而，编译器无法知道实例变量是否在您点击该方法调用之前被初始化，因为它可以由任何其他方法设置，外部代码可以按任何顺序调用该方法。
【讨论】：
隐式构造函数为您初始化实例变量。即使您指定了一个 c'tor 但没有初始化一个字段，它也会作为在堆上创建对象的一部分为您完成。堆栈局部变量并非如此。
【讨论】：
它受 C# 中的明确赋值规则约束。变量在被访问之前必须明确赋值。
5.3 明确赋值
在函数成员的可执行代码中的给定位置，如果编译器可以通过特定的静态流分析（第 5.3.3 节）证明该变量已自动初始化，则称该变量已被明确赋值或者是至少一项任务的目标。
5.3.1 初始赋值变量
以下类别的变量被归类为初始分配：
静态变量。
类实例的实例变量。
最初分配的结构变量的实例变量。
数组元素。
值参数。
参考参数。
在 catch 子句或 foreach 语句中声明的变量。
5.3.2 最初未赋值的变量
以下类别的变量被归类为最初未赋值：
最初未分配的结构变量的实例变量。
输出参数，包括struct实例构造函数的this变量。
局部变量，在 catch 子句或 foreach 语句中声明的变量除外。
【讨论】：
当为新对象实例分配一块内存时，运行时会在整个块中写入零，确保新对象以已知状态开始 - 这就是为什么整数默认为 0，双精度数默认为 0.0，指针& 对 null 的对象引用，等等。
理论上，可以对作为方法调用的一部分分配的堆栈帧执行相同的操作。虽然开销会很高 - 它会极大地减慢对其他方法的调用速度，因此不会尝试。
【讨论】：
这实际上只是警告能够告诉你什么的问题。警告确实无法确保其他方法没有初始化类变量，因此它只会警告可以确定未初始化的方法。
此外，这是一个警告而不是错误，因为使用未分配的变量在技术上没有任何问题（保证为“假”），但未分配它可能是一个逻辑错误。
【讨论】：