C＃实例构造器，类型构造器 －笔记

实例构造器: （引用类型）

实例构造器是一种特殊的方法,他们负责将类型(Class) 的实例初始化到一个良好的状态.对于可验证的代码,CLR要求每个类(引用类型)至少定义一个实例构造器。（可以是公开或私有）

在创建一个实例时系统将执行以下三个步骤：
1）首先为改实例分配内存；
2）然后初始化对象的附加成员（即方法表指针和一个SyncBlockIndex）；
3）最后调用类型的构造器设置对象的初始状态。

在默认情况下，如果我们没有显式为其定义实例构造器，许多编译器（包括C＃）都会为我们定义一个共有的无参构造器。


//C# 编译器会为我们自动的定义一个默认的公有无参构造器


class SomeType




...{


}




//上面的类型定义等同于下面的类型定义




class SomeType




...{


public SomeType()




...{


}


}

一个类型可以定义多个实例构造器，每个构造器都必须有一个不同的签名。

多个构造器可以有不同的访问限制。

一个类的实例构造器在访问其积累的继承字段之前，必须调用基类的实例构造器。
（许多编译器，包括C＃，都会自动产生对积累默认构造器（如果有的话）的调用代码，所以一般情况下，我们不用担心这个问题。

在少数情况下，类型实例的创建不需要调用实例构造器。例如：
1）调用Object的MemberwiseClone方法。
2）在反序列化一个对象时，通常也不会调用构造器。


class SomeType




...{


Int32 x=5;


String s="Hello";


Double d= 3.14;


Byte b;




//下面是一些构造器




public SomeType() ...{...}




public SomeType(Int32 x) ...{...}


public SomeType(String s(...,d=10;)




}

当编译器为以上三个构造器方法产生代码时的步骤：
1）每个方法的开始出都将包括 x, s, d 的初始化的代码。
2）在这些初始化代码之后，编译器才会为各个构造器添加出现在其中的代码。
例如：对于接受String参数的那个构造器，编译器产生的代码首先时初始化x,s,d, 然后才是将10赋值给d。

* 如果我们有一些需要初始化的实例字段，以及有许多重载的构造方法，我们应该考虑在定义字段的时候避免同时对他们进行初始化，相反，我们应该将这些公共的初始化语句放在一个初始化构造器中。然后让其他的构造器显式调用这个初始化构造器，这将有效减少生成代码的尺寸。

以上代码可以改为


class SomeType




...{


Int32 x;


String s;


Double d;


Byte b;




//下面是一些构造器


public SomeType()




...{


x=5;


s="Hello";


d=3.14;


}


public SomeType(Int32 x) :this()




...{ this.x=x; }




public SomeType(String s):this()




...{


this.s=s;


d=10;


}




}

实例构造器：（值类型）

1）CLR没有强制要求值类型中必须定义构造器方法。
2）CLR允许我们位置类型定义构造器。
（注意：但C＃不允许我们为一个值类型定义无参构造器）－编译器会抛出出错提示。
3）一个值类型的实例构造器只有当被显式调用时才会执行。（与引用类型的实例构造器不同）


struct SomeValType




...{


Int32 x，y;




public SomeValType(Int32 x) ...{


this.x=this.y=x;


}


}


//正确的定义






class Ra ...{


public SomeValType val;


public Ra()




...{


val= new SomeValType(1);


}


}


//必须显式使用构造器。




//以下是错误内容




struct SomeValType




...{


Int32 x=5；


}


//错误：因为C＃不允许值类型有无参构造器，在编译时会出错：结构中不能有实例字段初始值设定项




struct SomeValType




...{


Int32 x，y;




public SomeValType(Int32 x) ...{


this.x=x;


}


}


//错误：y没有被初始化，C＃编译器抛出错误：。。。在控制离开构造器前，字段SomeValType.y必须完全赋值。

类型构造器（又成为静态构造器，类构造器）

1）默认情况下，一个类型中没有定义类型构造器。
2）如果要定义类型构造器，也只能定义一个。
3）并且，类型构造器不能有任何参数


//当SomeType第一次被访问是执行


class SomeType




...{


static Int32 x;


static SomeType()




...{


x=10;


}


}


struct SomeType




...{


static Int32 x;


static SomeType()




...{


x=10;


}


}

4）类型构造器必须是static,而且总是私有方式（默认只能由CLR完成，不能显式指定）
5）类型构造器中的代码只能访问类型的静态字段，并且通常他的目的就是初始化这些静态字段。
6）注意：类型构造器不应该调用其基类型的类型构造器。
不需要这样作是因为基类型中的静态字段并没有被派生类型所继承（而只是编译时静态绑定）
7）类型构造器的生成代码的顺序与实例构造器中的处理方式完全相同