最近才知道struct和class的靜態(tài)構(gòu)造函數(shù)的觸發(fā)規(guī)則是不同的，不像class在第一次使用類的時候觸 發(fā)靜態(tài)構(gòu)造函數(shù)。如果只訪問struct實例的字段是不會觸發(fā)靜態(tài)構(gòu)造函數(shù)調(diào)用的。通過測試發(fā)現(xiàn)當訪問靜 態(tài)字段，struct本身的函數(shù)（靜態(tài)和實例）和帶參數(shù)的構(gòu)造函數(shù)就會引起靜態(tài)構(gòu)造函數(shù)的執(zhí)行。而調(diào)用默 認構(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ù)進行初始化，然后將對象地址返回給 計算棧。initbobj則是從本地變量表中載入已經(jīng)分配出來的struct實例然后初始化struct的各字段。這個 初始化過程是CLR內(nèi)部執(zhí)行的，而不像class編譯器會給class添加一個默認構(gòu)造函數(shù)（這就是為什么 struct不能給字段添加默認值的原因。但在類中如果給字段添加了默認值編譯器就會自動在構(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ù)當作 靜態(tài)函數(shù)看待，而不會關(guān)心調(diào)用當前函數(shù)時實例指針（this）是否為空。這就是struct調(diào)用函數(shù)時為什么 都是call因為struct實例是不可能被置為null的。實際上class在調(diào)用非虛函數(shù)時實際上也是使用call的 只是多做了一步驗證——this是否為空，讓我們來驗證一下。
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();