当前位置：首页 > news >正文

C++系列-定位new表达式（placement-new）

news 来源：原创 2024/7/27 21:15:59

🌈个人主页：羽晨同学

💫个人格言:“成为自己未来的主人~”

我们先来强调一个很关键的问题，那就是在new和delete中的一一对应的问题，

我们先来看一段代码：

#include<iostream>
using namespace std;
class A
{
public:A(int a = 0):_a(a){cout << "A(int a = 0)" << endl;}~A(){cout << "~A()" << endl;}
private:int _a;
};
int main()
{//A* p1 = new A;A* p2 = new A[10];//cout << sizeof() << endl;//delete[] p2;delete p2;//free(p2);//int* p3 = new int[10];//free(p3);return 0;
}

在这段代码当中，会发生报错情况，你知道是为什么吗？

这个原因是为什么呢？

用new[]创建多个变量的时候，编译器会在前面自动加上四个字节，用来告诉编译器，一共有多少个变量，但是删除的时候并不会从头进行删除，也就是说并不会删除完全，所以会出现报错情况。

所以，我们最好的选择就是要进行一一对应。

	A* p2 = new A[10];//cout << sizeof() << endl;delete[] p2;

	A* p1 = new A;p1->A();

另外，在编译器当中，不支持这样显示调用构造函数，那么正确的做法应该是下面这样子：

	A* p1 = new A;new(p1)A;new(p1)A(10);

我们可以通过上面这样的方式对已有的空间，显示调用构造。

或者也可以显示调用operator new和operator new[]这两个全局函数

	A* p2 = (A*)operator new[](sizeof(A) * 10);new(p2)A[10]{ 1,2,3,4 };

我们也可以采用另外一种方式进行初始化赋值

	A* p2 = (A*)operator new[](sizeof(A) * 10);/*new(p2)A[10]{ 1,2,3,4 };*/for (int i = 0; i < 10; i++)new(p2 + i)A(i);for (int i = 0; i < 10; ++i){(p2 + i)->~A();}operator delete[](p2);

注意事项：

malloc和free是函数，new和delete是操作符
malloc申请的空间不会初始化，new可以初始化
malloc申请空间时，需要手动计算空间大小并传递，new只需在其后跟上空间的类型即可，如果是多个对象，[]中指定对象个数即可
malloc的返回值是void*，在使用时必须要强转，new不需要，因为new后面跟的是空间的类型
malloc申请空间失败时，返回的是NULL，因此使用时必须判空，new不需要，但是new需要补货异常
申请自定义类型对象时，malloc/free只会开辟空间，不会调用构造函数与析构函数，而new在申请空间后会调用构造函数完成对象的初始化，delete在释放空间前会调用析构函数完成空间中资源的清理。