從上圖可知,程序占用的內存被分了以下幾部分.
1、棧區(stack)
由編譯器自動分配釋放 ,存放函數的參數值,局部變量的值等,內存的分配是連續的,類似於平時我們所說的棧,如果還不清楚,那麼就把它想成數組,它的內存分配是連續分配的,即,所分配的內存是在一塊連續的內存區域內.當我們聲明變量時,那麼編譯器會自動接著當前棧區的結尾來分配內存.
2、堆區(heap)
一般由程序員分配釋放, 若程序員不釋放,程序結束時可能由操作系統回收.類似於鏈表,在內存中的分布不是連續的,它們是不同區域的內存塊通過指針鏈接起來的.一旦某一節點從鏈中斷開,我們要人為的把所斷開的節點從內存中釋放.
3、全局區(靜態區)(static)
全局變量和靜態變量的存儲是放在一塊的,初始化的全局變量和靜態變量在一塊區域, 未初始化的全局變量和未初始化的靜態變量在相鄰的另一塊區域。 程序結束後由系統釋放
4、文字常量區
常量字符串就是放在這裡的。 程序結束後由系統釋放
5、程序代碼區
存放函數體的二進制代碼。
先看一個例子.
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是在編譯時就確定的;
但是,在以後的存取中,在棧上的數組比指針所指向的字符串(例如堆)快。
比如:
代碼如下:
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讀取字符,顯然慢了。
小結:
堆和棧的區別可以用如下的比喻來看出:
使用棧就象我們去飯館裡吃飯,只管點菜(發出申請)、付錢、和吃(使用),吃飽了就走,不必理會切菜、洗菜等准備工作和洗碗、刷鍋等掃尾工作,他的好處是快捷,但是自由度小。
使用堆就象是自己動手做喜歡吃的菜肴,比較麻煩,但是比較符合自己的口味,而且自由度