由于C++加入了自定义类型,如果还沿用C中的内存管理方法将会带来诸多不便。因此C++引入了新的内存管理方法:new和delete操作符进行动态内存管理。
new/delete操作内置类型
int test()
{
int* ptr1 = new int;//动态申请一个int类型的空间
int* ptr2 = new int(2);//动态申请一个int类型的空间并初始化为2
int* ptr3 = new int[10];//动态申请10个int类型的空间
int* ptr4 = new int[10]{0};//动态申请10个int类型的空间并全部初始化为0
delete ptr1;
delete ptr2;
delete[] ptr3;//注意与单个空间的回收区分
delete[] ptr4;
return 0;
}
new/delete操作自定义类型
class A
{
public:
A(int a = 0)
:_a(a)
{}
private:
_a;
};
int main()
{
A* p1 = new A(1);//分配一个A类对象大小的空间同时调用构造函数初始化
A* p2 = (A*)malloc(sizeof(A));//仅分配一个A类对象大小的空间
delete p1;//调用析构函数并回收空间
free p2;//直接释放p2指向的空间
return 0;
}
在申请自定义类型空间时,new会调用构造函数,delete会调用析构函数,而malloc和free不会。当自定义类型为某种容器时(链表或其他数据结构),若在回收空间时不调用析构函数,会产生内存泄漏的问题。
new和delete实现原理
针对内置类型,new和malloc,delete和free基本类似,不同的是,new在申请空间失败后会抛异常,而malloc申请空间失败会返回NULL指针。
针对自定义类型,new会首先调用operator new函数来申请空间,第二步再在申请的空间上调用构造函数完成对象的构造。而delete则是现在空间上调用析构函数完成对对象的资源回收,再调用operator delete函数释放对象的空间。
new typename[N]同理,先调用operator new[]函数(实际上调用的还是operator new)分配空间,再调用N次构造函数。而delete[]则是先在空间上完成N次析构,再调用operator delete[](实际上调用的还是operator delete)释放空间。
那么operator new和operator delete是什么呢?看名字很容易让人误以为是运算符重载,但实际上是库里面的2个函数。operator new在底层还是使用malloc来分配空间,当分配空间失败后会抛异常,因此operator new可以简单理解为malloc加上抛异常。operator delete同理,也是使用free来释放空间。
注意new和delete搭配使用,且注意当new多个空间时要使用delete[],否则运行结果不确定(特别是申请自定义类型时),因为new多个对象时,编译器会在开头多分配4个字节来存放对象的个数,但返回的指针指向这4个字节的后面,因此这个返回的指针并不是这段内存空间的起始位置,所以对new[N]若是使用delete而不是delete[]的话,可能会出现问题。那么为什么是可能出现问题而不是一定出现问题呢?因为编译器存在优化,当这个类不需要调用析构函数(调用和不调用区别不大)时,编译器可能不多开4字节的空间存放个数,此时是不会报错的。但不同编译器处理方法不一样,因此最好还是要匹配使用。