关于Type Initializer和 BeforeFieldInit的问题，看看大家能否给出正确的解释

蒋金楠

发布于 2022-05-09 13:03:39

1940

发布于 2022-05-09 13:03:39

文章被收录于专栏：大内老A

下面通过一个简单的Console Application演示Type Innitializer的执行顺序。希望大家各抒己见，对于实验的结果给出一个圆满的解释，同时希望读者从中理解到更多关于编译、关于CLR一些被我们忽略的细节。

代码如下，在类Foo中定义了两个static成员：静态字段Field和静态方法GetString，Field通过于Inline的方式通过调用GetString进行初始化。在Main（）中仅仅两行代码：Console.WriteLine("Start ...");Foo.GetString("Manually invoke the static GetString() method!");

1: using System;   2: namespace Artech.TypeInitializerDemo   3: {   4:     class Program   5:     {   6:         static void Main()   7:         {   8:             Console.WriteLine("Start ...");   9:             Foo.GetString("Manually invoke the static GetString() method!");  10:         }  11:     }  12:    13:     class Foo  14:     {  15:         public static string Field = GetString("Initialize the static field!");  16:    17:         public static string GetString(string s)  18:         {  19:             Console.WriteLine(s);  20:             return s;  21:         }  22:     }  23: }

对于结果，我想很多人都能够猜得到，如果在显示调用GetString（）之前，需要完成静态成员的初始化，所以最终的输出结果如下图所示：

然后我们在Main（）种多加一行代码：string field = Foo.Field; 也就是获取Foo的静态字段：

1: static void Main()   2: {   3:     Console.WriteLine("Start ...");   4:     Foo.GetString("Manually invoke the static GetString() method!");   5:     string field = Foo.Field;               6: }

最终的输出结果就和上面不一样了，静态字段的初始化工作居然提前了（在Console.WriteLine("Start ...");之前执行）

“神奇”的事情还没有结束，如果我们在Foo中加上一个静态构造函数，其中不执行任何的操作：

1: class Foo   2: {   3:     public static string Field = GetString("Initialize the static field!");   4:     5:     static Foo()   6:     { }   7:     8:     public static string GetString(string s)   9:     {  10:         Console.WriteLine(s);  11:         return s;  12:     }  13: }

再来看看现在执行结果，又和先前的一样的了。

我先不做任何评论（因为我也不太确定我的认识就是正确的），看看大家对此有什么看法。

再添加另一个static constructor的例子，较之上面一个要简单点。在Bar继承自基类Foo，在Foo和Bar均定义了静态构造函数。静态方法DoSomething（）定义在Foo中，在Main（）中却通过Bar.DoSomething();进行调用。

1: using System;   2: namespace Artech.TypeInitializerDemo   3: {   4:     class Program   5:     {   6:         static void Main()   7:         {   8:             Bar.DoSomething();   9:         }  10:     }  11:    12:     public abstract class Foo  13:     {  14:         static Foo()  15:         {  16:             Console.WriteLine("static Foo() is invoked");  17:         }  18:    19:         public static void DoSomething()  20:         {  21:             Console.WriteLine("Done ...");  22:         }  23:     }  24:    25:     public class Bar : Foo  26:     {  27:         static Bar()  28:         {  29:             Console.WriteLine("static Bar() is invoked");  30:         }  31:     }  32: }

下面是输出结果，可见虽然通过Bar调用了静态方法DoSomething，但是Bar的静态构造函数没有被执行。这个很好理解，因为Something是定义在基类Foo上，Bar.DoSomething()本质上相当于Foo.DoSomething()。所以只会调用Foo的静态构造函数。