delete与delete []的区别

一直很好奇delete 和 delete []有什么不同？今天我从汇编的角度看一看

测试源代码

#include <iostream>

int main()
{
    char* data1 = new char[10];
    char* data2 = new char[10];
    std::cout << data1 << data2 << std::endl;
    delete[] data1;
    delete data2;
    return 0;
}

使用vs2019查看其内部实现

delete

delete []

可以看到两个内部实现是一样的，说明delete 和 delete [] 使用没有区别

可是在网上查询资料说，当析构对象数组时必须要用delete [] ,如果使用delete的话会只调用数组第一个对象的析构函数。下面用vs看看

测试源代码

#include <iostream>;
using namespace std;

class T {
public:
	T() { cout << "constructor" << endl; }
	~T() { cout << "destructor" << endl; }
};

int main()
{
	const int NUM = 3;

	T* p1 = new T[NUM];
	cout << hex << p1 << endl;      //输出P1的地址
	  //delete[] p1;
	delete p1;

	cout << endl;

	T* p2 = new T[NUM];
	cout << p2 << endl;             //输出P2的地址
	delete[] p2;

	return 0;
}

使用vs2019查看其内部实现

delete

ConsoleApplication1.exe!T::`scalar deleting destructor'(unsigned int):
00032590  push        ebp  
00032591  mov         ebp,esp  
00032593  sub         esp,0CCh  
00032599  push        ebx  
0003259A  push        esi  
0003259B  push        edi  
0003259C  push        ecx  
0003259D  lea         edi,[ebp-0Ch]  
000325A0  mov         ecx,3  
000325A5  mov         eax,0CCCCCCCCh  
000325AA  rep stos    dword ptr es:[edi]  
000325AC  pop         ecx  
000325AD  mov         dword ptr [this],ecx  
000325B0  mov         ecx,dword ptr [this]  
000325B3  call        T::~T (031514h)  
000325B8  mov         eax,dword ptr [ebp+8]  
000325BB  and         eax,1  
000325BE  je          __$EncStackInitStart+31h (0325CEh)  
000325C0  push        1  
000325C2  mov         eax,dword ptr [this]  
000325C5  push        eax  
000325C6  call        operator delete (0310A0h)  
000325CB  add         esp,8  
000325CE  mov         eax,dword ptr [this]  
000325D1  pop         edi  
000325D2  pop         esi  
000325D3  pop         ebx  
000325D4  add         esp,0CCh  
000325DA  cmp         ebp,esp  
000325DC  call        __RTC_CheckEsp (0312F3h)  
000325E1  mov         esp,ebp  
000325E3  pop         ebp  
000325E4  ret         4  

可以看到000325B3处的call T::~T (031514h) 调用了一次析构函数

delete []

可以看到上面00CF26B7处将析构函数的地址作为第4个参数放入栈中，然后调用了00CF26C9处的eh vector destructor iterator函数，下面看看其内部实现

上面是一个典型的while循环，

00CF2EF6  mov         ecx,dword ptr [destructor]  
00CF2EF9  mov         dword ptr [ebp-28h],ecx  
00CF2EFC  mov         edx,dword ptr [ebp-28h]  
00CF2EFF  mov         dword ptr [ebp-20h],edx 

将析构函数放入ebp-20处，00CF2F0E call dword ptr [ebp-20h] 调用了析构函数。看来delete[] 是在释放内存前调用了对象数组的所有析构函数。

总结：

​ 当释放基本数据类型数组内存时，delete和delete[] 是一样的，而当释放对象数组内存时，delete只会调用首地址对象的析构函数，而delete [] 是在释放内存前调用了对象数组的所有析构函数。

补充：

动态创建的对象数组是如何存储数组个数的

example:

#include <iostream>;
using namespace std;

class T {
public:
	T() { cout << "constructor" << endl; }
	~T() { cout << "destructor" << endl; }
};

int main()
{
	 int NUM = 3;
	 scanf_s("%d", &NUM);
	T* p2 = new T[NUM];
	cout << p2 << endl;             //输出P2的地址
	delete[] p2;

	return 0;
}

输入5，结果

5
constructor
constructor
constructor
constructor
constructor
00B680BC
destructor
destructor
destructor
destructor
destructor

结果是对的，可是编译器是如何知道对象数组的个数，并且调用析构函数的呢

由上图可知，实际上编译器在分配内存会在首地址多分配4个字节，并且把数组的个数放入这多出来的4字节内存里

而在创建基本类型或结构体数组时，不会多分配内存