十九：构造器之一：实例构造器和类（引用类型）
构造器是一种允许将类型实例初始化为有效状态的特殊方法，构造器方法在方法定义元数据表中被称为.ctor。
创建引用类型的实例时，首先为实例的数据字段分配内存，接着初始化对象的系统开销字段（类型对象指针和同步块索引），最后调用类型的实例构造器设置对象的初始状态。
创建引用类型对象时，在调用类型的实例构造器之前，为对象分配的内存始终被清零，构造器没有显示赋值的所有字段保证都有一个0或null值。
实例构造器不能被继承，也就是说，类只能有自己定义的构造器，不能继承父类的，所以构造器不能用以下修饰符：virtual,new,override,sealed,abstract。
编译器为我们自动的生成一个无参构造器，该构造器的实现只是为了调用基类的无参构造器。
如果类的修饰符为abstract，那么编译器生成的默认构造器的可访问性为protected，否则，构造器的可访问性为public。如果基类没有提供无参构造器，那么派生类必须显式地调用基类的构造器。如果类的修饰符为static,sealed和abstract，编译器就不会在类的定义中生成一个默认的构造器。
一个类型可以定义多个实例构造器，而且每个构造器可以有不同的可访问性。
C#语言还提供了一种简单的语法，允许在构建类型实例的过程中初始化类型中定义的字段，如下：
internal sealed class SomeType
{
private Int32 m_x = 10;
}
构建SomeType对象时，SomeType对象的m_x字段将被初始化为10，查看一下SomeType的构造器方法（.ctor）的中间语言，如下图：
可以看到SomeType先把10存储到m_x字段，接着它又调用了基类构造器，也就是说C#编译器提供了这种更方便的语法来内联初始化实例字段，并且将这个语法转换成构造器方法中的代码来执行初始化，这时候就要注意到代码膨胀效应，看下面代码：
internal sealed class SomeType
{
private Int32 m_x = 10;
private String m_s = "test";
private Double m_d = 3.141519;
private Byte m_b;
public SomeType() { }
public SomeType(Int32 x) { }
public SomeType(String s)
{
//...
m_d = 10;
}
}
编译器为上述三个构造器方法生成代码时，每个方法入口都包含初始化m_x，m_s，m_d的代码，在这些代码初始化之后，编译器将构造器方法中的代码附加到方法后面。如果有几个已初始化的实例字段和许多重载的构造器方法，应考虑在定义字段时避免同时对它们进行初始他，而是将这些公共初始化语句放在一个单独的构造器中，然后让其它构造器来显式的调用这个公共初始化构造器，这样减少所生成的代码大小，以下例子就是用this关键字来调用另一个构造器的方法示例：
internal sealed class SomeType
{
//不要显示的初始化下面字段
private Int32 m_x;
private String m_s;
private Double m_d;
private Byte m_b;
//该构造器将所有的字段都设为默认值，其它构造器必须显式的调用这个构造器
public SomeType()
{
m_x = 10;
m_s = "test";
m_d = 3.141519;
m_b = oxff;
}
//该构造器首先将所有字段都设为默认值，然后再修改m_x
public SomeType(Int32 x)
: this()
{
m_x = x;
}
//该构造器首先将所有字段都设为默认值，然后再修改m_s
public SomeType(String s)
{
m_s = s;
}
//该构造器首先将所有字段都设为默认值，然后再修改m_x和m_s
public SomeType(Int32 x, String s)
: this()
{
m_x = x;
m_s = s;
}
}
