C++11后模板代码中双大括号的含义及使用场景咨询

1. 代码中{{a[I]...}}的含义 #

你给出的代码里，std::array<R, N>是聚合类型，它的内部包含一个固定大小的原生数组作为成员（比如实现里的_Ty _Elems[_Size]）。这里的双大括号是分层次的：

• 外层{}：用于初始化std::array这个聚合体本身
• 内层{}：用于初始化std::array内部的原生数组成员
• a[I]...是参数包展开，把传入的数组a的所有元素依次初始化到内部数组中。

2. C++17中何时需要双大括号？是否仅限return语句？ #

双大括号的使用不局限于return语句，它主要用于嵌套聚合类型的初始化，明确区分不同聚合层次。在C++17中，虽然标准允许聚合初始化时省略内层括号（称为“括号省略”规则），但以下场景仍需要或推荐使用双大括号：

• 嵌套聚合的明确初始化：比如初始化包含另一个聚合的聚合类型（如std::array<std::array<int,2>,2>、自定义嵌套结构体），双大括号能清晰表达初始化层级，避免歧义。
  示例：

  struct Point { int x; int y; };
  std::array<Point, 2> points = {{ {1,2}, {3,4} }};
  

• 避免初始化歧义：当存在重载函数，其中一个接受std::initializer_list，另一个接受聚合类型时，双大括号可以明确指定初始化聚合类型，而非匹配std::initializer_list。
• 兼容旧标准：如果代码需要兼容C++11/14，这些标准中嵌套聚合初始化通常必须使用双大括号，不能省略。

3. 单大括号与双大括号的区别 #

• 单大括号：在C++17及以后，对于简单聚合类型（如单层std::array<int,3>），单大括号足够完成初始化，编译器会自动推断初始化层次。例如：

  std::array<int,3> arr = {1,2,3}; // 合法，等价于{{1,2,3}}
  

  但在嵌套场景下，单大括号可能导致语义模糊，或在某些重载场景下匹配错误的函数。
• 双大括号：明确区分聚合的嵌套层次，强制编译器按照“外层聚合初始化+内层聚合初始化”的逻辑处理，避免歧义。在你的to_array_impl函数中，双大括号清晰表达了“先初始化std::array，再初始化其内部数组”的过程，即使C++17允许省略内层括号，这种写法也更具可读性，且兼容旧标准。

回到你给出的第二个代码，return { {move(a[I])...} };的逻辑和第一个一致：外层大括号初始化std::array，内层大括号用移动语义初始化内部数组的元素，双大括号的作用同样是明确层次。

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