NEWind（深入理解new和delete的原理）

new ,delete 运算符

int *p =new int; delete p; 看一下汇编代码

可以看到new 和delete 运算符其实也是 operator运算符重载函数的调用

malloc和new

malloc 按字节开辟内存 new在开辟内存的时候需要指定类型 new int[10]

malloc 返回的是 void * 而 operator new 会帮助 转为 int *

malloc只负责开辟空间, new 不仅仅有malloc的功能,可以进行数据的初始化 new int(20) new int100;

malloc 开辟失败返回nullptr指针, new 开辟失败 是抛出 bad_alloc的异常 try{ int *p=new int; delete p; }catch(const bad_alloc & err){ cerr<<err.what()<<endl; }

free和 delete

delete:调用析构函数 再 free() new -> operator new delete ->operator delete //先调用operator new 开辟内存空间,然后调用对象的构造函数(初始化) void * operator new(int size){ void *p=malloc(size); if(p==nullptr){ throw bad_alloc(); } return p; } //delete p ：调用p指向的对象的析构函数，再调用operator delete 释放内存空间 void operator delete(void * p){ free(p); } //针对数组用得new void * operator new[](int size){ void *p=malloc(size); if(p==nullptr){ throw bad_alloc(); } return p; } //针对数组用得delete void operator delete[](void * p){ free(p); } new 和 delete ; new[] delete[] 能混用吗? class student{ public: student(int age):page(new int(age)){ } ~student(){ delete page; } private: int * page; } sutdent *ps=new student(20); delete ps;//student 会被析构 delete [] ps;//执行报错 sutdent *ps2=new student[20]; delete []ps2; //20个student 会被析构 delete ps2;//执行报错

从上图中可以看到 Test * p=new Test[5]; 编译器会申请 4+ 5 *4 =24个字节空间 前4个用于存储对象个数信息 第5到第24个用于存储对象信息, 在delete [] p的时候,编译器发现了[]，会去头4个字节中取出对象个数,然后再 第5个自己到第20个字节按照每4个字节为一个对象进行 对象的析构函数的调用,最后 free(0x100); 所以 Test *p =new Test; delete [] p ;//运行时会报错, 除了析构p地址外,还会 free(p-4);这就有问题 因为 Test *p=new Test 只是一个对象 时,不会产生前面4个字节的辅助信息 Test *p =new Test[5]; delete p; 只会析构p所指向地址的对象 0x104, free(0x104), 正确的是free(0x100) 所以运行报错 自定义的类类型,有析构函数,为了调用正确的析构函数,那么开辟的对象数组的时候,会多开辟4个字节,记录对象的个数