std::aligned_storage不能直接构造对象，因其仅提供未初始化的对齐原始内存（char[N]），无构造/析构函数；必须用placement new显式构造、显式调用析构函数，且对齐值须≥alignof(T)；C++17起已弃用，推荐用alignas(alignof(T)) std::byte[]替代。
std::aligned_storage 为什么不能直接构造对象？
它只提供一块对齐的原始内存，不是类型安全的容器——std::aligned_storage 的 type 成员是 char[N]，没有构造函数、析构函数或任何成员函数。你拿它当“内存地基”可以，但指望它自动帮你调用 T::T() 就会出错。
常见错误现象：std::aligned_storage 后直接用 buf.some_method() 编译失败；或者误以为 new (&buf) T() 能隐式触发构造，结果未定义行为（UB）。
- 必须显式使用定位 new（placement new）在缓冲区上构造对象：
new (static_cast(&buf)) T(args...) - 构造后，需用
reinterpret_cast获取有效指针，不能直接取地址再解引用(&buf) - 对齐值必须 ≥
alignof(T)，否则std::aligned_storage不保证满足要求（比如用alignof(int)存std::max_align_t对象就崩）
怎么安全地构造 + 析构一个 T 类型实例？
手动管理生命周期意味着每一步都得自己扛：分配 → 构造 → 使用 → 析构 → 释放。漏掉析构或重复析构都会导致资源泄漏或 UB。
使用场景：实现简易 optional、对象池、延迟初始化容器，或绕过栈/堆限制做固定大小缓存。
立即学习“C++免费学习笔记（深入）”；
- 构造前确保缓冲区未被占用（比如加个
bool constructed = false;标记） - 构造时检查是否已存在活跃对象，避免 double-placement
- 析构必须调用
ptr->~T()，不能只靠delete ptr（因为没用new分配） - 示例关键片段：
alignas(alignof(T)) char buf[sizeof(T)]; T* ptr = new (buf) T(42); // 构造 ptr->~T(); // 析构，不释放 buf
std::aligned_storage 在 C++17+ 还值得用吗？
不推荐新代码用它。C++17 引入了 std::byte 和更清晰的对齐控制，而 std::aligned_storage 已被标记为 deprecated（C++23 正式移除）。
兼容性影响：GCC 12+ / Clang 14+ 对 std::aligned_storage 发出弃用警告；MSVC 也逐步收紧检查。
- 替代方案优先选
alignas(alignof(T)) std::byte buf[sizeof(T)];—— 语义更直白，无模板参数歧义 - 如果需要泛型缓冲区封装，直接用
std::aligned_storage_t（C++17 起的别名），但它本质还是同套机制 - 注意：
std::aligned_storage_t不解决构造/析构问题，只是写法省事一点
对齐值填错会导致什么？
填小了，对象访问时触发硬件异常（如 x86 上的 EXCEPTION_DATATYPE_MISALIGNMENT）或静默数据损坏；填大了，浪费空间，还可能因对齐强制 padding 导致结构体布局意外变化。
典型错误：用 alignof(std::string) 当作所有类型的对齐基准，但 std::string 在不同 STL 实现中对齐可能只有 8，而你的自定义类型需要 16 或 32。
- 最稳妥做法：用
alignof(T)，而不是猜或复用其他类型的值 - 若需容纳多种类型，取最大对齐：
alignof(std::max_align_t)通常够用（多数平台为 16），但注意某些 SIMD 类型可能要求更高（如 AVX-512 的 64 字节） - 运行时无法动态查对齐，所以编译期必须确定——这也是为什么模板参数必须是常量表达式
对齐和构造是两件事，很多人卡在“内存有了，对象却没真正活起来”，本质是忘了 placement new 和显式析构这层薄薄的纸。
