最近才知道struct和class的靜態(tài)構(gòu)造函數(shù)的觸發(fā)規(guī)則是不同的,不像class在第一次使用類的時(shí)候觸 發(fā)靜態(tài)構(gòu)造函數(shù)。如果只訪問(wèn)struct實(shí)例的字段是不會(huì)觸發(fā)靜態(tài)構(gòu)造函數(shù)調(diào)用的。通過(guò)測(cè)試發(fā)現(xiàn)當(dāng)訪問(wèn)靜 態(tài)字段,struct本身的函數(shù)(靜態(tài)和實(shí)例)和帶參數(shù)的構(gòu)造函數(shù)就會(huì)引起靜態(tài)構(gòu)造函數(shù)的執(zhí)行。而調(diào)用默 認(rèn)構(gòu)造和未覆寫的基類虛函數(shù)是不會(huì)的。為什么呢?
讓我們先來(lái)看看class和struct在調(diào)用構(gòu)造函數(shù)時(shí)的區(qū)別。class使用newobj指令而struct使用initobj 指令來(lái)構(gòu)造對(duì)象。newobj在堆上申請(qǐng)一塊內(nèi)存并調(diào)用相應(yīng)的構(gòu)造函數(shù)進(jìn)行初始化,然后將對(duì)象地址返回給 計(jì)算棧。initbobj則是從本地變量表中載入已經(jīng)分配出來(lái)的struct實(shí)例然后初始化struct的各字段。這個(gè) 初始化過(guò)程是CLR內(nèi)部執(zhí)行的,而不像class編譯器會(huì)給class添加一個(gè)默認(rèn)構(gòu)造函數(shù)(這就是為什么 struct不能給字段添加默認(rèn)值的原因。但在類中如果給字段添加了默認(rèn)值編譯器就會(huì)自動(dòng)在構(gòu)造函數(shù)中添 加字段賦值操作)。如果給struct中定義了一個(gè)有參數(shù)的構(gòu)造函數(shù),那么系統(tǒng)就不會(huì)使用initobj指令, 而是直接用call指令調(diào)用帶參數(shù)的構(gòu)造函數(shù)。
我們最常見(jiàn)最常用的調(diào)用函數(shù)的指令是call和callvirt。對(duì)于靜態(tài)函數(shù)使用call指令,對(duì)于class使用 callvirt指令(不論class中的函數(shù)是不是虛的)。只有子類調(diào)用父類的函數(shù)的時(shí)候(避免遞歸調(diào)用)以 及構(gòu)造函數(shù)中(由編譯器添加保證父類字段被初始化)使用call指令。而對(duì)于struct我們發(fā)現(xiàn)只要調(diào)用的 函數(shù)是struct本身定義的都是使用call指令。call和callvirt指令的差別在于,call會(huì)把調(diào)用的函數(shù)當(dāng)作 靜態(tài)函數(shù)看待,而不會(huì)關(guān)心調(diào)用當(dāng)前函數(shù)時(shí)實(shí)例指針(this)是否為空。這就是struct調(diào)用函數(shù)時(shí)為什么 都是call因?yàn)閟truct實(shí)例是不可能被置為null的。實(shí)際上class在調(diào)用非虛函數(shù)時(shí)實(shí)際上也是使用call的 只是多做了一步驗(yàn)證——this是否為空,讓我們來(lái)驗(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();