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_t<sizeof alignof> storage;</sizeof> - 构造对象：
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<n a></n>（即 typename aligned_storage<n>::type</n>），配合 std::assume_aligned<a>(ptr)</a> 告诉编译器指针已对齐，便于优化。实际写法更简洁安全：
立即学习“C++免费学习笔记（深入）”；
std::aligned_storage_t buf;auto* p = std::construct_at(std::launder(reinterpret_cast<mytype>(std::assume_aligned(std::addressof(buf)))), args...);</mytype>std::destroy_at(p);
它不是智能指针，也不自动管理资源
很多人误以为它能“托管对象”，其实它连 operator= 都没有。它不跟踪是否已构造、是否应析构。所有生命周期逻辑（何时建、建几次、何时毁）完全由你控制——这正是它用于底层设施的原因：零开销、零隐藏行为、完全透明。但也意味着出错成本高：构造两次、析构未构造的对象、忘记析构……都会导致未定义行为。
基本上就这些。它不复杂，但容易忽略对齐语义和手动析构义务。
