std::aligned_storage 是 C++11 引入的对齐原始内存模板,不构造对象、仅保证指定大小与对齐;解决 char 数组无法满足严格对齐导致 placement new 未定义行为的问题;C++14 起推荐用 aligned_storage_t 声明,需手动构造/析构;用于 optional/variant、对象池、序列化等场景;C++23 已弃用,建议迁移到 std::aligned_alloc 等新设施。

std::aligned_storage 是 C++11 引入的标准库工具,本质是一个“对齐的原始内存块模板”,不构造对象、不调用构造函数,只保证:给定大小和对齐要求下,提供一块安全可用的未初始化内存。
它解决什么问题?
普通 char buf[64] 无法保证对齐(比如需要 16 字节对齐的 std::string 或 SIMD 类型),直接在上面用 placement new 构造可能触发未定义行为。而 std::aligned_storage 由标准库保障:
– 内存大小 ≥ 指定字节数
– 起始地址满足指定对齐约束
– 类型安全封装,避免手写 alignas 或位运算对齐计算
怎么声明和使用?
推荐用 C++14 起的别名模板 std::aligned_storage_t:
- 获取类型:
using Buf = std::aligned_storage_t; - 分配变量:
Buf storage;—— 此时storage是一个对齐好的、未初始化的内存块 - 构造对象:
T* p = new(&storage) T(args...);(placement new) - 析构对象:
p->~T();—— 必须显式调用,否则资源泄漏
典型应用场景
自定义 optional/variant 实现
避免堆分配,把值内联存在 union 或缓冲区中,靠 aligned_storage 统一对齐所有可能类型的内存布局。
立即学习“C++免费学习笔记(深入)”;
对象池或内存池
预分配一大块对齐内存,运行时按需用 placement new 构造不同对象,提升缓存局部性与分配效率。
序列化/共享内存场景
将对象直接构造在 mmap 映射区或网络缓冲区首部,确保跨进程/跨平台对齐一致,避免因 ABI 差异导致读取错位。
关键注意事项
– aligned_storage 不管理生命周期:没默认构造、没析构、不自动调用任何函数
– 对齐值不能为 0,且必须是 2 的幂(如 1/2/4/8/16…),否则编译失败
– 若对齐要求超过平台最大对齐(alignof(std::max_align_t)),某些旧标准库可能不支持,建议搭配 alignas 或 std::aligned_alloc 备选
– C++23 中已标记为 deprecated,未来推荐用 std::aligned_alloc + std::destroy_at + std::construct_at 替代,但目前仍广泛用于底层库










