引言

　　本篇文章主要介紹.NET中6個重要的概念：棧，堆，值類型，引用類型，裝箱，拆箱。文章開始介紹當你聲明一個變量時，編譯器內部發生了什麼，然後介紹兩個重要的概念：棧和堆；最後介紹值類型和引用類型，並說明一些有關它們的重要原理。

　　最後通過一個簡單的示例代碼說明裝箱拆箱帶來的性能損耗。

聲明變量的內部機制

　　在.NET程序中，當你聲明一個變量，將在內存中分配一塊內存。這塊內存分爲三部分：1，變量名；2，變量類型；3，變量值。

　　下圖揭示了聲明一個變量時的內部機制，其中分配的內存類型依據你的變量類型。.NET中有兩種類型的內存：棧內存和堆內存。在接下來的內容中，我們會瞭解到這兩種類型的詳細內容。

棧和堆

　　爲了明白什麼是棧和堆，先讓我們看下下面示例代碼的內部機制：

1
public void Method1(){ 

2
// Line 1 

3
int i=4; 

4
// Line 2 

5
int y=2; 

6
//Line 3 

7
class1 cls1 = new class1(); 

8
}

這裏一共有3行代碼。讓我們一下逐行看一下它們是如何執行的：

第1行：當這行代碼執行時，編譯器爲它分配一小塊棧內存。運行時棧負責提供程序所需的內存；

第2行：程序繼續執行。如同名字一樣，棧在第一塊內存的頂部分配了一塊內存。你也可以認爲是模塊或零件一塊一塊疊起來；

　　　　內存的分配與釋放遵循後進先出(後進先出)邏輯，換句話說，內存只能在示例中i內存塊的頂部分配或釋放。

第3行：在第3行，我們創建了一個對象。當該行執行時，編譯器在站上創建了一個指針，真實的對象存儲在另一種叫“堆”的內存中。"堆"並不跟蹤運行內存，它更像一堆隨時可以訪問的對象。堆用於動態分配內存。這裏需要着重說明的是引用指針是分配在棧上。聲明Class1 cls1時並不會給Class1的實例分配內存，而是分配一個棧變量cls1（並設置爲null）,然後把它指向“堆”。

退出方法：當方法退出時，它釋放了棧上所有內存變量。換句話說，棧上所有的"Int"變量都依據後進先出的邏輯被釋放掉了。要注意，此時不會釋放堆內存，這種內存稍後會被“垃圾收集器”釋放。

現在可能會有很多朋友奇怪爲什麼要分配2種內存，而不是僅用一種內存。

　　如果仔細觀察，你會發現基本類型並不複雜，他們值包含簡單的值，如i=0。對象數據類型很複雜，它們會引用其它對象或基本類型。換句話說，它要保持其它多種多樣的引用，而每種類型必須存在內存中。對象類型需要動態內存而基本類型需要靜態內存。如果需要分配動態內存，那麼就分配到堆上；反之在棧上。

值類型與引用類型

　　現在我們明白了棧和堆，接下來看值類型和引用類型。值類型的數據和內存在同一個位置，而引用類型是一個指向內存的指針。

　　下面示例是一個整形數據類型變量i被賦給另一個整形數據類型變量j。它們的內存值都分配在棧上。當我們把一個int值分配給另外一個int值時，需要創建一個完全不同的拷貝。換句話說，你可以改變其中任何一個而不會影響另外一個。這種數據類型被稱爲值類型。　　當我們創建一個對象，並把一個對象賦給另外一個對象時，它們的指針指向相同的內存(如下圖，當我們把obj賦給obj1時，它們指向相同的內存)。換句話說，我們改變其中一個，會影響到另外一個，這種類型稱爲引用類型。