placement new 和 allocator的一些理解

首先我们有一个概念，new操作会执行两部：申请内存和构造函数，也就是说new操作的申请空间和执行构造函数是绑定的，placement new操作（new(p)int）是在给定的p内存上执行构造函数。我理解的给定内存是 甭管你怎么搞到的这块内存，只要这块内存比要new的对象占用的内存大，就可以进行placement new

那么给定内存p有几种方式呢

1. 静态存储区
2. 栈空间
3. 堆空间

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块空间释放
}

结果：

 

 

完结  撒花~