【C#】CLR記憶體那點事（進階）

標籤：style   blog   http   color   2014   ar   html   代碼   

對於這篇，不想再對實值型別進行討論，如要看實值型別的記憶體怎麼玩可以看一下(CLR記憶體那點事 初級），我們這篇主要討論一下參考型別。

先來裝備兩個類

 internal class Employee    {        public static Employee LookUp(string name)        {            return null;        }        public virtual string GetProgressReport()        {            return string.Empty;        }    }    internal class Manager : Employee    {        public override string GetProgressReport()        {            return string.Empty;        }    }

 

Employee類裡有一個虛方法GetProgressReport和一個靜態方法LookUp，Manager類繼承了Employee並重寫了GetProgressReport.

     static void Main(string[] args)        {            Employee e = new Manager();            e = e.LookUp("Tom");            e.GetProgressReport();        }

 我們在Main裡面寫上這樣的代碼，來看看棧和堆是怎麼運作的。

當JIT編譯器將這些IL代碼轉換成本地CPU指令時，會注意到所有的類型：Employee,Manager,String(由於Tom字串).

1.當運行方法之前，"prologue"代碼會為這些對象在記憶體中開闢空間。

2.Employee e=new Manager();會把e壓入棧，然後儲存Manager對象地址,我們在初級篇的時候說過，每個對象都有一個同步塊索引和類型對象指標，這個指標就說存的地址。

3.e=Employee.LookUp("Tom");調用一個靜態方法時，CLR會定位與定義靜態方法的類型對應的類型對象。然後JIT編譯器在類型對象的方法表中尋找與被調用的方法對應的記錄項，對方法進行JIT編譯（如果需要的話），再調用JIT編譯的代碼。這個時候我們知道LoopUp返回的是Employee對象（這時，我一開始建立的Manager對象還不確認有沒有被清除，因為GC會自動去清理這些Managed 程式碼），所以在堆上面開闢一個Employee的記憶體塊並把e的地址改變成Employee對象所在的位置。

 

注意：Eｍployee和Manager類型對象都包含了”類型指標對象“成員。這時由於類型對象本質上也是對象。CLR建立類型對象時，必須初始化這些成員。初始化成什麼呢？CLR開始在一個進程中運行時，會立即為MSCorLib.dll中定義的System.Type類型建立一個特殊的類型對象。Employee和Manager類型對象都是該類型的”執行個體“。 因此，它們的類型對象指標成員會初始化成對System.Type類型對象的引用。

順便說一句Object.GetType返回的就說”類型指標對象“所儲存的地址。