placement new 是在已分配内存上仅调用构造函数的操作，不分配内存；普通 new 则先分配内存再构造。必须手动对齐、确保空间足够、显式析构，且不可用 delete 销毁。
placement new 是什么，它和普通 new 有什么根本区别
placement new 不是独立的内存分配操作，它只是在已分配好的内存上**调用构造函数**。普通 new 会先调用 operator new 分配内存，再调用构造函数；而 placement new 跳过分配步骤，只做构造——所以你必须自己确保传入的指针指向一块足够大、对齐正确、未被使用的内存。
常见误用：直接对栈数组或未初始化的 char 缓冲区调用 placement new，却不检查对齐或大小，导致未定义行为（如程序崩溃、对象字段读写错位）。
- 必须包含头文件
<new></new>，否则编译报错：error: 'operator new' is not declared in this scope - 不能用
delete销毁 placement new 构造的对象；必须显式调用析构函数，再自行管理底层内存 - 标准库不提供对应的 placement
delete，仅用于异常时清理构造中途失败的对象
如何安全地在栈上用 placement new 构造对象
栈上分配缓冲区最常用也最容易出错。关键不是“能不能”，而是“对齐是否满足”。C++11 起推荐用 alignas 显式对齐，而不是靠 sizeof 估算：
#include <new>
struct MyType { int a; double b; };
alignas(MyType) char buffer[sizeof(MyType)]; // 确保 buffer 地址对齐到 MyType 所需边界
MyType* p = new (buffer) MyType{42, 3.14}; // 安全构造
// ... 使用 p
p->~MyType(); // 必须手动析构！</new>
如果忽略 alignas，仅用 char buffer[128]，在某些平台（如 ARM64 或含 std::vector<double></double> 成员的类）上可能因地址未按 8/16 字节对齐，触发硬件异常或静默数据损坏。
- 不要用
reinterpret_cast<mytype>(buffer)</mytype>替代 placement new —— 这跳过了构造函数，成员不会被初始化 - 若对象有虚函数或虚基类，未走 placement new 构造会导致 vptr 未设置，后续调用虚函数直接崩溃
- 栈空间有限，避免在栈上用 placement new 构造大型对象或数组（易栈溢出）
在堆内存或自定义内存池中使用 placement new 的典型流程
这是 placement new 的核心价值场景：配合内存池、对象池或 mmap 映射的共享内存。流程固定为三步：申请原始内存 → placement new 构造 → 显式析构 → 释放/回收原始内存。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
void* raw_mem = ::operator new(1024); // 或 malloc(), mmap(), pool->alloc()
MyType* obj = new (raw_mem) MyType{"hello"};
// ... 使用 obj
obj->~MyType(); // 析构不可省略
::operator delete(raw_mem); // 或 free(), munmap(), pool->free()
注意 ::operator new 和 ::operator delete 是全局版本，绕过可能被重载的类内版本，确保底层内存操作可控。
- 若使用自定义分配器（如
std::pmr::memory_resource），应统一用其allocate()/deallocate()，而非混用malloc和::operator delete - 多线程环境下，确保同一块原始内存不会被多个线程同时用于 placement new 构造不同对象（无内部同步）
- 异常安全：若构造函数抛异常，placement new 会自动调用已成功构造的子对象的析构函数，但原始内存仍需你负责释放
为什么 delete 不能用于 placement new 创建的对象
因为 delete 行为是「调用析构函数 + 调用 operator delete 释放内存」，而 placement new 没有配套的内存分配逻辑，operator delete 无法知道这块内存是怎么来的（栈？mmap？池？），强行调用会触发 free(nullptr)、段错误或内存管理器崩溃。
典型错误现象：double free or corruption、munmap_chunk(): invalid pointer、或在 ASan 下报告 attempting double-free。
- 唯一合法释放方式：先
p->~T()，再按原始分配方式回收（::operator delete(p)/free(p)/pool->deallocate(p, size)） - 若构造函数抛异常，C++ 标准保证已构造的子对象会被逆序析构，但你仍需捕获异常并处理原始内存（否则泄漏）
- 没有“placement delete”语法；
delete后面跟括号（如delete (ptr) p）是非法的，编译不通过
真正难的不是语法，是始终记住：placement new 只负责“出生”，不管“后事”。每一步内存生命周期的交接点——对齐、大小、析构时机、回收方式——都得你亲手确认，漏掉任何一个，问题往往在运行时才浮现，且难以复现。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
