17370845950

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（虽然通常不实现后者，因不涉及释放）。