CTS通用類型系統(tǒng)，是.Net中一套定義類型的規(guī)則。我們要掌握c#開發(fā)，首先要建立這個類型概念，只有知道c#的元素是什么類型，才能進(jìn)行相關(guān)的分析和選材。

一、值類型和引用類型

C#分兩個大類，一類是引用類型；另一類是值類型。

引用類型從技術(shù)上來講，就是一個指針，指向具體的數(shù)據(jù)；而值類型實際就存放數(shù)據(jù)。因此引用類型大小都是固定的（雖然它實際關(guān)聯(lián)其他部分，但是你傳遞引用類型不需要傳遞這些，只需要傳遞指針），而值類型有不同的大小。

所有類型都從System.Object派生，包括值類型分支。所有值類型都是System.ValueType的子類，或者是枚舉System.Enum的子類。而System.ValueType 和System.Enum自身卻是引用類型。因此繼承關(guān)系和是否是值類型無關(guān)，用戶需要通過class ,struct等關(guān)鍵字去定義不同的類型。

用戶自定義的類、接口、數(shù)組、委托是引用類型；自定義的枚舉、結(jié)構(gòu)是值類型。

結(jié)構(gòu)和類的區(qū)別是，結(jié)構(gòu)的基類型不能自定義，固定是System.ValueType，也就是結(jié)構(gòu)設(shè)計上，不能建立多層的繼承模式。不過結(jié)構(gòu)可以實現(xiàn)接口。

值類型轉(zhuǎn)換到引用類型時，如轉(zhuǎn)化成基類型Object會產(chǎn)生“裝箱”操作，從技術(shù)上講，就是將數(shù)據(jù)復(fù)制到新的內(nèi)存空間，然后用指針指向它，因此是一個耗費資源的操作。對應(yīng)的”取消裝箱”是個相反的過程。

二、特殊類型

泛型不是一種類型，而是一種定義類型的快捷方式。先用占位符作為類型定義的一部分，在實際定義類型的時候給出對應(yīng)的部分，形成真實的類型。如class C<T>{} 的C并不是類型，而是未完成的模版，需要給定T 的實際類型，才能得到完整的類型 如： C<int> 這里就定義了一個C<int>類型。泛型可以用來定義引用類型也可以用來定義值類型。

匿名類型是用new {成員a;成員b;} 格式定義的類型，直接繼承自O(shè)bject，成員具有只讀性。該類型主要用來處理臨時的數(shù)據(jù)對象。

可null類型，在值類型后增加?表示可null類型。可null類型是System.Nullable<T>泛型結(jié)構(gòu)的實例。主要用在數(shù)據(jù)庫編程。

三、委托類型和接口類型

委托類型從System.Delegate 或 System.MulticastDelegate 派生，屬于引用類型。委托類型通過關(guān)鍵字delegate創(chuàng)建，委托類型特殊性在于它主要是用來封裝函數(shù)的，而結(jié)構(gòu)和類用來封裝數(shù)據(jù)和操作，其中結(jié)構(gòu)偏向數(shù)據(jù)，而類偏向操作。可見這三種自定義類型，有各自的重點。

委托相當(dāng)于函數(shù)指針，它自身不保存實際的運算過程，而是保持指向函數(shù)的指針。這有點類似引用類型的數(shù)據(jù)關(guān)系。可以用函數(shù)名初始化委托，也可以創(chuàng)建“匿名方法”或lambda算式實例化委托。

匿名方法通過 delegate{ 語句} 創(chuàng)建，是一種在函數(shù)內(nèi)創(chuàng)建的閉包。所謂閉包是一段代碼，但是可以包含宿主函數(shù)的局部變量。

lambda 是匿名方法的改進(jìn)，如 (x,y)=>x+y 可以簡潔的描述簡單算法。

委托類型和接口類型的共同點是不涉及具體的實現(xiàn)，而關(guān)注“形態(tài)”，因此都可以做到分離具體實現(xiàn)的目的。其中接口比委托要強大的地方是接口可以定義多個函數(shù)形態(tài)，而委托只是一個，不過這可能是優(yōu)勢也可能是劣勢，比如你可以定義多個委托，鏈接不同的實例；而用接口的多個函數(shù)形態(tài)卻只能一個實例去實現(xiàn)。

因此，要聯(lián)通組件，有兩個選擇：一、對于選擇不同算法實現(xiàn)，或者事件通知，用委托最好；二、對于一組關(guān)聯(lián)的操作，對象互操作，用接口最好。