C#引用類型深入剖析
C#有很多值得學習的地方，這里我們主要介紹C#引用類型，包括介紹C#引用類型和值類型的區別——通用類型系統等方面。
從概念上看，值類型直接存儲其值，而引用類型存儲對其值的引用。這兩種類型存儲在內存的不同地方。在C#中，我們必須在設計類型的時候就決定類型實例的行為。這種決定非常重要，用《CLR via C#》作者Jeffrey Richter的話來說，“不理解引用類型和值類型區別的程序員將會給代碼引入詭異的bug和性能問題（I believe that a developer who misunderstands the difference between reference types and value types will introduce subtle bugs and performance issues into their code.）”。這就要求我們正確理解和使用值類型和引用類型。
1. 通用類型系統
2. 值類型
3. 引用類型
4. 值類型和引用類型在內存中的部署
4.1 數組在內存中的部署
4.2 值類型和引用類型的嵌套
5. 正確使用值類型和引用類型
5.1 辨明值類型和引用類型的使用場合
5.2 將值類型盡可能實現為具有常量性和原子性的類型
5.3 確保0為值類型的有效狀態
5.4 盡量減少裝箱和拆箱
6. 總結
7. 參考
C#引用類型和值類型的區別——通用類型系統
C#中，變量是值還是引用僅取決于其數據類型。
C#的基本數據類型都以平臺無關的方式來定義。C#的預定義類型并沒有內置于語言中，而是內置于.NET Framework中。.NET使用通用類型系統（CTS）定義了可以在中間語言（IL）中使用的預定義數據類型，所有面向.NET的語言都最終被編譯為IL，即編譯為基于CTS類型的代碼。
例如，在C#中聲明一個int變量時，聲明的實際上是CTS中System.Int32的一個實例。這具有重要的意義：
確保IL上的強制類型安全；
實現了不同.NET語言的互操作性；
所有的數據類型都是對象。它們可以有方法，屬性，等。例如：
- int i;
- i = 1;
- string s;
- s = i.ToString();
MSDN的這張圖說明了CTS中各個類型是如何相關的。注意，類型的實例可以只是值類型或自描述類型，即使這些類型有子類別也是如此。
C#引用類型和值類型的區別——值類型
C#的所有值類型均隱式派生自System.ValueType：
結構體：struct（直接派生于System.ValueType）；
數值類型：
整型：sbyte（System.SByte的別名），short（System.Int16），int（System.Int32），long（System.Int64），byte（System.Byte），ushort（System.UInt16），uint（System.UInt32），ulong（System.UInt64），char（System.Char）；
浮點型：float（System.Single），double（System.Double）；
用于財務計算的高精度decimal型：decimal（System.Decimal）。
bool型：bool（System.Boolean的別名）；
用戶定義的結構體（派生于System.ValueType）。
枚舉：enum（派生于System.Enum）；
可空類型（派生于System.Nullable< T>泛型結構體，T?實際上是System.Nullable< T>的別名）。
每種值類型均有一個隱式的默認構造函數來初始化該類型的默認值。例如：
- int i = new int();
等價于：
- Int32 i = new Int32();
等價于：
- int i = 0;
等價于：
- Int32 i = 0;
使用new運算符時，將調用特定類型的默認構造函數并對變量賦以默認值。在上例中，默認構造函數將值0賦給了i。MSDN上有完整的默認值表。
關于int和Int32的細節，在我的另一篇文章中有詳細解釋：《理解C#中的System.Int32和int》。
所有的值類型都是密封（seal）的，所以無法派生出新的值類型。
值得注意的是，System.ValueType直接派生于System.Object。即System.ValueType本身是一個類類型，而不是值類型。其關鍵在于ValueType重寫了Equals()方法，從而對值類型按照實例的值來比較，而不是引用地址來比較。
可以用Type.IsValueType屬性來判斷一個類型是否為值類型：
- TestType testType = new TestType ();
- if (testTypetype.GetType().IsValueType)
- {
- Console.WriteLine("{0} is value type.", testType.ToString());
- }
C#引用類型和值類型的區別——引用類型
C#有以下一些引用類型：
數組（派生于System.Array）
用戶用定義的以下類型：
類：class（派生于System.Object）；
接口：interface（接口不是一個“東西”，所以不存在派生于何處的問題。Anders在《C# Programming Language》中說，接口只是表示一種約定[contract]）；
委托：delegate（派生于System.Delegate）。
object（System.Object的別名）；
字符串：string（System.String的別名）。
可以看出：
引用類型與值類型相同的是，結構體也可以實現接口；
引用類型可以派生出新的類型，而值類型不能；
引用類型可以包含null值，值類型不能（可空類型功能允許將 null 賦給值類型）；
引用類型變量的賦值只復制對對象的引用，而不復制對象本身。而將一個值類型變量賦給另一個值類型變量時，將復制包含的值。
對于***一條，經常混淆的是string。我曾經在一本書的一個早期版本上看到String變量比string變量效率高；我還經常聽說String是引用類型，string是值類型，等等。例如：
- string s1 = "Hello, ";
- string s2 = "world!";
- string s3 = s1 + s2;//s3 is "Hello, world!"
這確實看起來像一個值類型的賦值。再如：
- string s1 = "a";
- string s2 = s1;
- s1 = "b";//s2 is still "a"
改變s1的值對s2沒有影響。這更使string看起來像值類型。實際上，這是運算符重載的結果，當s1被改變時，.NET在托管堆上為s1重新分配了內存。這樣的目的，是為了將做為引用類型的string實現為通常語義下的字符串。
【編輯推薦】
