特罗尔森写道:
请注意!您可能在构造函数中注意到
Square并Rectangle与标准构造函数链接。原因是,如果您有一个使用自动属性语法的结构(如本例),则必须显式调用标准构造函数(从所有特殊构造函数)来初始化私有支持字段。是的,这是一个非常奇特的 C#规则,但是,毕竟本章是关于复杂主题的。
并给出如下代码作为例子:
public struct Rectangle
{
public int Width { get; set; }
public int Height { get; set; }
public Rectangle(int w, int h) : this()
{
Width = w; Height = h;
}
public void Draw()
{
for (int i = 0; i < Height; i++)
{
for (int j = 0; j < Width; j++)
{
Console.Write("*");
}
Console.WriteLine();
}
}
public override string ToString()
{
return string.Format("[Width = {0}; Height = {1}]",
Width, Height);
}
}
public struct Square
{
public int Length { get; set; }
public Square(int i) : this()
{
Length = 1;
}
public void Draw()
{
for (int i = 0; i < Length; i++)
{
for (int j = 0; j < Length; j++)
{
Console.Write("*");
}
Console.WriteLine();
}
}
public override string ToString()
{ return string.Format("[Length = {0}]", Length); }
public static explicit operator Square(Rectangle r)
{
Square s = new Square();
s.Length = r.Height;
return s;
}
}
有点不明白为什么要调用结构体的基本构造函数?
我在调试器中尝试过,所以没有注意到差异......
C# 5 及以下版本:
关键是结构构造函数的参数
this的行为就好像它被定义为out S this,这意味着this在输入构造函数时,在 C# 规范的术语中,它没有明确分配。而对于结构的其他方法,参数的this行为类似于ref S this.未明确分配的变量不能作为参数传递给方法,无论是通过值还是通过引用。事实证明,您不能在构造函数中为结构的所有字段赋值之前调用属性设置器方法( CS0188 )。
对于自动实现的属性,编译器会创建一个隐藏的支持字段来存储值,但不可能在用户代码中直接访问该字段。事实证明,在构造函数中,您不能调用自动实现的属性的分配器方法,直到您将值分配给支持字段。
事实证明这是一个恶性循环:要为隐藏的支持字段赋值,您必须调用属性设置器,但是在为隐藏的支持字段赋值之前不能调用属性设置器。默认构造函数调用用于打破这个循环。
C#6
在 C# 6 中,放宽了条件:在构造函数中,允许在自动实现的属性上调用 setter 方法,只要
this它没有明确分配,以及在明确分配的属性上调用读取器方法。放宽不适用于具有用户 ID 的属性。调用它们仍然被视为方法调用,并且在完全初始化之前是不允许的this。简而言之:编译器之前是笨拙的,现在不再需要了。
自 C# 6 以来,关于必须调用默认构造函数的规则发生了变化。
有一个通用规则:必须初始化所有字段。它没有改变。当您调用不带参数的构造函数时,它会将所有字段初始化为其默认值(
null通常为零或 )。现在看看会发生什么。当你写
为属性自动创建一个不可见的字段
Length,它实际上包含属性的值。该语言的旧版本在此代码中:
无法识别不可见字段是在构造函数结束之前初始化的,因为您只访问属性。毕竟,属性不是字段,编译器不知道调用属性设置器时到底会发生什么!因此,需要调用一个不带参数的构造函数,它肯定会按应有的方式初始化所有内容,以便编译器百分百确定。
更糟糕的是,因为编译器不知道 setter 中发生了什么,它假设 setter 可能想要读取一个尚未初始化的字段!(感谢@PetSerAl 的提醒。)
当前版本的编译器更智能,可以通过属性设置器调用识别自动生成字段的初始化。因此,如果在构造函数中初始化所有属性,现在不需要调用默认构造函数。Troelsen 的评论已过时。
请注意,您确实必须在使用前初始化所有字段。例如,这段代码将不会编译并且需要调用默认的构造函数:
像这样:
顺便说一句,编译器只对自动定义的属性变得更聪明。如果您手动定义属性,编译器不会尝试解析代码。例如,这不会编译:
因为编译器无法确定您仍在初始化该字段。