引用型別與值型別

1、值型別通常被分配在棧上，它的變數直接包含變數的例項，使用效率比較高。

2、引用型別分配在託管堆上，引用型別的變數通常包含乙個指向例項的指標，變數通過該指標來引用例項。

3、值型別繼承自valuetype（注意：而system.valuetype又繼承自system.object）；而引用型別繼承自system.object。

4、值型別變數包含其實例資料，每個變數儲存了其本身的資料拷貝（副本），因此在預設情況下，值型別的引數傳遞不會影響引數本身；而引用型別變數儲存了其資料的引用位址，因此以引用方式進行引數傳遞時會影響到引數本身，因為兩個變數會引用了記憶體中的同一塊位址。

5、值型別有兩種表示：裝箱與拆箱；引用型別只有裝箱一種形式。我會在下節以專門的篇幅來深入討論這個話題。

6、典型的值型別為：struct，enum以及大量的內建值型別；而能稱為類的都可以說是引用型別。

7、值型別的記憶體不由gc（垃圾**，gabage collection）控制，作用域結束時，值型別會自行釋放，減少了託管堆的壓力，因此具有效能上的優勢。例如，通常struct比class更高效；而引用型別的記憶體**，由gc來完成，微軟甚至建議使用者最好不要自行釋放記憶體。

8、值型別是密封的（sealed），因此值型別不能作為其他任何型別的基類，但是可以單繼承或者多繼承介面；而引用型別一般都有繼承性。

9、值型別不具有多型性；而引用型別有多型性。

10、值型別變數不可為null值，值型別都會自行初始化為0值；而引用型別變數預設情況下，建立為null值，表示沒有指向任何託管堆的引用位址。對值為null的引用型別的任何操作，都會丟擲nullreferenceexception異常。

11、值型別有兩種狀態：裝箱和未裝箱，執行庫提供了所有值型別的已裝箱形式；而引用型別通常只有一種形式：裝箱。