首先我们有一个概念,new操作会执行两部:申请内存和构造函数,也就是说new操作的申请空间和执行构造函数是绑定的,placement new操作(new(p)int)是在给定的p内存上执行构造函数。我理解的给定内存是 甭管你怎么搞到的这块内存,只要这块内存比要new的对象占用的内存大,就可以进行placement new
那么给定内存p有几种方式呢
- 静态存储区
- 栈空间
- 堆空间
1、静态存储区上placement new
class A
{
public:
A() : x(1)
{
cout << "create A" << endl;
}
~A()
{
cout << "destory A" << endl;
}
int x;
};
int main()
{
static int p[20];
A *pa = new (p) A;
cout << &p << " " << pa << endl;
}
结果:
可以看到确实创建了一个A对象,并且地址在静态存储区上。
2、栈空间上placement new
这个代码与上一个代码类似,只要把static关键字去掉,在栈上申请空间就好了
结果:
可以看到这次创建A对象地址与上一个结果不同,这次是在栈上
3、堆空间上placement new
这个就比较复杂了,在堆空间上申请内存我现在知道的有三种方式 1)malloc,2)new, 3)allocator
-
malloc,只执行空间申请操作,并不进行初始化
char *p = (char *)malloc(sizeof(A) + sizeof(int));
A *pa = new (p) A();
cout << (int *)p << " " << pa << endl;
结果: ,可以看到在malloc的时候并没有执行A的初始化
-
new,因为申请空间与构造函数绑定,因此new的时候会执行构造函数
int main()
{
A *p = new A[3];
// char *p = (char *)malloc(sizeof(A) + sizeof(int));
A *pa = new (p) A();
cout << (int *)p << " " << pa << endl;
}
结果:,可以看到在new 创建空间的时候就执行了三次A的构造函数
-
allocator,有点类似与malloc,进行内存的申请,但并不进行初始化。c++ primer上说 allocator是帮助我们将内存分配和对象构造分离开。
#include <memory>
int main()
{
allocator<A> alloc;
A *p = alloc.allocate(3);
A *pa = new (p) A();
cout << (int *)p << " " << pa << endl;
}
结果:,可以看到只执行了一次A的构造,在我们分配内存的时候并没有执行构造函数
这里使用的是new来进行对象的构造,其实allocator提供了自己构造对象的方法
#include <memory>
int main()
{
allocator<A> alloc;
A *p = alloc.allocate(3);
// A *pa = new (p) A();
auto q = p;
alloc.construct(q); //在q上执行对象构造
cout << (int *)p << " " << (int *)q << endl;
alloc.destroy(q); //执行q对象的析构
alloc.deallocate(p, 3); //将申请的3块空间释放
}
结果:
完结 撒花~