最近才知道struct和class的靜態(tài)構(gòu)造函數(shù)的觸發(fā)規(guī)則是不同的，不像class在第一次使用類的時候觸 發(fā)靜態(tài)構(gòu)造函數(shù)。如果只訪問struct實(shí)例的字段是不會觸發(fā)靜態(tài)構(gòu)造函數(shù)調(diào)用的。通過測試發(fā)現(xiàn)當(dāng)訪問靜 態(tài)字段，struct本身的函數(shù)（靜態(tài)和實(shí)例）和帶參數(shù)的構(gòu)造函數(shù)就會引起靜態(tài)構(gòu)造函數(shù)的執(zhí)行。而調(diào)用默 認(rèn)構(gòu)造和未覆寫的基類虛函數(shù)是不會的。為什么呢？

讓我們先來看看class和struct在調(diào)用構(gòu)造函數(shù)時的區(qū)別。class使用newobj指令而struct使用initobj 指令來構(gòu)造對象。newobj在堆上申請一塊內(nèi)存并調(diào)用相應(yīng)的構(gòu)造函數(shù)進(jìn)行初始化，然后將對象地址返回給 計算棧。initbobj則是從本地變量表中載入已經(jīng)分配出來的struct實(shí)例然后初始化struct的各字段。這個 初始化過程是CLR內(nèi)部執(zhí)行的，而不像class編譯器會給class添加一個默認(rèn)構(gòu)造函數(shù)（這就是為什么 struct不能給字段添加默認(rèn)值的原因。但在類中如果給字段添加了默認(rèn)值編譯器就會自動在構(gòu)造函數(shù)中添 加字段賦值操作）。如果給struct中定義了一個有參數(shù)的構(gòu)造函數(shù)，那么系統(tǒng)就不會使用initobj指令， 而是直接用call指令調(diào)用帶參數(shù)的構(gòu)造函數(shù)。

我們最常見最常用的調(diào)用函數(shù)的指令是call和callvirt。對于靜態(tài)函數(shù)使用call指令，對于class使用 callvirt指令（不論class中的函數(shù)是不是虛的）。只有子類調(diào)用父類的函數(shù)的時候（避免遞歸調(diào)用）以 及構(gòu)造函數(shù)中（由編譯器添加保證父類字段被初始化）使用call指令。而對于struct我們發(fā)現(xiàn)只要調(diào)用的 函數(shù)是struct本身定義的都是使用call指令。call和callvirt指令的差別在于，call會把調(diào)用的函數(shù)當(dāng)作 靜態(tài)函數(shù)看待，而不會關(guān)心調(diào)用當(dāng)前函數(shù)時實(shí)例指針（this）是否為空。這就是struct調(diào)用函數(shù)時為什么 都是call因?yàn)閟truct實(shí)例是不可能被置為null的。實(shí)際上class在調(diào)用非虛函數(shù)時實(shí)際上也是使用call的 只是多做了一步驗(yàn)證——this是否為空，讓我們來驗(yàn)證一下。

class Class_Test{　　public void Test1() {}　　public virtual void Test2()

{}　　public static void Test3() {}　　public override string ToString()　　

{　　　　return base.ToString();　　}}Class_Test c = new Class_Test

();c.Test1();c.Test2();Class_Test.Test3();string str = c.ToString();