实例构造器: (引用类型)
实例构造器是一种特殊的方法,他们负责将类型(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)类型构造器的生成代码的顺序与实例构造器中的处理方式完全相同