CLR本質論代碼驗證———對象記憶體布局

using System;<br />using System.Collections.Generic;<br />using System.Linq;<br />using System.Text;</p><p>namespace ConsoleApplication1<br />{<br /> class Program<br /> {<br /> unsafe static void Main(string[] args)<br /> {<br /> Test();<br /> }</p><p> //代碼是為了證明對象的記憶體布局，具體參考《CLR 本質論》<br /> unsafe static void Test()<br /> {<br /> MyClass1 obj1_1 = new MyClass1();<br /> MyClass1 obj1_2 = new MyClass1();<br /> MyClass2 obj2_1 = new MyClass2();</p><p> //C#不允許對象引用和指標之間的轉換，所以為了擷取對象的地址，我們先擷取對象第一個執行個體變數的地址，該地址-1就是類型對象指標所在地址。<br /> fixed (int* p1x = &(obj1_1.x), p1y = &(obj1_1.y), p2x = &(obj1_2.x))<br /> {<br /> Console.WriteLine("obj1_1.x的地址為：" + ((int)p1x).ToString("X"));<br /> Console.WriteLine("obj1_1.y的地址為：" + ((int)p1y).ToString("X"));</p><p> //以下兩行代碼錶示，同一類型的兩個執行個體的類型對象指標指向相同的類型對象。<br /> Console.WriteLine("obj1_1執行個體的類型對象指標為：" + (*(p1x - 1)).ToString("X"));<br /> Console.WriteLine("obj1_2執行個體的類型對象指標為：" + (*(p2x - 1)).ToString("X"));<br /> fixed (int* ppx = &(obj2_1.x))<br /> {<br /> //此時，GetType()返回正確的類型<br /> Console.WriteLine("obj1_1對象執行個體的類型為：" + obj1_1.GetType());<br /> //修改對象的類型對象指標<br /> *(p1x - 1) = *(ppx - 1);<br /> //此時，GetType()返回錯誤的類型，從而證明GetType()函數內部實現就是通過讀取類型對象指標確定物件類型。<br /> Console.WriteLine("obj1_1對象執行個體的類型為：" + obj1_1.GetType());<br /> }<br /> }<br /> }<br /> }</p><p> class MyClass1<br /> {<br /> public int x;<br /> public int y;<br /> }<br /> class MyClass2<br /> {<br /> public int x;<br /> }<br />}<br />

程式輸出結果:

 

obj1_1.x的地址為：23BBA80
obj1_1.y的地址為：23BBA84
obj1_1執行個體的類型對象指標為：1638A8
obj1_2執行個體的類型對象指標為：1638A8
obj1_1對象執行個體的類型為：ConsoleApplication1.MyClass1
obj1_1對象執行個體的類型為：ConsoleApplication1.MyClass2
請按任意鍵繼續. . .