C++怎么使用placement new_C++定位new操作详解【内存】

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

C++怎么使用placement new_C++定位new操作详解【内存】

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...),其中 ptrvoid* 类型、指向足够大且对齐正确的内存块。

立即学习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 构造的对象,变量视图里可能显示为未初始化

真正难的从来不是调用那行代码,而是保证从构造到析构再到内存释放,整条链路上每一步都对齐、不越界、不重复、不遗漏——尤其是跨线程或异常路径下。