[C# Tips] 有趣的類型靜態構造器

這是C#中一個有趣的現象，也許您從中可以窺見些許CLR在構造類型時的行為，以及JIT編譯的觸發式編譯過程。

看下面一段代碼：

 1    class Program
 2    {
 3        static void Main()
 4        {
 5            myValueType1 type1 = new myValueType1();
 6            Console.WriteLine(myValueType1.myInt);
 7            Console.WriteLine("**********************");
 8            myValueType2 type2 = new myValueType2();
 9            type2.myInt = 123;
10            Console.WriteLine(type2.myInt);
11            Console.WriteLine("**********************");
12            myValueType3 type3 = new myValueType3();
13        }
14    }
15
16    struct myValueType1
17    {
18        static myValueType1()
19        {
20            Console.WriteLine("Hello from myValueType1");
21           // myInt = 111;
22        }
23        public static Int32 myInt;
24    }
25
26    struct myValueType2
27    {
28        static myValueType2()
29        {
30            Console.WriteLine("Hello from myValueType2");
31        }
32        public Int32 myInt;
33    }
34
35    struct myValueType3
36    {
37        static myValueType3()
38        {
39            Console.WriteLine("Hello from myValueType3");
40            myInt = 333;
41        }
42        public static Int32 myInt;
43    }

這裡定義了三個結構：myValueType1，myValueType2，myValueType3。三個結構均帶靜態構造器，在構造器中都有一句用來輸出的的代碼。在myValueType1和myValueType3的靜態。然後我們在main函數裡面分別new 了相應的三個執行個體。您可以先想想輸出的結果應該是怎樣的。
 事實上您會得到如下的結果：


我們看到雖然三個結構中都有靜態構造器，卻只有第一個結構的被執行了。事實上，這個有趣的現象也是CLR對效能的考慮，除非類型確實被訪問到了，否則永遠不會調用到它的類型構造器，這個過程是JIT的。
當執行到第六行代碼時，CLR嘗試要去myValueType1尋找靜態欄位myInt的值。這個時候，myValueType1才是真正被訪問到了。靜態構造器被執行，得到相應的輸出。
而myValueType2中myInt是個執行個體成員，訪問它的值只關係到執行個體type2執行個體。與類型本身沒有任何關係，CLR不會執行類型myValueType2的靜態構造器。
myValueType3跟myValueType11幾乎是一樣的，myInt是靜態成員，但是在main函數中，myValueType3還是沒有被真正訪問到，只是利用它構造出了一個虛擬對象結構，這種對象結構裡面所有欄位都被賦予一個0值或者null值
所以第二行輸出為零
這些性質與JIT編譯器都是分不開的。