本文轉自 http://www.jb51.net/article/40513.htm

　　一直以來總是對這個問題的認識比較朦朧，我相信很多朋友也是這樣的，總是聽到記憶體一會在棧上分配，一會又在堆上分配，那麼它們之間到底是怎麼的區別呢？為了說明這個問題，我們先來看一下記憶體內部的組織情況。

從上圖可知，程式佔用的記憶體被分了以下幾部分．

1、棧區（stack）

　　由編譯器自動分配釋放 ，存放函式的引數值，區域性變數的值等，記憶體的分配是連續的，類似於平時我們所說的棧，如果還不清楚，那麼就把它想成陣列，它的記憶體分配是連續分配的，即，所分配的記憶體是在一塊連續的記憶體區域內．當我們宣告變數時，那麼編譯器會自動接著當前棧區的結尾來分配記憶體．

2、堆區（heap）

　　一般由程式設計師分配釋放， 若程式設計師不釋放，程式結束時可能由作業系統回收．類似於連結串列，在記憶體中的分佈不是連續的，它們是不同區域的記憶體塊通過指標連結起來的．一旦某一節點從鏈中斷開，我們要人為的把所斷開的節點從記憶體中釋放．

3、全域性區（靜態區）（static）

　　全域性變數和靜態變數的儲存是放在一塊的，初始化的全域性變數和靜態變數在一塊區域， 未初始化的全域性變數和未初始化的靜態變數在相鄰的另一塊區域。 程式結束後由系統釋放

4、文字常量區

常量字串就是放在這裡的。 程式結束後由系統釋放

5、程式程式碼區

存放函式體的二進位制程式碼。

看一個例子

//C++ code
char c; //棧上分配
char *p = new char[3]; //堆上分配，將地址賦給了p;

　　在編譯器遇到第一條指令時，計算其大小，然後去查詢當前棧的空間是大於所需分配的空間大小，如果這時棧內空間大於所申請的空間，那麼就為其分配記憶體空間，注 意：在這裡，內在空間的分配是連續的，是接著上次分配結束後進行分配的．如果棧內空間小於所申請的空間大小，那麼這時系統將揭示棧溢位，並給出相應的異常 資訊．

　　編譯器遇到第二條指令時，由於p是在棧上分配的，所以在為p分配內在空間時和上面的方法一樣，但當遇到new關 鍵字，那麼編譯器都知道，這是使用者申請的動態記憶體空間，所以就會轉到堆上去為其尋找空間分配．大家注意：堆上的記憶體空間不是連續的，它是由相應的連結串列將其 空間區時的內在區塊連線的，所以在接到分配記憶體空間的指定後，它不會馬上為其分配相應的空間，而是先要計算所需空間，然後再到遍列整個堆（即遍列整個鏈的 節點），將第一次遇到的記憶體塊分配給它．最後再把在堆上分配的字元陣列的首地址賦給p.，這個時候，大家已經清楚了，p中現在存放的是在堆中申請的字元陣列的首地址，也就是在堆中申請的陣列的地址現在被賦給了在棧上申請的指標變數p．為了更加形象的說明問題，請看下圖：

　　從上圖可以看出，我們在堆上動態分配的陣列的首地址存入了指標p所指向的內容．

　　請注意：在棧上所申請的記憶體空間，當我們出了變數所在的作用域後，系統會自動我們回收這些空間，而在堆上申請的空間，當出了相應的作用域以後，我們需要顯式 的呼叫delete來釋放所申請的記憶體空間，如果我們不及時得對這些空間進行釋放，那麼記憶體中的記憶體碎片就越來越多，從而我們的實際記憶體空間也就會變的越 來越少，即，孤立的記憶體塊越來越多．在這裡，我們知道，堆中的記憶體區域不是連續的，還是將有效的記憶體區域經過連結串列指標連線起來的，如果我們申請到了某一塊 記憶體，那麼這一塊記憶體區將會從連續的（通過連結串列連線起來的）記憶體塊上斷開，如果我們在使用完後，不及時的對它進行釋放，那麼它就會孤立的開來，由於沒有任 何指標指向它，所以這個區域將成為記憶體碎片，所以在使用完動態分配的記憶體（通過NEW申請）後，一定要顯式的對它進行DELETE刪除．對於這一點，一定 要切記．．．

　　上面給大家陳述了它們之間的概念，對於它們倆的使用比較方面，這裡我就不能大家斷續陳述了，對於這個問題，網上一網友的文章中闡述的比較詳細，而且附帶了專業的色彩，下面的文章是部分片斷．

申請大小的限制
　　棧：在Windows下,棧是向低地址擴充套件的資料結構，是一塊連續的記憶體的區域。這句話的意思是棧頂的地址和棧的最大容量是系統預先規定好的，在WINDOWS下，棧的大小是2M（也有的說是1M，總之是一個編譯時就確定的常數），如果申請的空間超過棧的剩餘空間時，將提示overflow。因此，能從棧獲得的空間較小。

　　堆：堆是向高地址擴充套件的資料結構，是不連續的記憶體區域。這是由於系統是用連結串列來儲存的空閒記憶體地址的，自然是不連續的，而連結串列的遍歷方向是由低地址向高地址。堆的大小受限於計算機系統中有效的虛擬記憶體。由此可見，堆獲得的空間比較靈活，也比較大。

申請效率的比較：
　　棧由系統自動分配，速度較快。但程式設計師是無法控制的。

　　堆是由new分配的記憶體，一般速度比較慢，而且容易產生記憶體碎片,不過用起來最方便.

另外，在WINDOWS下，最好的方式是用VirtualAlloc分配記憶體，他不是在堆，也不是在棧是直接在程序的地址空間中保留一快記憶體，雖然用起來最不方便。但是速度快，也最靈活。

堆和棧中的儲存內容
　　棧： 在函式呼叫時，第一個進棧的是主函式中後的下一條指令（函式呼叫語句的下一條可執行語句）的地址，然後是函式的各個引數，在大多數的C編譯器中，引數是由右往左入棧的，然後是函式中的區域性變數。注意靜態變數是不入棧的。

　　當本次函式呼叫結束後，區域性變數先出棧，然後是引數，最後棧頂指標指向最開始存的地址，也就是主函式中的下一條指令，程式由該點繼續執行。

　　堆：一般是在堆的頭部用一個位元組存放堆的大小。堆中的具體內容有程式設計師安排。

存取效率的比較
char s1[] = "aaaaaaaaaaaaaaa";
char *s2 = "bbbbbbbbbbbbbbbbb";

aaaaaaaaaaa是在執行時刻賦值的；
而bbbbbbbbbbb是在編譯時就確定的；
但是，在以後的存取中，在棧上的陣列比指標所指向的字串(例如堆)快。

　　例如：

// C++ Code
void main()
{
    char a = 1;
    char c[] = "1234567890";
    char *p ="1234567890";
    a = c[1];
    a = p[1];
    return;
}

　　對應的彙編程式碼：

10: a = c[1];
00401067 8A 4D F1 mov cl,byte ptr [ebp-0Fh]
0040106A 88 4D FC mov byte ptr [ebp-4],cl
11: a = p[1];
0040106D 8B 55 EC mov edx,dword ptr [ebp-14h]
00401070 8A 42 01 mov al,byte ptr [edx+1]
00401073 88 45 FC mov byte ptr [ebp-4],al

　　第一種在讀取時直接就把字串中的元素讀到暫存器cl中，而第二種則要先把指標值讀到edx中，在根據edx讀取字元，顯然慢了。

小結：
　　堆和棧的區別可以用如下的比喻來看出：
　　使用棧就象我們去飯館裡吃飯，只管點菜（發出申請）、付錢、和吃（使用），吃飽了就走，不必理會切菜、洗菜等準備工作和洗碗、刷鍋等掃尾工作，他的好處是快捷，但是自由度小。

　　使用堆就象是自己動手做喜歡吃的菜餚，比較麻煩，但是比較符合自己的口味，而且自由度較大。