C#在类型实例化时都干了什么

2019独角兽企业重金招聘Python工程师标准>>>

首先我们都知道，对于类对象，在执行构造函数之前，我们需要使用关键字new来为新实例分配内存。new可以根据对象的类型来为其在堆上分配足够的 空间，并且将这个对象的所有字段都设为默认值。也就是说，CLR会把该对象的所有引用类型字段设为null，而把值类型字段的所有底层二进制表示位设为 0（本质上来说，不论是将值类型或引用类型字段初始化为“默认值”，其实都是把他们底层的数据位设为0）。这是任何类对象实例化的第一步。商账追收

我们暂且先不考虑对象有指定基类的情况，先看看下面的代码吧：

class MyClass{ static MyClass() { Console.WriteLine( " 静态构造函数被调用。 " ); } private static Component staticField = new Component( " 静态字段被实例化。 " ); private static Component instanceField = new Component( " 实例成员字段被实例化。 " ); public MyClass() { Console.WriteLine( " 对象构造函数被调用。 " ); } }

// 此类型用于作MyClass类的成员 // 此类型在实例化的时候可以再控制台输出自定义信息，以给出相关提示 class Component { public Component(String info) { Console.WriteLine(info); } } class Program { static void Main(string[] args) { MyClass instance = new MyClass(); } } 

很显然，静态构造函数和静态字段的构造函数会首先被调用。因为CLR在使用任何类型实例之前一定会先装载该类型，也就需要调用静态构造函数并且初始 化静态成员。但是，到底是先初始化静态成员呢，还是调用静态构造函数呢？答案是初始化静态成员，因为CLR必须保证在执行构造函数的方法体时，相关的成员 变量应该都可以被安全地使用。同样的道理也适用于实例构造函数和字段，也就是说对象成员的实例化会先于成员构造函数被执行。顺便说一句，类定义直接初始化 类\对象字段的功能是由类\对象初始化器完成的。以下是实例化MyClass对象时控制台的输出：发型123

静态字段被实例化。 静态构造函数被调用。 实例成员字段被实例化。 对象构造函数被调用。

接下来，我们看看如果对象有指定的基类的情况：

class Base { static Base() { Console.WriteLine( " 基类静态构造函数被调用。 " ); }

 

private static Component baseStaticField = new Component( " 基类静态字段被实例化。 " ); private Component baseInstanceField = new Component( " 基类实例成员字段被实例化。 " ); public Base() { Console.WriteLine( " 基类构造函数被调用。 " ); } } // 此类型用作派生类，同基类一样，它也包含静态构造函数，以及静态字段、实例成员字段各一个。 class Derived : Base { static Derived() { Console.WriteLine( " 派生类静态构造函数被调用。 " ); } private static Component derivedStaticField = new Component( " 派生类静态字段被实例化。 " ); private Component derivedInstanceField = new Component( " 派生类实例成员字段被实例化。 " ); public Derived() { Console.WriteLine( " 派生类构造函数被调用。 " ); } } // 此类型用于作为Base类和Derived类的成员 // 此类型在实例化的时候可以在控制台输出自定义信息，以给出相关提示 class Component { public Component(String info) { Console.WriteLine(info); } } // 在主程序里实例化了一个子类对象 class Program { static void Main( string [] args) { Derived derivedObject = new Derived(); } }

类似于上个例子里的MyClass，这里的子类Derived和基类Base都有静态构造函数，也包含静态和实例成员各一个。当实例化一个子类Derived对象的实例时，输出的结果可能并不容易想到：

派生类静态字段被实例化。 派生类静态构造函数被调用。 派生类实例成员字段被实例化。 基类静态字段被实例化。 基类静态构造函数被调用。 基类实例成员字段被实例化。 基类构造函数被调用。 派生类构造函数被调用。

从结果我们可以看出，派生类的静态字段初始化，静态构造函数调用，实例成员字段初始化都会先于基类的任何初始化动作被执行。对于派生类静态部分先被构造这一点比较容易理解，因为毕竟在CLR装载派生类Derived之前，基类Base还未被使用过，也就不会先被装载。

但是，为什么派生类的实例成员字段会在基类被构造之前被初始化呢？答案和虚函数有关。试想有这么一个基类，它在构造函数中调用了一个虚方法。然后又 有这么一个派生类，它重写了基类的那个虚方法，并且在这个虚方法中访问了它自己的一个实例成员字段。这一切都是完全合法的（至少在C#的世界里是这样 的），对吧？在实例化一个派生类对象的过程中，其基类的构造函数会被调用，接着那个虚方法也会被调用，再接着派生类的实例成员字段会被访问。所以此时此 刻，这个类的实例成员字段必须是已被准备好了的！因此，派生类的实例成员字段必须先于基类部分被构造。

好了，再回到我们的例子。剩下的部分很容易理解：基类按照我们预想的方式被生成，然后派生类的构造函数被调用。至此，一个派生类的对象就被实例化了。

顺便说一句，关于类初始化器，或对象初始化器，他们初始化成员字段的顺序是成员在类定义中出现的先后顺序。再顺便说一句，如果程序的逻辑依赖于成员在类定义中出现的顺序则是不好的设计，这可能会大大降低您代码的易读性。

现在当我们再回过头看文章开头的题目时，一切都明朗了——根本就没有一个正确答案！因为如果X类型有对象初始化器，且其构造函数内没有初始化任何实 例字段的话，答案应该选B。如果X类型没有对象初始化器，且其构造函数内初始化了实例字段的话，答案选C。如果X类型没有对象初始化器，且其构造函数内没 有初始化任何实例字段的话，答案选D。再其他的情况，则没有答案可选了。

转载于:https://my.oschina.net/linuxred/blog/17407