一、用于動(dòng)態(tài)分配的內(nèi)存區(qū)段會(huì)叫堆的原因

堆（heap）這個(gè)術(shù)語(yǔ)在計(jì)算機(jī)領(lǐng)域中有多個(gè)含義，其中之一就是指用于動(dòng)態(tài)分配內(nèi)存的內(nèi)存區(qū)段。

1、堆的名字來(lái)自于堆（heap）這個(gè)詞在英語(yǔ)中的另外一個(gè)含義

堆（heap）的名字來(lái)自于堆（heap）這個(gè)詞在英語(yǔ)中的另外一個(gè)含義。在英語(yǔ)中，堆（heap）也可以指雜亂的堆積物或者堆放物，這種物品通常是雜亂無(wú)序的、難以管理的，因此堆（heap）這個(gè)詞在計(jì)算機(jī)科學(xué)中被引申為指動(dòng)態(tài)分配內(nèi)存的區(qū)域，因?yàn)閯?dòng)態(tài)分配的內(nèi)存也是雜亂無(wú)序的、難以管理的。

2、堆是由 C 語(yǔ)言的內(nèi)存管理機(jī)制演化而來(lái)

另外，還有一種說(shuō)法認(rèn)為「堆」這個(gè)術(shù)語(yǔ)是由 C 語(yǔ)言的內(nèi)存管理機(jī)制演化而來(lái)。在 C 語(yǔ)言中，程序可以通過(guò)調(diào)用 malloc 函數(shù)來(lái)動(dòng)態(tài)分配內(nèi)存。由于 C 語(yǔ)言的內(nèi)存管理機(jī)制并沒(méi)有自動(dòng)回收已經(jīng)分配的內(nèi)存，程序員需要手動(dòng)調(diào)用 free 函數(shù)來(lái)釋放已經(jīng)分配的內(nèi)存，否則會(huì)導(dǎo)致內(nèi)存泄漏。由于 C 語(yǔ)言的內(nèi)存分配機(jī)制是基于內(nèi)存池的方式實(shí)現(xiàn)的，而內(nèi)存池中的內(nèi)存塊是按照一定的順序分配的，因此被稱為「堆」。

在計(jì)算機(jī)科學(xué)中，堆是一種可以動(dòng)態(tài)分配內(nèi)存的數(shù)據(jù)結(jié)構(gòu)，具有以下特點(diǎn)：

堆可以動(dòng)態(tài)分配內(nèi)存，即程序可以在運(yùn)行時(shí)申請(qǐng)一段內(nèi)存用于存儲(chǔ)數(shù)據(jù)。堆的內(nèi)存空間是按需分配的，即程序可以根據(jù)需要申請(qǐng)和釋放內(nèi)存。堆的內(nèi)存空間是雜亂無(wú)序的，因?yàn)槌绦蛟谶\(yùn)行時(shí)可以隨時(shí)申請(qǐng)和釋放內(nèi)存，導(dǎo)致內(nèi)存空間不連續(xù)、不規(guī)則。堆的內(nèi)存管理是由程序員負(fù)責(zé)的，即程序員需要手動(dòng)申請(qǐng)和釋放內(nèi)存，否則會(huì)導(dǎo)致內(nèi)存泄漏或者內(nèi)存溢出等問(wèn)題。

延伸閱讀1：什么是數(shù)據(jù)結(jié)構(gòu)

數(shù)據(jù)結(jié)構(gòu)是計(jì)算機(jī)存儲(chǔ)、組織數(shù)據(jù)的方式。數(shù)據(jù)結(jié)構(gòu)是指相互之間存在一種或多種特定關(guān)系的數(shù)據(jù)元素的集合。通常情況下，精心選擇的數(shù)據(jù)結(jié)構(gòu)可以帶來(lái)更高的運(yùn)行或者存儲(chǔ)效率。數(shù)據(jù)結(jié)構(gòu)往往同高效的檢索算法和索引技術(shù)有關(guān)。

數(shù)據(jù)結(jié)構(gòu)(data structure)是帶有結(jié)構(gòu)特性的數(shù)據(jù)元素的集合，它研究的是數(shù)據(jù)的邏輯結(jié)構(gòu)和數(shù)據(jù)的物理結(jié)構(gòu)以及它們之間的相互關(guān)系，并對(duì)這種結(jié)構(gòu)定義相適應(yīng)的運(yùn)算，設(shè)計(jì)出相應(yīng)的算法，并確保經(jīng)過(guò)這些運(yùn)算以后所得到的新結(jié)構(gòu)仍保持原來(lái)的結(jié)構(gòu)類型。簡(jiǎn)而言之，數(shù)據(jù)結(jié)構(gòu)是相互之間存在一種或多種特定關(guān)系的數(shù)據(jù)元素的集合，即帶“結(jié)構(gòu)”的數(shù)據(jù)元素的集合。“結(jié)構(gòu)”就是指數(shù)據(jù)元素之間存在的關(guān)系，分為邏輯結(jié)構(gòu)和存儲(chǔ)結(jié)構(gòu)。

數(shù)據(jù)的邏輯結(jié)構(gòu)和物理結(jié)構(gòu)是數(shù)據(jù)結(jié)構(gòu)的兩個(gè)密切相關(guān)的方面，同一邏輯結(jié)構(gòu)可以對(duì)應(yīng)不同的存儲(chǔ)結(jié)構(gòu)。算法的設(shè)計(jì)取決于數(shù)據(jù)的邏輯結(jié)構(gòu)，而算法的實(shí)現(xiàn)依賴于指定的存儲(chǔ)結(jié)構(gòu)。