繼承和多態在C＃中的實現

剛開始寫blog，最近要考試就先把以前寫的一些讀書心得和經驗總結記下，當然難免有錯，歡迎大家指正。

與調用普通方法不同，當CLR遇到vitual 方法的時候，會使用callvirt (IL)命令與普通的call（IL）不同callvirt除了第一句外(把this送到ecx寄存器)，還有第二句，把this對象的type handle送到了eax寄存器中。另外callvirt還會先檢查this對象是否為null
call
mov ecx, esi
call dword ptr ds:[352108h]

callvirt
move ecx, esi
move eax, dword ptr [ecx]
call dword ptr [eax + 38h]

其中最關鍵的就是那個offset, 對於每個virtual方法，有以下的屬性 

 

這張圖是各個關鍵字所對應的屬性 
 
 
   
 

如果新方法具有newslot的屬性(比如使用了virtual關鍵字)，那麼新方法的offset就會至少在原類型的virtual method 的offest最大值上＋1,如果不是newslot那麼就會在base類型的virtual method table中找到與該方法同名的方法,並重用原類型的那個virtual method offset。如果找不到，就會建立一個。簡而言之就是有則使用原來的offset，沒有就擴大virtual method table，使用新增的offset。這樣在不同類型中同樣的方法在VMT中的offset是相同的,不同的是this指標的地址也就是eax中的內容，這樣就保證了第三句call dword ptr [eax + 38h] 的執行會調用到正確的方法，多態也就得到了實現。

 

注意從可以看出override的方法也是vitual method，只不過它的newslot為0，說明不需要為它尋找新的空間。

以上是當時看Essential。NET記的體會。很簡陋。希望能看出點東西。