std::aligned_storage 是一种提供指定大小和对齐内存块的类型别名模板，用于手动管理对象内存布局。它定义在 <type_traits> 中，常配合 placement new 和显式析构实现对象构造与销毁，适用于自定义内存池、variant 等场景。使用时需确保内存尺寸和对齐满足目标类型，且必须手动调用析构函数以避免资源泄漏。C++17 起新代码推荐使用 alignas 配合 unsigned char 数组替代，语法更直观简洁。
在C++中，std::aligned_storage 是一种用于手动控制对象内存布局的工具，常用于实现自定义内存池、变体（variant）、对象放置（placement new）等底层操作。它提供了一块足够大且正确对齐的内存缓冲区，可以用来存放任意指定类型的对象。
std::aligned_storage 是什么？
std::aligned_storage 是一个类型别名模板，定义在 <type_traits> 头文件中。它的作用是生成一个具有指定大小和对齐要求的未初始化字节块类型。
其基本形式如下：
template<std::size_t Len, std::size_t Align = /*default-alignment*/>
using aligned_storage_t = typename std::aligned_storage<Len, Align>::type;
- Len：所需内存大小（字节数）
- Align：内存对齐要求（可选，默认为最严格的基本对齐）
如何使用 std::aligned_storage 存放对象？
由于 std::aligned_storage 只提供原始内存，不构造对象，因此必须结合 placement new 和显式析构来管理对象生命周期。
立即学习“C++免费学习笔记（深入）”；
以下是一个完整示例，展示如何用 aligned_storage 存储一个 std::string：
#include <iostream>
#include <string>
#include <type_traits>
<p>int main() {
// 定义一个足以存放 std::string 的对齐内存块
using Storage = std::aligned_storage_t<sizeof(std::string), alignof(std::string)>;
Storage storage;</p><pre class='brush:php;toolbar:false;'>// 使用 placement new 构造对象
std::string* str = new(&storage) std::string("Hello");
std::cout << *str << "\n";
// 显式调用析构函数
str->~basic_string();
return 0;}
常见应用场景与注意事项
这种技术适用于需要精确控制内存分配和对象生命周期的场景：
- 自定义容器：如简易 variant 或 optional，避免动态分配
- 内存池/对象池：预分配内存块，运行时复用
- 序列化/反序列化：将对象直接构造在共享内存或网络缓冲区中
需要注意的关键点：
- 必须手动调用析构函数，否则资源可能泄漏（如 string 的内部堆内存）
- 不能通过普通 delete 销毁 placement new 创建的对象
- 确保内存大小和对齐满足目标类型的要求
- C++17 起推荐使用 std::aligned_storage 的替代方案：std::aligned_union 或直接使用 alignas + 数组
更现代的替代方法
C++11 以后，也可以使用更直观的方式：
alignas(T) unsigned char buffer[sizeof(T)];
这种方式语义清晰，更容易理解，例如：
alignas(std::string) unsigned char buffer[sizeof(std::string)];
std::string* str = new(buffer) std::string("Modern C++");
// ... use str
str->~basic_string();
基本上就这些。std::aligned_storage 提供了类型安全的对齐内存构造方式，但在新代码中，直接使用 alignas 配合原始字符数组往往更简洁明了。关键是理解对象构造与内存分配的分离机制。
