为何std::aligned_storage采用嵌套struct::type而非直接模板类实现？

这种嵌套type成员的设计并非C标准强制要求，而是源于早期C模板元编程的设计习惯和语言特性限制，具体原因如下：

• 模板元编程的统一风格
  在C++11引入别名模板之前，标准库中诸如std::enable_if、std::remove_reference这类类型转换元组件，都采用“嵌套type成员”的设计模式。开发者统一通过typename T::type的方式获取目标类型，std::aligned_storage作为元编程工具，自然延续了这套约定俗成的风格。

• 明确语义边界
  嵌套type的设计，清晰区分了“元编程工具模板”（std::aligned_storage本身）和“实际的存储类型”（std::aligned_storage::type）。在早期的设计思路里，这类模板的核心作用是生成符合要求的存储类型，而非直接作为存储类型使用，嵌套结构正是这种“类型生成”语义的体现。

• 早期语言特性限制
  C11之前没有别名模板（template<...> using = ...），无法直接通过别名简化类型获取。嵌套type是当时实现“模板生成类型”需求的唯一可行方式。后来C11补充了std::aligned_storage_t别名模板，就是为了简化用户的使用：using aligned_storage_t = typename aligned_storage<Len, Align>::type;，避免冗长的typename ...::type写法。

为什么不采用直接包含数组的实现？ #

并非标准禁止这种实现，而是它不符合当时的库设计规范，且存在语义混淆：

• 直接把数组放在aligned_storage结构体里，会让它从“类型生成工具”变成“存储类型本身”，破坏了和其他元编程组件的风格一致性。
• 这种设计会模糊“工具”和“结果”的边界，在早期模板元编程的语境下，不符合开发者对这类组件的使用预期。

不过这套设计确实存在易用性缺陷——很多用户会忘记访问::type，直接误用std::aligned_storage本身，这也是它在C++20中被弃用的原因之一。现在更推荐用std::byte配合alignas说明符，或者std::aligned_allocator等更直观的工具来实现对齐存储。

内容的提问来源于stack exchange，提问作者JMC