二十：构造器之二：实例构造器和结构（值类型）

值类型不像引用类型那样，必须要有构造器，所以编译器不会为值类型生成无参构造器。如下代码：

internal struct Point

{

public Int32 x, y;

}

internal sealed class RefType

{

public Point left, right;

}

为了构建引用类型RefType的实例，必须使用new操作符，并且必须指定一个操作符，在为RefType分配内存时，内存中包含的值类型的两个字段left和right，出于性能方面的考虑，CLR不打算为包含在引用类型内部的每个值类型字段都调用构造器，但CLR会确保值类型的所有字段都会被初始化为0或者null。

CLR也允许在值类型上定义构造器，但是执行必须显示的调用这些构造器，如下所示：

internal struct Point

{

public Int32 x, y;

public Point(Int32 x, Int32 y)

{

this.x = x;

this.y = y;

}

}

internal sealed class RefType

{

public Point left, right;

public RefType()

{

left = new Point(1,2);

right = new Point(100, 200);

}

}

如果RefType的构造器没有使用new操作符来调用Point的构造器来初始化RefType的left和right字段，那么这两个字段中的x和y字段都将为0。再看下面代码：

internal struct Point

{

public Int32 x, y;

public Point()

{

x = y = 10;

}

}

internal sealed class RefType

{

public Point left, right;

public RefType()

{

}

}

现在构建RefType类的实例时，left和right中的x和y字段的值是0还是10呢？C#编译器不允许值类型定义无参的构造器，所以编译不通过。

再看以下代码：

internal struct Point

{

public Int32 x=10；

}

编译也不能通过，因为我们不能用这种方式来初始化值类型的字段。

internal struct Point

{

public Int32 x, y;

public Point()

{

x = 10;

}

}

编译也不能通过，因为构造器必须初始化值类型的所有字段。