为何单元素嵌套std::array的模板推导结果为一维std::array？

这个问题确实挺容易让人摸不着头脑的，我刚接触类模板参数推导（CTAD）的时候也踩过类似的坑，咱们一步步拆解背后的原因：

首先得明确std::array的两个关键特性：它是聚合类型，同时C++17及以后标准为它提供了专门的模板推导指南。先看你的代码：

#include <array>
auto a1 = std::array{1};
auto a2 = std::array{std::array{1}};
static_assert(std::same_as<decltype(a1), std::array<int, 1>>); // 正常通过
static_assert(std::same_as<decltype(a1), decltype(a2)>); // 居然也通过了？

你原本以为a2会是std::array<std::array<int,1>,1>，结果却和a1类型一致，核心原因在于编译器处理初始化时的推导逻辑：

• 对于a1的初始化std::array{1}，编译器匹配的是最常用的推导指南：

  template<class T, class... U>
  array(T, U...) -> array<T, 1 + sizeof...(U)>;
  

  这里只传入了一个int类型元素，推导结果自然是std::array<int,1>，完全符合预期。

• 而a2的初始化std::array{std::array{1}}，关键点在于：编译器并没有把内层std::array{1}当成完整的对象来推导外层std::array的元素类型，而是触发了聚合初始化的特殊推导规则——因为std::array本身是聚合类型，编译器会“穿透”内层std::array，直接从它的唯一元素类型（也就是int）来推导外层std::array的模板参数。

简单来说，当你用单个元素的std::array作为外层std::array的初始化器时，编译器会把内层std::array的唯一元素类型当成外层的元素类型，同时外层的大小也被推导为1，最终就得到了和a1完全一样的std::array<int,1>类型。

如果你确实想得到嵌套的std::array类型，有两种方式：

• 显式指定模板参数：

  auto a2 = std::array<std::array<int,1>,1>{std::array{1}};
  

• 使用双层大括号明确初始化层级：

  auto a2 = std::array{{std::array{1}}};
  

  双层大括号会明确告诉编译器：外层大括号初始化聚合的内部数组，内层大括号是这个数组的第一个元素（也就是std::array<int,1>），这样推导出来的就是你预期的嵌套类型了。

内容来源于stack exchange