資料結構的堆與棧

2021-08-15 13:24:45 字數 4456 閱讀 9623

在計算機領域,堆疊是乙個不容忽視的概念,我們編寫的c語言程式基本上都要用到。但對於很多的初學著來說,堆疊是乙個很模糊的概念。堆疊:一種資料結構、乙個在程式執行時用於存放的地方,這可能是很多初學者的認識,因為我曾經就是這麼想的和組合語言中的堆疊一詞混為一談。我身邊的一些程式設計的朋友以及在網上看帖遇到的朋友中有好多也說不清堆疊,所以我想有必要給大家分享一下我對堆疊的看法,有說的不對的地方請朋友們不吝賜教,這對於大家學習會有很大幫助。

首先在資料結構上要知道堆疊,儘管我們這麼稱呼它,但實際上堆疊是兩種資料結構:堆和棧。

堆和棧都是一種資料項按序排列的資料結構。

棧就像裝資料的桶或箱子

我們先從大家比較熟悉的棧說起吧,它是一種具有

後進先出

性質的資料結構,也就是說後存放的先取,先存放的後取。這就如同我們要取出放在箱子裡面底下的東西(放入的比較早的物體),我們首先要移開壓在它上面的物體(放入的比較晚的物體)。

堆像一棵倒過來的樹

而堆就不同了,堆是一種

經過排序的樹形資料結構

,每個結點都有乙個值。通常我們所說的堆的資料結構,是指二叉堆。堆的特點是根結點的值最小(或最大),且根結點的兩個子樹也是乙個堆。由於堆的這個特性,常用來實現優先佇列,

堆的訪問是隨意

,這就如同我們在圖書館的書架上取書,雖然書的擺放是有順序的,但是我們想取任意一本時不必像棧一樣,先取出前面所有的書,書架這種機制不同於箱子,我們可以直接取出我們想要的書。

然而我要說的重點並不在這,我要說的堆和棧並不是資料結構的堆和棧,之所以要說資料結構的堆和棧是為了和後面我要說的堆區和棧區區別開來,請大家一定要注意。

下面就說說c語言程式記憶體分配中的堆和棧,這裡有必要把

記憶體分配

也提一下,大家不要嫌我囉嗦,一般情況下程式存放在rom或flash中,執行時需要拷到記憶體中執行,記憶體會分別儲存不同的資訊,如下所示:

1.記憶體分配方式

記憶體分配方式有三種:

[1]從靜態儲存區域分配。內存在

程式編譯的時候就已經分配好,這塊內存在

程式的整個執行期間都存在。例如全域性變數,static變數。

[2]在棧上建立。在執行函式時,函式內區域性變數的儲存單元都可以在棧上建立,函式執行結束時這些儲存單元自動被釋放。棧記憶體分配運算內置於處理器的指令集中,效率很高,但是分配的記憶體容量有限。

[3]從堆上分配,亦稱動態記憶體分配。

程式在執行的時候用malloc或new申請任意多少的記憶體,

程式設計師自己負責在何時用free或delete釋放記憶體。動態記憶體的生存期由

程式設計師決定,使用非常靈活,但如果在堆上分配了空間,就有責任**它,否則執行的

程式會出現記憶體洩漏,頻繁地分配和釋放不同大小的堆空間將會產生堆內碎塊。

2.程式的記憶體空間

乙個程式

將作業系統分配給其執行的記憶體塊分為4個區域,如下圖所示。

**區(code area)

程式記憶體空間

全域性資料區(data area)

堆區(heap area)

棧區(stack area)

乙個由c/c++編譯的

程式占用的記憶體分為以下幾個部分:

1、棧區(stack)  由編譯器自動分配釋放,存放為執行函式而分配的區域性變數、函式引數、返回資料、返回位址等。其操作方式類似於資料結構中的棧。

2、堆區(heap)   一般由

程式設計師分配釋放,若

程式設計師不釋放,

程式結束時可能由os**。分配方式類似於鍊錶。

3、全域性區(靜態區)(static)存放全域性變數、靜態資料、常量。

程式結束後有系統釋放

4、文字常量區常量字串就是放在這裡的。 

程式結束後由系統釋放。5、

程式**區

存放函式體(類成員函式和全域性函式)的二進位制**。

記憶體中的棧區處於相對較高的位址以位址的增長方向為上的話,棧位址是向下增長的。棧中分配區域性變數空間,堆區是向上增長的用於分配程式設計師申請的記憶體空間。另外還有靜態區是分配靜態變數,全域性變數空間的;唯讀區是分配常量和程式**空間的;以及其他一些分割槽。

來看乙個網上很流行的經典例子:

main.cpp 

int a = 0; 全域性初始化區 

char *p1; 全域性未初始化區 

main() 

0.申請方式和**方式不同

不知道你是否有點明白了,堆和棧的第乙個區別就是申請方式不同:棧(英文名稱是stack)是系統自動分配空間的,例如我們定義乙個 char a;

系統會自動在棧上為其開闢空間

。而堆(英文名稱是heap)則是

程式設計師根據需要自己申請的空間

,例如malloc(10);開闢十個位元組的空間。由於

棧上的空間是自動分配自動**的

,所以棧上的資料的生存週期只是在函式的執行過程中,執行後就釋放掉,不可以再訪問。而

堆上的資料只要程式設計師不釋放空間,就一直可以訪問到

,不過缺點是一旦忘記釋放會造成記憶體洩露。還有其他的一些區別我認為網上的朋友總結的不錯這裡轉述一下:

1.申請後系統的響應

棧:只要棧的剩餘空間大於所申請空間,系統將為程式提供記憶體,否則將報異常提示棧溢位。

堆:首先應該知道

作業系統有乙個記錄空閒記憶體位址的鍊錶

,當系統收到程式的申請時,會遍歷該鍊錶,尋找第乙個空間大於所申請空間的堆。

結點,然後將該結點從空閒結點鍊錶中刪除,並將該結點的空間分配給程式,另外,對於大多數系統,會在這塊記憶體空間中的

首位址處記錄本次分配的大小

,這樣,**中的 delete語句才能正確的釋放本記憶體空間。另外,由於找到的堆結點的大小不一定正好等於申請的大小,系統會自動的

將多餘的那部分重新放入空閒鍊錶中

。 也就是說

堆會在申請後還要做一些後續的工作這就會引出申請效率的問題。

2.申請效率的比較

根據第0點和第1點可知。

棧:由系統自動分配,速度較快。但程式設計師是無法控制的。

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

3.申請大小的限制

棧連續的記憶體的區域

。這句話的意思是

棧頂的位址和棧的最大容量是系統預先規定好的

,在 windows下,棧的大小是2m(也有的說是1m,總之是乙個編譯時就確定的常數),如果申請的空間超過棧的剩餘空間時,將提示overflow。因此,能從棧獲得的空間較小。 

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

4.堆和棧中的儲存內容

由於棧的大小有限,所以用子函式還是有物理意義的,而不僅僅是邏輯意義。

棧: 在函式呼叫時,第乙個進棧的是

主函式中函式呼叫後的下一條指令

(函式呼叫語句的下一條可執行語句)的位址,然後是函式的各個引數,在大多數的c編譯器中,引數是由右往左入棧的,然後是

函式中的區域性變數

。注意靜態變數是不入棧的。 

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

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

關於儲存內容還可以參考

這道題。這道題還涉及到區域性變數的存活期。

5.訪問效率的比較

char s1 = "aaaaaaaaaaaaaaa"; 

char *s2 = "bbbbbbbbbbbbbbbbb"; 

aaaaaaaaaaa是在執行時刻賦值的;放在棧中。 

而bbbbbbbbbbb是在編譯時就確定的;放在堆中。

但是,在以後的訪問中,在棧上的陣列比指標所指向的字串(例如堆)快。 

比如: 

#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 88 45 fc mov byte ptr [ebp-4],al

堆和棧的區別可以引用一位前輩的比喻來看出: 

使用棧就象我們去飯館裡吃飯,只管點菜(發出申請)、付錢、和吃(使用),吃飽了就走,不必理會切菜、洗菜等準備工作和洗碗、刷鍋等掃尾工作,他的好處是快捷,但是自由度小。 

使用堆就象是自己動手做喜歡吃的菜餚,比較麻煩,但是比較符合自己的口味,而且自由度大。比喻很形象,說的很通俗易懂,不知道你是否有點收穫。

資料結構 堆與棧

一 預備知識 程式的記憶體分配 乙個由c c 編譯的程式占用的記憶體分為以下幾個部分 1 棧區 stack 由編譯器自動分配釋放 存放函式的引數值,區域性變數的值等。其 2 堆區 heap 一般由程式設計師分配釋放,若程式設計師不釋放,程式結束時可能由os 注意它與資料結構中的堆是兩回事,分配方式倒...

c c 的堆與棧 與資料結構的堆和棧的區別

一 預備知識 程式的記憶體分配 乙個由c c 編譯的程式占用的記憶體分為以下幾個部分 1 棧區 stack 由編譯器自動分配釋放 存放函式的引數值,區域性變數的值等。其操作方式類似於資料結構中的棧。2 堆區 heap 一般由程式設計師分配釋放,若程式設計師不釋放,程式結束時可能由os 注意它與資料結...

C 與資料結構中的堆與棧的區別

一 預備知識 程式的記憶體分配 乙個由c c 編譯的程式占用的記憶體分為以下幾個部分 棧區 stack 由編譯器自動分配釋放 存放函式的引數值,區域性變數的值等。其 操作方式類似於資料結構中的棧。堆區 heap 一般由程式設計師分配釋放,若程式設計師不釋放,程式結束時可能由os回 收 注意它與資料結...