free store” VS “heap”

當(dāng)我問你C++的內(nèi)存布局時，你大概會回答：

“在C++中，內(nèi)存區(qū)分為5個區(qū)，分別是堆、棧、自由存儲區(qū)、全局/靜態(tài)存儲區(qū)、常量存儲區(qū)”。

如果我接著問你自由存儲區(qū)與堆有什么區(qū)別，你或許這樣回答：

“malloc在堆上分配的內(nèi)存塊，使用free釋放內(nèi)存，而new所申請的內(nèi)存則是在自由存儲區(qū)上，使用delete來釋放。”

這樣聽起來似乎也沒錯，但如果我接著問：

自由存儲區(qū)與堆是兩塊不同的內(nèi)存區(qū)域嗎？它們有可能相同嗎？

你可能就懵了。

事實(shí)上，我在網(wǎng)上看的很多博客，劃分自由存儲區(qū)與堆的分界線就是new/delete與malloc/free。然而，盡管C++標(biāo)準(zhǔn)沒有要求，但很多編譯器的new/delete都是以malloc/free為基礎(chǔ)來實(shí)現(xiàn)的。那么請問：借以malloc實(shí)現(xiàn)的new，所申請的內(nèi)存是在堆上還是在自由存儲區(qū)上？

從技術(shù)上來說，堆（heap）是C語言和操作系統(tǒng)的術(shù)語。堆是操作系統(tǒng)所維護(hù)的一塊特殊內(nèi)存，它提供了動態(tài)分配的功能，當(dāng)運(yùn)行程序調(diào)用malloc()時就會從中分配，稍后調(diào)用free可把內(nèi)存交還。而自由存儲是C++中通過new和delete動態(tài)分配和釋放對象的抽象概念，通過new來申請的內(nèi)存區(qū)域可稱為自由存儲區(qū)?；旧?，所有的C++編譯器默認(rèn)使用堆來實(shí)現(xiàn)自由存儲，也即是缺省的全局運(yùn)算符new和delete也許會按照malloc和free的方式來被實(shí)現(xiàn)，這時藉由new運(yùn)算符分配的對象，說它在堆上也對，說它在自由存儲區(qū)上也正確。但程序員也可以通過重載操作符，改用其他內(nèi)存來實(shí)現(xiàn)自由存儲，例如全局變量做的對象池，這時自由存儲區(qū)就區(qū)別于堆了。我們所需要記住的就是：

堆是操作系統(tǒng)維護(hù)的一塊內(nèi)存，而自由存儲是C++中通過new與delete動態(tài)分配和釋放對象的抽象概念。堆與自由存儲區(qū)并不等價。

問題的來源

再回過頭來來看看這個問題的起源在哪里。最先我們使用C語言的時候，并沒有這樣的爭議，很明確地知道m(xù)alloc/free是在堆上進(jìn)行內(nèi)存操作。直到我們在Bjarne Stroustrup的書籍中數(shù)次看到free store （自由存儲區(qū)）,說實(shí)話，我一直把自由存儲區(qū)等價于堆。而在Herb Sutter的《exceptional C++》中，明確指出了free store（自由存儲區(qū)） 與 heap（堆） 是有區(qū)別的。關(guān)于自由存儲區(qū)與堆是否等價的問題討論，大概就是從這里開始的：

Free Store
The free store is one of the two dynamic memory areas, allocated/freed by new/delete. Object lifetime can be less than the time the storage is allocated; that is, free store objects can have memory allocated without being immediately initialized, and can be destroyed without the memory being immediately deallocated. During the period when the storage is allocated but outside the object's lifetime, the storage may be accessed and manipulated through a void* but none of the proto-object's nonstatic members or member functions may be accessed, have their addresses taken, or be otherwise manipulated.

Heap
The heap is the other dynamic memory area, allocated/freed by malloc/free and their variants. Note that while the default global new and delete might be implemented in terms of malloc and free by a particular compiler, the heap is not the same as free store and memory allocated in one area cannot be safely deallocated in the other. Memory allocated from the heap can be used for objects of class type by placement-new construction and explicit destruction. If so used, the notes about free store object lifetime apply similarly here.

來源：http://www.gotw.ca/gotw/009.htm

作者也指出，之所以把堆與自由存儲區(qū)要分開來，是因?yàn)樵贑++標(biāo)準(zhǔn)草案中關(guān)于這兩種區(qū)域是否有聯(lián)系的問題一直很謹(jǐn)慎地沒有給予詳細(xì)說明，而且特定情況下new和delete是按照malloc和free來實(shí)現(xiàn)，或者說是放過來malloc和free是按照new和delete來實(shí)現(xiàn)的也沒有定論。這兩種內(nèi)存區(qū)域的運(yùn)作方式不同、訪問方式不同，所以應(yīng)該被當(dāng)成不一樣的東西來使用。

結(jié)論

• 自由存儲是C++中通過new與delete動態(tài)分配和釋放對象的抽象概念，而堆（heap）是C語言和操作系統(tǒng)的術(shù)語，是操作系統(tǒng)維護(hù)的一塊動態(tài)分配內(nèi)存。
• new所申請的內(nèi)存區(qū)域在C++中稱為自由存儲區(qū)。藉由堆實(shí)現(xiàn)的自由存儲，可以說new所申請的內(nèi)存區(qū)域在堆上。
• 堆與自由存儲區(qū)還是有區(qū)別的，它們并非等價。

本篇文章就到這里了，希望能夠給你帶來幫助，也希望您能夠多多關(guān)注腳本之家的更多內(nèi)容！