淺談C#類型系統
我們先簡單回顧一下C#類型系統。C#類型系統一共分為兩類，一類是值類型(Value Type)，一類是引用類型(Reference Type)。值類型 和引用類型是以它們在計算機內存中是如何被分配的來劃分的。值類型包括 結構和枚舉，引用類型包括類、接口、委托等。還有一種特殊的值類型，稱為簡單類型(Simple Type)，比如 byte，int等，這些簡單類型實際上是FCL類庫類型的別名，比如聲明一個int類型，實際上是聲明一個System.Int32結構類型。因此，在 Int32類型中定義的操作，都可以應用在int類型上，比如 “123.Equals(2)”。
所有的 值類型 都隱式地繼承自 System.ValueType類型(注意System.ValueType本身是一個類類型)，System.ValueType和所有的引用類型都繼承自 System.Object基類。你不能顯示地讓結構繼承一個類，因為C#不支持多重繼承，而結構已經隱式繼承自ValueType。
1.值類型
當聲明一個值類型的變量(Variable)的時候，變量本身包含了值類型的全部字段，該變量會被分配在線程堆棧(Thread Stack)上。假如我們有這樣一個值類型，它代表了直線上的一點：
- public struct ValPoint {
- public int x;
- public ValPoint(int x) {
- this.x = x;
- }
- }
2.引用類型
當聲明一個引用類型變量的時候，該引用類型的變量會被分配到堆棧上，這個變量將用于保存位于堆上的該引用類型的實例的內存地址，變量本身不包含對象的數據。此時，如果僅僅聲明這樣一個變量，由于在堆上還沒有創建類型的實例，因此，變量值為null，意思是不指向任何類型實例(堆上的對象)。對于變量的類型聲明，用于限制此變量可以保存的類型。
如果我們有一個這樣的類，它依然代表直線上的一點：
- public class RefPoint {
- public int x;
- public RefPoint(int x) {
- this.x = x;
- }
- public RefPoint() {}
- }
3.關于簡單類型
很多文章和書籍中在講述這類問題的時候，總是喜歡用一個int類型作為值類型 和一個Object類型作為引用類型來作說明。本文中將采用自定義的一個 結構 和 類分別作值類型和引用類型的說明。這是因為簡單類型(比如int)有一些CLR實現了的行為，這些行為會讓我們對一些操作產生誤解。
舉個例子，如果我們想比較兩個int類型是否相等，我們會通常這樣：
- int i = 3;
- int j = 3;
- if(i==j) Console.WriteLine("i equals to j");
實際上，在后面我們就會看到，當使用“==”對引用類型變量進行比較的時候，比較的是它們是否指向的堆上同一個對象。而上面a、b指向的顯然是不同的對象，只是對象包含的值相同，所以可見，對于string類型，CLR對它們的比較實際上比較的是值，而不是引用。
為了避免上面這些引起的混淆，在對象判等部分將采用自定義的結構和類來分別說明。
裝箱和拆箱
這部分內容可深可淺，本文只簡要地作一個回顧。簡單來說，裝箱 就是 將一個值類型轉換成等值的引用類型。它的過程分為這樣幾步：
1. 在堆上為新生成的對象(該對象包含數據，對象本身沒有名稱)分配內存。
2. 將 堆棧上 值類型變量的值拷貝到 堆上的對象 中。
3. 將堆上創建的對象的地址返回給引用類型變量(從程序員角度看，這個變量的名稱就好像堆上對象的名稱一樣)。
以上介紹C#類型系統
【編輯推薦】
