c++的placement new是什么 在指定内存地址上构造对象【高级技巧】

placement new 是 C++ 中不分配内存、仅在指定地址构造对象的特殊 new 表达式,用于内存池、嵌入式系统、容器实现等场景,需手动调用析构函数且内存须对齐合法。

placement new 是 C++ 中一种特殊的 new 表达式,它不分配内存,而是在你**已经准备好的、指定的内存地址上直接构造对象**。本质是“跳过内存分配,只执行构造函数”。

为什么需要 placement new?

常见于以下场景:

  • 内存池管理:预先分配一大块内存,用 placement new 在其中反复构造/析构对象,避免频繁调用 malloc/new
  • 嵌入式或实时系统:对象必须位于特定地址(如硬件寄存器映射区、共享内存段)
  • 容器实现(如 std::vector):先申请原始内存,再按需在其中构造元素
  • 自定义对象布局控制:比如实现联合体中的可变对象、或手动管理 POD 与非 POD 混合布局

基本语法和用法

标准形式为:
new (address) Type(args...);

其中 address 是类型为 void* 的有效、对齐、足够大的内存指针。

示例:

#include   // 必须包含此头文件

char buffer[sizeof(std::string)]; // 原始内存缓冲区 std::string* p = new (buffer) std::string("hello"); // 在 buffer 起始处构造 string

// 使用完毕后,不能用 delete,而要显式调用析构函数: p->~string();

// 注意:buffer 是栈内存,无需 free;若用 malloc 分配,则需 free(buffer)

关键注意事项

  • 不触发内存分配:placement new 不调用全局或类专属的 operator new,只调用构造函数
  • 必须手动调用析构函数:因为没有对应的 delete 配对机制,否则资源泄漏(如 std::string 内部堆内存未释放)
  • 内存必须满足对齐要求:例如 alignas(std::max_align_t) 或用 std::aligned_storage / C++17 的 std::aligned_alloc
  • 不检查内存是否可用:传入非法地址(如 nullptr、未分配空间、越界)会导致未定义行为

与普通 new 的根本区别

普通 new T = 分配内存 + 构造对象
placement new new (p) T = 仅构造对象(前提是 p 已指向合法内存)

它不是“重载 new”,而是语言内置的语法特例;你也不能只重载 placement new 而不提供对应 placement delete(虽然通常不实现后者,因不涉及释放)。