placement new 是 operator new 的重载形式,不分配内存而仅在指定地址构造对象;需包含 ,调用格式为 new(ptr) t(args...),析构必须手动调用 ~t()。

placement new 是什么,为什么不能直接 new
placement new 不是“另一种 new”,而是 operator new 的重载形式,它不分配内存,只在已有的内存地址上构造对象。你不能用它替代 new 去申请堆内存——它根本不会调用 ::operator new(size_t),也不会管理内存生命周期。
典型场景:对象需建在特定地址(如硬件寄存器映射区、共享内存、内存池预分配块),或想分离内存分配与对象构造逻辑。
常见错误现象:bad_alloc 不会抛出,但对象析构后若忘了手动调用 ~T(),再复用该内存就会发生未定义行为;更隐蔽的是,直接 delete 一个 placement new 构造的对象,会触发崩溃或静默损坏。
怎么写 placement new 调用,参数和头文件要注意什么
必须显式包含 <new></new>,否则编译失败(C++17 起标准要求)。调用格式固定:new (ptr) T(args...),其中 ptr 是 void* 类型、指向足够大且对齐正确的内存块。
立即学习“C++免费学习笔记(深入)”;
-
ptr必须满足T的对齐要求(可用alignof(T)检查),否则行为未定义 - 内存大小至少为
sizeof(T),但建议预留 padding(尤其涉及虚函数表或继承时) - 不能传入
nullptr,否则立即 UB(不是抛异常) - 构造失败时,只会调用
T的构造函数抛出的异常,operator new本身不抛异常
示例:
char buf[sizeof(std::string)];
std::string* s = new (buf) std::string("hello"); // OK
s->~string(); // 必须手动析构placement new 构造的对象怎么安全销毁
没有对应的 “placement delete” —— C++ 标准没提供自动匹配的析构机制。你必须显式调用析构函数,并确保不重复析构、不漏析构。
容易踩的坑:
- 误用
delete s:这会尝试调用全局operator delete(s),而s地址根本不是new返回的,必崩 - 忘记析构:后续用同一块内存构造新对象前,旧对象残留状态可能污染新实例
- 多态对象析构不安全:若
T有虚析构函数,直接s->~T()是安全的;但若指针类型是基类且无虚析构,就危险
正确做法永远是:s->~T();,然后按原始方式回收内存(比如归还给内存池、或 free() 对应的 malloc() 块)。
和普通 new 混用时性能与兼容性风险
placement new 本身零分配开销,但代价全在使用者肩上:对齐检查、内存生命周期管理、异常安全保障都得手写。一旦封装成模板工具,很容易在移动语义、noexcept 构造函数、或 constexpr 上翻车。
兼容性注意点:
- C++20 起,
std::allocator::construct内部可能用 placement new,但你不该假设它一定这么实现 - 某些嵌入式平台或自定义 STL 实现可能禁用或弱化
<new></new>,需确认__PLACEMENT_NEW_INLINE是否定义 - 调试器(如 GDB)通常不识别 placement new 构造的对象,变量视图里可能显示为未初始化
真正难的从来不是调用那行代码,而是保证从构造到析构再到内存释放,整条链路上每一步都对齐、不越界、不重复、不遗漏——尤其是跨线程或异常路径下。










