資料結構的棧和堆
首先在資料結構上要知道堆疊,儘管我們這麼稱呼它,但實際上堆疊是兩種資料結構:堆和棧。
堆和棧都是把一些資料項按序排列的資料結構。
1、棧(stack)
棧就像只有乙個口的箱子,它是一種具有「後進先出」性質的資料結構,也就是說後存放的先取,先存放的後取。這就如同我們要取出放在箱子裡面底下的東西(放入的比較早的物體當然就壓在底下了,),我們首先要移開壓在它上面的物體(放入的比較晚的物體)。
2、堆(heap)
而堆就不同了,堆是一種經過排序的樹形資料結構,每個結點都有乙個值。通常我們所說的堆的資料結構,是指二叉堆。堆的特點是根結點的值最小(或最大),且根結點的兩個子樹也是乙個堆。由於堆的這個特性,常用來實現優先佇列,堆的訪問是隨意,這就如同我們在圖書館的書架上取書,雖然書的擺放是有順序的,但是我們想取任意一本時不必像棧一樣,先取出前面所有的書,書架這種機制不同於箱子,我們可以直接取出我們想要的書。
記憶體分配中的棧和堆
前面之所以要說資料結構的堆和棧是為了和後面要說的堆區和棧區區別開來。
下面就說說c語言程式記憶體分配中的堆和棧,一般情況下程式存放在rom或flash中,執行時需要拷到記憶體中執行,記憶體會分別儲存不同的資訊,如下表所示:
0xc0000000 --核心虛擬記憶體,供核心使用
棧區 -- 程式執行時用於存放區域性變數,可向下延展空間
0x40000000 --共享庫的記憶體影像
堆區 --程式執行是用於分配malloc和new 申請的區域,用於分配程式設計師申請的記憶體空間
可讀寫區(.data.bss)--用於存放全域性變數和靜態變數
0408048000 唯讀區 --存放程式和常量等
0 --未使用區
棧區處於相對較高的位址,棧是向下增長的,棧中分配區域性變數空間(由系統自動分配的)。
堆區是向上增長的用於分配程式設計師申請的記憶體空間。另外還有靜態區是分配靜態變數,全域性變數空間的;
唯讀區是分配常量和程式**空間的;以及其他一些分割槽。
下面是乙個的經典例子:
main.cpp int a = 0; //全域性初始化區 char *p1; //全域性未初始化區 main()
1、申請方式和**方式不同
通過上面這個例子,應該有點概念了,堆和棧的第乙個區別就是申請方式不同:棧(stack)是系統自動分配空間的,例如我們定義乙個 char a;系統會自動在棧上為其開闢空間。而堆(heap)則是程式設計師根據需要自己申請的空間,例如malloc(10);開闢十個位元組的空間。由於棧上的空間是自動分配自動**的,所以棧上的資料的生存週期只是在函式的執行過程中,執行後就釋放掉,不可以再訪問。而堆上的資料只要程式設計師不釋放空間,就一直可以訪問到,不過缺點是一旦忘記釋放會造成記憶體洩露。
2、申請後系統的響應
棧:只要棧的剩餘空間大於所申請空間,系統將為程式提供記憶體,否則將報異常提示棧溢位。
堆:首先應該知道作業系統有乙個記錄空閒記憶體位址的鍊錶,當系統收到程式的申請時,會遍歷該鍊錶,尋找第乙個空間大於所申請空間的堆結點,然後將該結點從空閒結點鍊錶中刪除,並將該結點的空間分配給程式,另外,對於大多數系統,會在這塊記憶體空間中的首位址處記錄本次分配的大小,這樣,**中的 delete語句才能正確的釋放本記憶體空間。另外,由於找到的堆結點的大小不一定正好等於申請的大小,系統會自動的將多餘的那部分重新放入空閒鍊錶中。
也就是說堆會在申請後還要做一些後續的工作這就會引出申請效率的問題。
3、申請效率的比較
根據第1點和第2點可知。
棧:由系統自動分配,速度較快。但程式設計師是無法控制的。
堆:是由new分配的記憶體,一般速度比較慢,而且容易產生記憶體碎片,不過用起來最方便。
4.申請大小的限制
棧:在windows下,棧是向低位址擴充套件的資料結構,是一塊連續的記憶體的區域。這句話的意思是棧頂的位址和棧的最大容量是系統預先規定好的,在 windows下,棧的大小是2m(也有的說是1m,總之是乙個編譯時就確定的常數),如果申請的空間超過棧的剩餘空間時,將提示overflow。因此,能從棧獲得的空間較小。
堆:堆是向高位址擴充套件的資料結構,是不連續的記憶體區域。這是由於系統是用鍊錶來儲存的空閒記憶體位址的,自然是不連續的,而鍊錶的遍歷方向是由低位址向高位址。堆的大小受限於計算機系統中有效的虛擬記憶體。由此可見,堆獲得的空間比較靈活,也比較大。
5.堆和棧中的儲存內容
由於棧的大小有限,所以用子函式還是有物理意義的,而不僅僅是邏輯意義。
棧: 在函式呼叫時,第乙個進棧的是主函式中函式呼叫後的下一條指令(函式呼叫語句的下一條可執行語句)的位址,然後是函式的各個引數,在大多數的c編譯器中,引數是由右往左入棧的,然後是函式中的區域性變數。注意靜態變數是不入棧的。
當本次函式呼叫結束後,區域性變數先出棧,然後是引數,最後棧頂指標指向最開始存的位址,也就是主函式中的下一條指令,程式由該點繼續執行。
堆:一般是在堆的頭部用乙個位元組存放堆的大小。堆中的具體內容有程式設計師安排。
關於儲存內容還可以參考這道題。這道題還涉及到區域性變數的存活期。
5.訪問效率的比較
char s1 = "aaaaaa";
char *s2 = "bbbbbb";
aaaaaa是在執行時刻賦值的;放在棧中。
而bbbbbb是在編譯時就確定的;放在堆中。
但是,在以後的訪問中,在棧上的陣列比指標所指向的字串(例如堆)快。
比如:
#include void main()
對應的彙編**
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
8845 fc mov byte ptr [ebp-4],al
關於堆和棧區別的比喻
堆和棧的區別可以引用一位前輩的比喻來看出:
使用棧就象我們去飯館裡吃飯,只管點菜(發出申請)、付錢、和吃(使用),吃飽了就走,不必理會切菜、洗菜等準備工作和洗碗、刷鍋等掃尾工作,他的好處是快捷,但是自由度小。
使用堆就象是自己動手做喜歡吃的菜餚,比較麻煩,但是比較符合自己的口味,而且自由度大。比喻很形象,說的很通俗易懂,不知道你是否有點收穫。
在其他語言中也類似。
關於堆和棧
1 記憶體分配方面 堆 一般由程式設計師分配釋放,若程式設計師不釋放,程式結束時可能由os 注意它與資料結構中的堆是兩回事,分配方式是類似於鍊錶。可能用到的關鍵字如下 new malloc delete free等等。棧 由編譯器 compiler 自動分配釋放,存放函式的引數值,區域性變數的值等。...
關於堆和棧
網上找到的,有什麼不對的大家指出來,重新學習 1.棧是存放函式返回位址 引數 區域性變數的。堆是程式可以自由操作的記憶體,使用時先申請,用完之後釋放,如何使用完全由程式 控制。2.棧在彙編 中表示成push pop,用的是ess段,sp暫存器 而堆不是,是在記憶體中讀寫,eds段,3.c 包括兩種被...
關於 棧 和 堆
棧區 stack 由編譯器自動分配和釋放,申請速度快,但程式設計師無法控制。主要存放函式的引數值 區域性變數等。棧頂位址小於棧的基位址。堆區 heap 由程式設計師分配和釋放,由new和malloc申請,delete和free釋放,分配的記憶體區不一定是連續的,類似鍊錶。若程式設計師不釋放,程式結束...