std::aligned_storage 是 C++11 提供的模板工具,用于在编译期生成指定大小和对齐要求的未初始化原始内存;它不构造/析构对象,需配合 placement new 和显式析构使用,C++23 已弃用,推荐改用 std::aligned_storage_t 与 std::construct_at/std::destroy_at。

std::aligned_storage 是 C++11 引入的一个模板工具,本质是一块未初始化、但满足指定大小和对齐要求的原始内存缓冲区。它不构造对象,也不调用析构,只负责“按需提供合规的内存地盘”——常用于手动管理对象生命周期的底层场景,比如实现 std::optional、std::variant、自定义容器或对象池。
为什么不能直接用 char[] 或 malloc?
普通字节数组(如 char buf[64])或 malloc 返回的内存,对齐可能不足。例如:一个需要 16 字节对齐的 __m128 类型或某些自定义结构体,若落在 8 字节对齐的地址上,访问时可能崩溃(尤其在 ARM 或开启严格对齐检查的 x86 环境)。std::aligned_storage 编译期就保证:所生成类型的 alignment_of ≥ 你指定的对齐值,且 sizeof ≥ 你指定的大小。
典型用法:配合 placement new 手动构造/析构
它本身不是对象,只是“空地”。要放对象进去,必须显式调用 placement new;用完后,也必须显式调用析构函数:
- 声明对齐内存:
alignas(16) std::aligned_storage_tstorage; - 构造对象:
MyType* p = new (std::addressof(storage)) MyType(args...); - 使用对象:
p->do_something(); - 析构对象:
p->~MyType();(必须!否则资源泄漏或未定义行为)
注意:C++23 已弃用,推荐用 std::aligned\_storage\_t + std::assume\_aligned
std::aligned_storage(类模板)在 C++23 中被标记为 deprecated。取而代之的是更轻量、更明确的别名模板 std::aligned_storage_t(即 typename aligned_storage),配合 std::assume_aligned(ptr) 告诉编译器指针已对齐,便于优化。实际写法更简洁安全:
立即学习“C++免费学习笔记(深入)”;
std::aligned_storage_t buf;auto* p = std::construct_at(std::launder(reinterpret_cast(std::assume_aligned(std::addressof(buf)))), args...); std::destroy_at(p);
它不是智能指针,也不自动管理资源
很多人误以为它能“托管对象”,其实它连 operator= 都没有。它不跟踪是否已构造、是否应析构。所有生命周期逻辑(何时建、建几次、何时毁)完全由你控制——这正是它用于底层设施的原因:零开销、零隐藏行为、完全透明。但也意味着出错成本高:构造两次、析构未构造的对象、忘记析构……都会导致未定义行为。
基本上就这些。它不复杂,但容易忽略对齐语义和手动析构义务。











