placement new用于在已分配内存上构造对象,不分配内存仅调用构造函数,适用于内存池、共享内存等场景,需手动调用析构函数并确保内存对齐与大小足够。

在C++中,placement new 是一种特殊的new语法,用于在已分配的原始内存上构造对象。它不负责分配内存,只负责调用对象的构造函数,在指定位置进行初始化。这个特性在需要精细控制内存管理的场景中非常有用,比如自定义内存池、嵌入式系统或标准库容器的实现。
placement new的基本语法
普通new操作符会完成两件事:一是分配内存,二是调用构造函数。而placement new跳过内存分配,直接在给定地址构造对象。
其基本形式如下:
void* operator new(size_t size, void* ptr) noexcept;
这个版本的operator new接受两个参数:要分配的字节数(通常被忽略)和一个指向已有内存的指针。它返回该指针本身,以便后续调用构造函数。
立即学习“C++免费学习笔记(深入)”;
使用方式示例:
#include#include class MyClass { public: int value; MyClass(int v) : value(v) { std::cout << "构造函数调用,value = " << value << "\n"; } ~MyClass() { std::cout << "析构函数调用,value = " << value << "\n"; } };
int main() { alignas(MyClass) char buffer[sizeof(MyClass)]; // 预留足够且对齐的内存 MyClass* obj = new (buffer) MyClass(42); // placement new 构造对象
std::cout zuojiankuohaophpcnzuojiankuohaophpcn "obj-youjiankuohaophpcnvalue = " zuojiankuohaophpcnzuojiankuohaophpcn obj-youjiankuohaophpcnvalue zuojiankuohaophpcnzuojiankuohaophpcn "\n"; obj-youjiankuohaophpcn~MyClass(); // 必须手动调用析构函数 return 0;}
输出结果:
构造函数调用,value = 42obj->value = 42
析构函数调用,value = 42
为什么需要placement new?
某些情况下,你希望将对象放置在特定内存区域,而不是由系统动态分配。常见用途包括:
- 内存池管理:预先分配一大块内存,然后在其中多次使用placement new创建对象,提升性能并减少碎片。
- 共享内存通信:多个进程访问同一块物理内存时,可在其中构造C++对象。
- 栈上“动态”对象:避免堆分配开销,同时保留构造语义。
- STL容器实现:vector等容器内部常使用placement new来构造元素,直到真正需要扩容才重新分配内存。
注意事项与常见陷阱
使用placement new时有几个关键点必须注意:
- 不会分配内存:必须确保传入的指针指向足够大且正确对齐的内存空间,否则行为未定义。
- 必须手动调用析构函数:因为没有调用delete(否则会尝试释放未分配的内存),所以需显式调用obj->~T()来清理资源。
- 避免重复构造:同一块内存多次使用placement new构造对象前,应先析构旧对象,否则会造成资源泄漏或双重构造问题。
- 对齐问题:使用alignas或std::aligned_storage确保内存对齐,特别是对于有特殊对齐要求的类型。
自定义placement new
C++允许重载placement new操作符,以支持不同的参数形式。例如:
void* operator new(size_t, std::nothrow_t) noexcept; // new(std::nothrow) void* operator new(size_t, double, char); // 自定义形式
只要第二个及以后的参数不是size_t,就构成placement new的一种变体。对应的,也需要提供匹配的operator delete,以防构造函数抛出异常时能正确回滚。
基本上就这些。placement new是C++内存控制能力的重要体现,虽然日常开发中较少直接使用,但在高性能或底层编程中不可或缺。理解其原理有助于深入掌握C++对象生命周期和内存模型。









