深入理解C語言的new[]和delete[]
c++的動(dòng)態(tài)內(nèi)存管理方式和c語言不一樣,在c++中使用new和delete來替換c語言中的malloc和free。這里有幾個(gè)點(diǎn)不一樣,
1、new和delete是操作符,malloc和free是函數(shù)(我的理解是c++將new和delete約定為操作符而已,new和delete操作符重載函數(shù)本質(zhì)上還是函數(shù))
2、c++有了類的概念,類對(duì)象的初始化除了要分配內(nèi)存,還需要對(duì)內(nèi)存進(jìn)行初始化!所以,c++必須引入一種新的內(nèi)存分配方式,既可以像malloc一樣開辟內(nèi)存,還要能夠調(diào)用類對(duì)象的構(gòu)造函數(shù)(delete的引入同理)。
3、new[]和delete[]是c++完全新增的內(nèi)存操作符,他們和new和delete也是有不一樣的地方。
下面,咱們來一一講解⬇
1、重載操作符
既然new和delete都是操作符,咱們可以對(duì)new和delete進(jìn)行重載;當(dāng)你再使用new和delete操作內(nèi)存時(shí),編譯器就會(huì)調(diào)用到咱們自己重載的new/delete全局函數(shù)了。(如對(duì)操作符重載不了解的,請(qǐng)自行補(bǔ)充知識(shí))
void* operator new(size_t size){ if(size == 0) size = 1; void* ptr = malloc(size); if(ptr == nullptr){ std::cout << "ERROR NEW!" << std::endl; } std::cout << "NEW Memory Size = " << size << " address = " << ptr << std::endl; return ptr; } void* operator new[](size_t size){ if(size == 0) size = 1; void* ptr = malloc(size); if(ptr == nullptr){ std::cout << "ERROR NEW[]!" << std::endl; } std::cout << "NEW[] Memory Size = " << size << " address = " << ptr << std::endl; return ptr; } void operator delete(void* ptr){ std::cout << "DELETE " << ptr << std::endl; if(ptr) free(ptr); } void operator delete[](void* ptr){ std::cout << "DELETE[] " << ptr << std::endl; if(ptr) free(ptr); }
此時(shí),再使用 int* p = new int {1}; 開辟內(nèi)存,那么,c++編譯器會(huì)自動(dòng)鏈接到我們剛才的操作符重載函數(shù) void* operator new(size_t size) ,至于編譯器是怎么將 int* p = new int {1}; 解析成 void* operator new(size_t size) 函數(shù)的,咱們不關(guān)心,咱們只要知道編譯器做了這樣一層代碼解析轉(zhuǎn)換即可。并且,轉(zhuǎn)換的過程中會(huì)將需要開辟的內(nèi)存大小當(dāng)作形式參數(shù)傳遞過去!
這里還有一點(diǎn)需要注意:函數(shù)的返回值是void*,而咱們new操作接收的返回值為int*,這里其實(shí)也是編譯在底層做了一層轉(zhuǎn)換?。ǚ浅V匾?,new 的返回值和 operator new 函數(shù)的返回并不完全相同,包括類型和地址)
2、new和delete的原理
在開始驗(yàn)證new和delete之前,咱們先使用以下代碼:
#include <iostream> #include <stdlib.h> #include <memory> using namespace std; //此處添加前面一步重載new和delete的代碼 class Master { public: Master() { printf("constructor ---- %p\n",this); c = rand()%10000; } ~Master() { printf("destructor ---- %p\n", this); } public: int c; }; int main() { Master * p = new Master{}; delete p; return 0; }
推薦一個(gè)在線調(diào)試cpp的網(wǎng)站:Compiler Explorer (godbolt.org)
Master * p = new Master{};
這一行的匯編信息如下:
這里有3個(gè)點(diǎn)要注意,
- 內(nèi)存大小在編譯時(shí)確定
- 會(huì)先調(diào)用operator new(unsigned long)函數(shù)
- 最后會(huì)調(diào)用構(gòu)造函數(shù)
那么,delete操作的匯編信息應(yīng)該和new剛好相反,這個(gè)可以自行測試!
下面將咱們重載的operator方法添加進(jìn)去,然后執(zhí)行,output日志信息如下:
NEW Memory Size = 4 address = 0x2154eb0 constructor ---- 0x2154eb0 destructor ---- 0x2154eb0 DELETE 0x2154eb0
通過日志,咱們也能夠得出這樣的結(jié)論:
new: 先malloc內(nèi)存,然后執(zhí)行構(gòu)造函數(shù) delete:先執(zhí)行析構(gòu)函數(shù),然后free內(nèi)存
3、new[]和delete[]的原理
前面咱們說了new/delete與new[]/delete[]有一些不同,那我們先看看日志信息,請(qǐng)?zhí)砑右韵聹y試代碼:
int main() { Master * p = new Master{}; //測試new[] Master * pArray = new Master[5]; printf("pArray = %p\n", pArray); printf("pArray[0] = %p\n", &pArray[0]); printf("pArray[1] = %p\n", &pArray[1]); // delete[] pArray; // delete p; return 0; } /// output:---------------------------------------begin NEW Memory Size = 4 address = 0x565422925eb0 constructor ---- 0x565422925eb0 NEW[] Memory Size = 28 address = 0x5654229262e0 constructor ---- 0x5654229262e8 constructor ---- 0x5654229262ec constructor ---- 0x5654229262f0 constructor ---- 0x5654229262f4 constructor ---- 0x5654229262f8 pArray = 0x5654229262e8 pArray[0] = 0x5654229262e8 pArray[1] = 0x5654229262ec output:----------------------------------------end
重點(diǎn)來了,malloc返回的內(nèi)存地址(0x5654229262e0)和new[]返回的地址(0x5654229262e8)并不一致,而且申請(qǐng)的內(nèi)存大小并不是Master類的大小 4*5=20,而是28??!
通過匯編代碼,我們看到這里確實(shí)偏移了8個(gè)字節(jié)!其他的操作與new沒有多大差別,都是先調(diào)用operator new[],然后再循環(huán)調(diào)用數(shù)組中的每個(gè)對(duì)象的構(gòu)造函數(shù)!
通過output日志和匯編分析,可以得到我們前面講到的結(jié)論:(非常重要,new 的返回值和 operator new 函數(shù)的返回并不完全相同,包括類型和地址)!
我們調(diào)用 delete[] pArray; 刪除的地址為 0x5654229262e8,而真實(shí)觸發(fā) operator delete[] 的形參為 0x5654229262e0, 詳細(xì)日志信息如下:
也就是operator new[] 和 operator delete[] 的操作的內(nèi)存是真實(shí)地址,并且是正確的!為什么會(huì)這樣?就是因?yàn)閏++編譯器在底層做了一次轉(zhuǎn)換!
這個(gè)問題也很好理解,如果編譯器沒有這樣一層邏輯轉(zhuǎn)換,當(dāng)你 delete[] 一個(gè)數(shù)組時(shí),編譯器要怎么操作呢?他怎么知道數(shù)組的長度然后遍歷去調(diào)用析構(gòu)函數(shù)呢?所以,這樣一層邏輯轉(zhuǎn)換有了存在的意義,這也體現(xiàn)在 new[] 數(shù)組時(shí)為什么大小并不是 = 對(duì)象大小*數(shù)組長度,而是多了8個(gè)字節(jié)!
好了嘛,那多出來的8字節(jié)是不是就是數(shù)組長度呢?咱們可以把這塊內(nèi)存信息輸出!添加以下代碼:
unsigned long* pSize = (unsigned long*)pArray - 1;//偏移8字節(jié) printf("p = %p\n", pSize); printf("sizeof pArray = %d\n", *pSize);//輸出該地址上的內(nèi)存數(shù)據(jù)
日志輸出:
偏移8字節(jié)之后就是咱們 operator new[] 函數(shù)分配的真實(shí)的內(nèi)存地址,然后咱們輸出該地址8字節(jié)空間的數(shù)據(jù)信息為5,這就是申請(qǐng)的數(shù)據(jù)空間的大小!
也就是有了這個(gè)多余的8字節(jié)(在32位系統(tǒng)上為4字節(jié)),new[] 存儲(chǔ)數(shù)組長度到該內(nèi)存, delete[] 時(shí)就能夠從該內(nèi)存讀取數(shù)組長度,并遍歷數(shù)組去調(diào)用析構(gòu)函數(shù)啦!
總結(jié)
本篇文章就到這里了,希望能夠給你帶來幫助,也希望您能夠多多關(guān)注腳本之家的更多內(nèi)容!
相關(guān)文章
C++ getcwd函數(shù)獲取項(xiàng)目運(yùn)行路徑方法詳解
在Linux下做QT項(xiàng)目時(shí),需要獲取項(xiàng)目的運(yùn)行路徑,于是用getcwd函數(shù)進(jìn)行獲取,然后在Windows下進(jìn)行測試,發(fā)現(xiàn)獲取到的是程序的項(xiàng)目路徑,即代碼文件路徑,然后再Linux QT中測試,獲取到的又是運(yùn)行路徑,這就很納悶了。經(jīng)過再三測試,終于發(fā)現(xiàn)了原因2022-10-10vc中float與DWORD的互想轉(zhuǎn)換實(shí)現(xiàn)代碼
這篇文章主要介紹了vc中float與DWORD的互想轉(zhuǎn)換實(shí)現(xiàn)代碼,需要的朋友可以參考下2017-06-06利用C++的基本算法實(shí)現(xiàn)十個(gè)數(shù)排序
以下是對(duì)利用C++的基本算法實(shí)現(xiàn)十個(gè)數(shù)排序的代碼進(jìn)行了介紹,需要的朋友可以過來參考下,希望對(duì)大家有所幫助2013-10-10C++應(yīng)用Eigen庫對(duì)應(yīng)實(shí)現(xiàn)matlab中部分函數(shù)問題
這篇文章主要介紹了C++應(yīng)用Eigen庫對(duì)應(yīng)實(shí)現(xiàn)matlab中部分函數(shù)問題,具有很好的參考價(jià)值,希望對(duì)大家有所幫助。如有錯(cuò)誤或未考慮完全的地方,望不吝賜教2022-12-12C++基于Boost.Asio實(shí)現(xiàn)端口映射器的過程詳解
Boost.Asio 是一個(gè)功能強(qiáng)大的 C++ 庫,用于異步編程和網(wǎng)絡(luò)編程,它提供了跨平臺(tái)的異步 I/O 操作,在這篇文章中,我們將深入分析一個(gè)使用 Boost.Asio 實(shí)現(xiàn)的簡單端口映射服務(wù)器,文中有詳細(xì)的代碼講解,需要的朋友可以參考下2023-11-11