std::aligned_storage 解决原始内存对齐问题，确保在自定义内存中构造对象时满足类型对齐要求，避免未定义行为。1. 用于实现容器、对象池、variant 等需手动管理生命周期的场景；2. 提供指定大小和对齐的 POD 类型内存块；3. 配合 placement new 延迟构造对象；4. C++17 起可用 std::aligned_storage_t 和 alignas + std::byte 替代，更简洁现代。理解它有助于掌握底层内存控制与旧代码维护。
在C++中，std::aligned_storage 是一个类型工具，用于手动控制内存对齐，常用于需要自定义对象生命周期和内存布局的场景，比如实现容器、对象池、variant 或 placement new 操作。
解决什么问题？
当你想在一块原始内存中构造对象，但又不希望立即调用构造函数（例如延迟初始化），就需要一块“足够大且正确对齐”的内存。普通数组如 char buffer[N] 无法保证能满足特定类型的对齐要求，可能导致未定义行为。
std::aligned_storage 提供了一种标准方式来获得满足指定大小和对齐要求的类型。它定义于 <type_traits> 头文件中。
基本用法
其典型形式是：
立即学习“C++免费学习笔记（深入）”；
template< std::size_t Len, std::size_t Align = /*default*/ >struct aligned_storage;
using type = std::aligned_storage<sizeof(T), alignof(T)>::type;
这个 type 是一个 POD 类型，具有至少 Len 字节大小，并且按照 Align 字节对齐（默认 Align 为类型所需的最大对齐）。
常见使用模式：
#include <type_traits>#include <new>
struct MyType {
double x;
int y;
};
// 准备一块可存放 MyType 的对齐内存
using Storage = std::aligned_storage<sizeof(MyType), alignof(MyType)>::type;
Storage storage;
// 在这块内存上构造对象
MyType* obj = new(&storage) MyType{3.14, 42};
// 使用后手动调用析构
obj->~MyType();
实际应用场景
- 对象池或内存池：预先分配对齐内存，按需构造/销毁对象，避免频繁动态分配。
- variant 实现：联合体（union）内部成员可能有不同对齐要求，std::aligned_storage 确保内存满足最严格对齐。
- 延迟初始化结构体：在消息传递、共享内存等系统编程中，先传数据再构造对象。
C++17 后的替代方案
C++17 引入了更简洁的方式：std::aligned_storage_t（别名模板），以及更现代的 std::byte 和 alignas 配合使用。
例如：
#include <cstddef>alignas(MyType) std::byte raw_memory[sizeof(MyType)];
MyType* obj = new(raw_memory) MyType;
这种方式更直观，也更容易与 std::allocator 或其他内存管理机制集成。
基本上就这些。std::aligned_storage 是低层内存控制的重要工具，尤其在泛型库开发中非常实用。虽然 C++17 以后有了更现代的写法，理解它仍有助于阅读旧代码和底层实现。
