【C++】placement new 的简要介绍

在 C++ 中,动态创建一个新的对象所采用的常规语法是 Object* obj = new Object(); 这种形式。这种形式的 new 表达式 在编译器生成代码时会执行两个操作:

  1. 调用 operator new 函数分配原始内存(功能如 malloc);
  2. 调用 Object 类的构造函数 Object::Object()

如下面的例子:

#include <string>
#include <iostream>

class Object
{
public:
    Object(int n)
        : n(n)
    {
        std::cout << "Object() with n=" << n << std::endl;
    }

    ~Object()
    {
        std::cout << "~Object() with n=" << n << std::endl;
    }

    void dump() const
    {
        std::cout << "Object @ " << this << " with n=" << n << std::endl;
    }

protected:
    int n;
};

int main()
{
    Object* obj1 = new Object(626);
    obj1->dump();
    delete obj1;
}

将有类似下面的输出:

Object() with n=626
Object @ 00DAEF60 with n=626
~Object() with n=626

于是,这种形式的 new 有一个明显的缺陷:无法手动管理内存的分配,重载 operator new 可是强烈不建议的。

由于构造函数无法手动调用,如果我们需要手动管理 new 时的内存分配,应该怎么办呢?

这就会用到一种所谓的 placement new 语法:new (placement) Object();

这种形式的语法可不常见。其中括号内的 placement 即是我们手动指定的内存地址。 这种形式的 new 不会自动申请内存,而是直接使用我们提供的(不管值是多少,NULL 也是可以的),所以我们需要保证内存有效,并且大小合适(不能小于对象的字节数)。 然后在该内存上调用对象的构造函数来构造对象。由于内存是我们提供的,我们将不能直接 delete 掉该对象。而是 手动调用析构函数,然后手动回收内存(如果有必要)。

举个例子:

int main()
{
    // 在栈上分配至少 sizeof(Object) 大小的空间
    char mem[sizeof(Object)];

    std::cout << "mem: " << (void*)&mem[0] << std::endl;

    std::cout << "---------------------------------------" << std::endl;

    // 然后采用 placement new 语法在此内存上构造对象
    Object* obj1 = new (mem) Object(220);

    // 打印 obj 的地址,可以看到它就是 mem 的地址
    std::cout << "obj: " << obj1 << std::endl;

    obj1->dump();

    // 内存不是 new 创建的,不要直接调用 delete!
    // 而是手动调用析构函数来销毁对象,由于是栈上内存,让其自动释放
    obj1->~Object();

    std::cout << "---------------------------------------" << std::endl;

    // 调用析构函数后,只是对象被析构了,但内存还是在的
    // 可以直接在该内存上再次构造另一个对象
    Object* obj2 = new (mem) Object(626);
    obj2->dump();
    obj2->~Object();

    std::cout << "---------------------------------------" << std::endl;

    // 当然,手动分配内存也是可以的
    void* p = new char[sizeof(Object)];

    Object* obj3 = new (p) Object(123);
    obj3->dump();
    obj3->~Object();

    // 这个内存就需要我们自己释放了,因为是自己申请的
    delete[] p;
}

将有类似下面的输出,注意它们的地址全部是一样的:

mem: 008FFA08
---------------------------------------
Object() with n=220
obj: 008FFA08
Object @ 008FFA08 with n=220
~Object() with n=220
---------------------------------------
Object() with n=626
Object @ 008FFA08 with n=626
~Object() with n=626
---------------------------------------
Object() with n=123
Object @ 02D95B28 with n=123
~Object() with n=123

例子也举了几个了,话说 placement new 用在什么场合?

一言以蔽之:需要手动管理内存的地方!。比如:

  • 对象内存池,要知道,频繁分配小内存是会导致内存碎片严重,而且分配效率非常低下;
  • 标准库,标准库就大量运用了内存池,不过它有另外一个名字:Allocator。
发表于:2017年6月10日,阅读量:144,标签:C++ · 内存管理