C++中的new和delete真的复杂吗？(上)中为大家介绍了与new有关的知识，这篇文章接着上一篇为大家讲解delete关键字。

前言

在上一篇文章中我们了解到new关键字的基本功能通过operator new与构造函数实现，而operator new除调用malloc分配内存外还调用new_handler来达到对内存整理与重分配，并通过抛出异常的方式来提示内存分配错误，那delete的执行细节又是怎样呢？我们一起来看一看！

1.delete关键字

C++ primer plus中如此描述delete关键字：
当需要内存时，可以使用new来请求。另一方面是delete运算符，它使得在使用完内存后，能够将其归还给内存池。

那么delete到底是如何归还内存的呢？
　　我们先来看一下delete简单类型时的情况：

            delete a;
01061278  push        eax  
01061279  call        dword ptr ds:[10630ACh]    // delete调用了 operator delete
0106127F  add         esp,8  

上面是delete执行时VS Release模式下的汇编码，有了new的经验大家应该可以猜到call语句的去向了。

void operator delete( void * p )
{
    RTCCALLBACK(_RTC_Free_hook, (p, 0));

    free( p );
}

继续跟踪我们发现与operator new相比较operator delete 相当的简洁，这里有一个RTCCALLBACK的宏定义，其原型我们可以在 rtcsup.h找到：

# define RTCCALLBACK(a, b)

很明显他是一个空的宏定义，这就意味着对于简单类型operator delete只是简单的调用了free。

如果读者在VS2010之后版本的编译器中使用delete时可能会发现delete后指针指向的地址发生了变化，这是因为在VS2010及之后的版本中加入了叫做safe delete特性，将delete后的指针指向特定安全值防止使用野指针或重复delete。如果用户使用delete后的指针，或重复delete一个指针，程序会抛出异常。

注意safe delete功能可以通过将指针赋NULL来实现但微软并没有这样做，因为delete一个空指针在C++中是
合法的，并不会抛出异常。在VS中delete一个空指针也不会触发safe delete。

2.delete复杂类型

class MyObject
{
public:
    int a;
    MyObject()
    {
        a = 1;
    }
    ~MyObject()
    {
        a = 0;
    }
};

delete在DEBUG模式下的汇编码。

            MyObject::`scalar deleting destructor':
003E2800  push        ebp  
003E2801  mov         ebp,esp  
003E2803  sub         esp,0CCh  
003E2809  push        ebx  
003E280A  push        esi  
003E280B  push        edi  
003E280C  push        ecx  
003E280D  lea         edi,[ebp-0CCh]  
003E2813  mov         ecx,33h  
003E2818  mov         eax,0CCCCCCCCh  
003E281D  rep stos    dword ptr es:[edi]  
003E281F  pop         ecx  
003E2820  mov         dword ptr [this],ecx  
003E2823  mov         ecx,dword ptr [this]  
003E2826  call        MyObject::~MyObject (03E1424h)   //先调用析构函数
003E282B  mov         eax,dword ptr [ebp+8]  
003E282E  and         eax,1  
003E2831  je          MyObject::`scalar deleting destructor'+3Fh       (03E283Fh)  
003E2833  mov         eax,dword ptr [this]  
003E2836  push        eax  
003E2837  call        operator delete (03E1122h)   // 后调用operator delete

从上面汇编执行过程我们就可以看出，delete在复杂类型情况下执行与new相反，先调用析构函数，在执行operator delete 归还内存。

3.delete的执行过程：

相对于new运算符delete的执行过程可以说相当简明：

delete -> 析构函数(如果有) -> operator delete -> RTCCALLBACK空宏定义 -> free

4.重载operator delete

和operator new一样，我们也可以重载operator delete。

class MyObject
{
public:
    int a;
    MyObject()
    {
        a = 1;
    }
    ~MyObject()
    {
        a = 0;
    }
    void operator delete(void *p)
    {
        std::cout << "delete MyObject" << std::endl;
        return ::operator delete(p);
    }
};

这里要注意由于operator new和operator delete 都是静态函数，如过将其重载为非Public类型将导致无法使用new和delete，当然也可以使用这一特性构造出特殊的代码。

5.delete[]

            delete[] m;
00B4393D  mov         eax,dword ptr [m]  
00B43940  mov         dword ptr [ebp-0E0h],eax  
00B43946  mov         ecx,dword ptr [ebp-0E0h]  
00B4394C  mov         dword ptr [ebp-0ECh],ecx  
00B43952  cmp         dword ptr [ebp-0ECh],0  
00B43959  je          main+0F0h (0B43970h)  
00B4395B  push        3  
00B4395D  mov         ecx,dword ptr [ebp-0ECh]  
00B43963  call        MyObject::`vector deleting destructor' (0B414B0h)    
//delete[] 使用 vector deleting destructor 来释放数组

delete[]使用vector deleting destructor 来释放数组，而复杂类型使用数组头指针储存数组长度，使用delete[]没有问题，但使用delete就变成了简单释放头指针指向的内存这会造成内存泄露。
　　而简单数据类型则完全没有问题，也就是说：

int * a = new int[15];
delete a;

这是可行的，具体为什么可行就要到free内部找答案了。读者可自行探究。虽然可行，但从习惯上来说还是建议使用delete[] 释放 int[]申请的内存。

new与delete还有很多重载用法，这里就不再向大家一一列举了，希望大家喜欢我的文章！
　　　　　　　　　　　　简书●null122转载请注明出处