欧美bbbwbbbw肥妇,免费乱码人妻系列日韩,一级黄片

深入理解C語言的new[]和delete[]

 更新時(shí)間:2021年09月07日 10:58:53   作者:chls  
new和delete既是C++中的關(guān)鍵字也是一種特殊的運(yùn)算符。這篇文章主要介紹了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)文章

最新評(píng)論