一、实例构造器和类(引用类型)
类实例构造器是允许将类型的实例初始化为良好状态的一种特殊的方法。
类实例构造器方法在"方法定义元数据表"中始终叫.ctor(代表constructor)。创建一个引用类型的实例时,首先为实例的数据字段分配内存,然后初始化对象的附加字段(类型对象指针和同步块索引),最后调用类型的实例构造器来设置对象的初始化状态。
public class SomeType { }
它等下于以下的代码:
piblic class SomeType { public SomeType () : base () { } }
如果类的修饰符是abstract,那么编译器生成的默认构造函数的可访问性就是protected;否则,构造器就被赋予public可访问性。
如果基类没有提供默认的无参构造函数,那么派生类必须显示调用一个基类构造器,否则编译器会报错。
如果类的修饰符为static,那么编译器根本不会再类的定义中生成默认的实例构造器。
Internal sealed class SomeType { private Int32 m_x = 5; }
internal sealed class SomeType { private Int32 m_x = 5; private String m_s = "Hi there"; private Double m_d = 3.14159; private Byte m_b; // Here are some constructors. public SomeType() { /* ... */ } public SomeType(Int32 x) { /* ... */ } public SomeType(String s) { /* ...; */ m_d = 10; } }
internal sealed class SomeType { // 不显示初始化下面的字段 private Int32 m_x; private String m_s; private Double m_d; private Byte m_b; // 该构造器将所有的字段都设为默认值 // 其它所有构造器显式调用这个构造器 public SomeType() { m_x = 5; m_s = "Hi there"; m_d = 3.14159; m_b = 0xff; } // 该构造器将所有的字段都设为默认值,然后修改m_x public SomeType(Int32 x) : this() { m_x = x; } // 该构造器将所有的字段都设为默认值,然后修改m_x public SomeType(String s) : this() { m_s = s; } // 该构造器将所有的字段都设为默认值,然后修改m_x和m_s public SomeType(Int32 x, String s) : this() { m_x = x; m_s = s; } }
二、实例构造器和结构(值类型)
值类型(struct)构造器的工作方式与引用类型(class)的构造器截然不同。CLR总是允许创建值类型的实例,并且没有办法阻止值类型的实例化。所以,值类型其实并不需要定义构造器,C#编译器根本不会为值类型生成默认的无参构造器。如以下代码:
internal struct Point{ pblic Int32 m_x, m_y; } internal sealed class Rectangle { public Point m_topLeft, m_bottomRight; }
为了构造一个类Rectangle,必须使用new操作符,而且必须指定一个构造器。在这个例子中,调用的是C#自动生成的默认实例构造器,为Rectangle 分配内存时,内存中包含Point值类型的两个实例。处于对性能的考虑,CLR不会为包含在引用类型中的每个值类型字段都调用一个构造器。但是,如前面提到的,值类型的字段会被初始化为0或null。
internal struct Point { // 在C#中,向一个值类型应用关键字new, // 可以调用构造器来初始化值类型的字段。 public Int32 m_x, m_y; public Point(Inte32 x, Int32 y) { m_x = x; m_y = y; } } internal sealed class Rectangle { public Point m_topLeft, m_bottomRight; public Rectangle() { m_topLeft = new Point (1, 2); m_bottomRight = new Point (100, 200); } }
好了,让我们来改变下上面的没有定义默认的无参构造器。
internal struct Point { public Int32 m_x, m_y; public Point() { m_x =m_y = 5; } } internal sealed class Rectangle { public Point m_topLeft, m_bottomRight; public Rectangle() { } }
现在我们来想象,m_x和m_y值是多少呢?是5吗?还是0?
internal struct SomeValType { //不能再值类型中内联实例字段的初始化 private Int32 m_x = 5; }
internal struct SomeValType { private Int32 m_x,m_y; //C#允许为值类型定义有参构造器 public SomeValType(Int32 x){ m_x = x; } }
//C#允许为之类定义有参构造器 public SomeValType(Int32 x){ //this代表本身实例,使用new操作符会将所有的字段初始化为0/null this = new SomeValType(); //使用x覆盖m_x的0 m_x = x; //现在y已经初始化为0了 }
注意,在引用类型的构造器中,this被认为是只读的,所以不能对它赋值。
三、类型构造器
除了实例构造器,CLR还支持类型构造器(type constructor),也称为静态构造器(static constructor)、类构造器(class constructor)等。
internal sealed class SomeRefType { static SomeRefType () { //SomeRefType 被首次访问时,执行这里的代码。 } } internal struct SomeValType { //C#允许值类型定义无参构造器 static SomeValType () { //SomeValType 被首次访问时,执行这里的代码。 } }
类型构造器总是私有的,C#编译器会自动把它们标记成private。之所以私有,是为了阻止任何有开发人员写的代码调用它,对它的调用总是由CLR负责的。
internal sealed class SomeType{ public static Int32 s_x = 5; }
虽然C#不允许值类型为它的实例字段使用内联字段初始化语法,但可以为静态字段使用。
public sealed class TypeConstructorPerformance { public static void Go() { const Int32 iterations = 1000 * 1000 * 1000; PerfTest1(iterations); PerfTest2(iterations); } // 由于这个类没有显示定义类型构造器,所以C#在元数据中 // 用BeforeFieldInit来标记类型定义 internal sealed class BeforeFieldInit { public static Int32 s_x = 123; } // 由于这个类显示定义了类型构造器,所以C#在元数据中 // 没有用BeforeFieldInit来标记类型定义 internal sealed class Precise { public static Int32 s_x; static Precise() { s_x = 123; } } // 这个方法被JIT编译时, BeforeFieldInit 和Precise 类 // 的类型构造器还没有被执行,所以这些构造器的调用将嵌入 // 这个方法的代码中,使它允许较慢 private static void PerfTest1(Int32 iterations) { Stopwatch sw = Stopwatch.StartNew(); for (Int32 x = 0; x < iterations; x++) { // JIT编译器优化调用BeforeFieldInit 的 // 类型构造器的代码,是他在循环开始之前执行 BeforeFieldInit.s_x = 1; } Console.WriteLine("PerfTest1: {0} BeforeFieldInit", sw.Elapsed); sw = Stopwatch.StartNew(); for (Int32 x = 0; x < iterations; x++) { // JIT编译器在这里生成调用Precise 类的类型构造器的代码 // 所以每次循环迭代,它都要核实一遍是否需要调用构造器 Precise.s_x = 1; } Console.WriteLine("PerfTest1: {0} Precise", sw.Elapsed); } // 这个方法被JIT编译时, BeforeFieldInit 和Precise 类的 // 类型构造器已经执行过了。所以,在这个方法的代码中,不会 // 在对这些构造器的调用,是它运行得更快 private static void PerfTest2(Int32 iterations) { Stopwatch sw = Stopwatch.StartNew(); for (Int32 x = 0; x < iterations; x++) { BeforeFieldInit.s_x = 1; } Console.WriteLine("PerfTest2: {0} BeforeFieldInit", sw.Elapsed); sw = Stopwatch.StartNew(); for (Int32 x = 0; x < iterations; x++) { Precise.s_x = 1; } Console.WriteLine("PerfTest2: {0} Precise", sw.Elapsed); } }