解析C#类中的构造函数

《解析C#类中的构造函数》

一．  C#中的构造函数概述：

C#中类包含数据成员和函数成员。函数成员提供了操作类中数据的某些功能，包括方法、属性、构造器和终结器、运算符和索引器。

1. 构造函数设计的定义：

   构造器是允许将类型的实例初始化为良好状态的一种特殊方法。

1. 2.    构造函数设计的作用：

c#中创建一个引用类型的实例时，首先为实例的数据字段分配内存，然后初始化对象的附加字段（类型对象指针和同步块索引），最后调用类型的实例构造器来设置对象的初始化状态。

1. 3.    对类没有定义任何共有的或受保护的构造器，导致该类不能使用new在外部代码中实例化，此方式的作用：

     (1).类仅用作某些静态成员或属性的容器，因此永远不会实例化它。

(2).希望类仅通过调用某个静态成员函数来实例化（对象实例化工厂方法）

  4.基类构造函数的使用：

  编译器在调用基类的构造器前，会初始化任何使用了简化语法的字段，以维持源代码给人留下的“这些字段总是有一个值”的印象，如果基类的构造器调用了一个虚方法，它回调派生类中定义的一个方法，就可能出现问题。在这种情况下，用简化语法来初始化的字段在虚方法调用之前就已经初始化了。

二．  C#类中构造函数的分类：

1. 1.    实例构造函数：

(1).实例构造函数概述：

声明一个与包含的类同名的方法，该方法没有返回类型。【如果没有提供任何构造函数，编译器会在后台创建一个默认的构造函数】

(2).实例构造函数的作用：

A.把所有的成员字段初始化为标准的默认值。

B. 构造引用类型的对象时，在调用类型的实例构造器之前，为对象分配的内存总是先被归零，构造器没有显示重写的所有字段保证都有一个0或null值。实例构造器永远不能被继承。

C. 为了使代码“可验证”，类的实例构造器在访问从基类集成的任何字段之前，必须先调用基类的构造器。如果派生类的构造器没有显示调用一个基类构造器，C#编译器会自动生成对默认的基类构造器的调用。

1. 2.    静态构造函数：

(1).静态构造函数概述：

静态构造函数（类型构造器、类型初始化构造器）：静态构造函数（类型构造器）不能含有参数，没有修饰符，只能编写无参数的构造函数，这种构造函数只能执行一次，一个类也只能有一个静态构造函数，当前面的构造函数是实例构造函数，只要创建类的对象，就会执行它。

 (2).静态构造函数运行原理：

.NET运行库没有确保什么时候执行静态构造函数，所以不应该把要求在某个特定时刻执行的代码放在静态构造函数中。也不能预计不同类的静态构造函数按照什么顺序执行。

(3).静态构造函数的调用：

静态构造函数没有访问修饰符，其他C#代码从来不调用它，但是在类加载时，总是又.NET运行库调用它。静态构造函数只能访问类的静态成员，不能访问类的实例成员。

 3.构造函数使用范围：

    (1).无参数的实例构造函数与静态构造函数可以在同一类中同时定义，有参的实例构造函数与静态构造函数也可以在同一类中同时定义。【在类加载时执行静态构造函数，而在创建实例时执行实例构造函数】

    (2). C#编译器不允许值类型（结构）定义无参数的构造器，所以编译器永远不会生成自动调用它的代码，没有无参数构造器，值类型（结构）的字段总是被初始化为0或null。【C#不允许值类型（结构）定义无参数的构造器，但是CLR允许。C#运行值类型（结构）定义有参数的构造器】

三．  C#类中替代构造函数的方式：

1.在极少数情况下，可以在不调用实例构造器的前提下创建一个类型的实例。使用Object的MemberwiseClone方法，该方法的作用是分配内存，初始化对象的附加字段（类型对象指针和同步块索引），然后将源对象的字节数据复制到新对象中。

2.在用运行时序列化器反序列化对象时，通常也不需要调用构造器，反序列化使用FormatterService类型的GetUninitialzedObject或者GetSafeUninitializedObject方法为对象分配内存，期间不会调用一个构造器。

四．  C#类中构造器的使用情形：

1.静态构造函数的使用：

     类中有一些静态字段或属性，需要在第一次使用类之前，从外部源中初始化这些静态字段和属性。

2.构造函数的调用：

在C#类中，构造器可以调用其他构造器。C#构造函数初始化器可以包含对同一类的另一个构造函数的调用，也可以包含对直接基类的构造函数的调用。初始化器中不能有多个调用。【使用this关键字实现初始化器，调用参数最匹配的那个构造器】构造函数初始化器在构造函数的函数体之前进行。

五．  C#类中类型构造器的性能：

   1.     类型构造器的调用：

JIT编译器必须决定是否生成代码来调用它，而CLR必须确保对它的调用是线程安全的。

1. 2.     JIT编译器在生成一个对类型构造器的调用，这个调用添加的位置情况：

(1).JIT编译器可以刚好在创建类型的第一个实例之前，或者刚好在访问类的一个非继承的字段或成员之前生成这个调用。即为精确语义。

(2).JIT编译器可以在首次访问一个静态字段或者一个静态/实例方法之前，或者在调用一个实例构造器之前，随便找一个时间生成调用。即为字段初始化前语义。

   3. .JIT对调用的位置选择：

“字段初始化前”语义是首选的，因为它使CLR能够自由选择调用类型构造器的时机，而CLR会尽可能地利用这一点来生成运行得更快的代码。

4.C#编译器如果看到一个类（BeforeFieldInit）包含进行了内联初始化的静态字段，会在类的类型定义表中生成一个添加了BeforeFiledInit元数据标记的记录项。C#编译器如果看到一个类包含显示的类型构造器，就不会添加BeforeFiledInit元数据标记。【静态字段只要在访问之前初始化就可以了，具体什么时间无所谓。而显式类型构造器可能包含具有副作用的代码，所以需要在精确拿捏运行的时间】