C++11中二维std::array初始化为何需要额外括号？

这个问题本质上和C++11的聚合初始化规则以及std::array的底层结构密切相关，我来一步步给你讲清楚：

1. 一维std::array的初始化逻辑 #

std::array<int, 2>本质是一个聚合类，它的简化底层结构大概是这样的：

template<typename T, size_t N>
struct array {
    T elems[N]; // 唯一的非静态成员：一个原生数组
};

在C++11的聚合初始化规则中，允许我们省略包裹内部原生数组的那层括号，直接用元素列表初始化。所以array<int,2> arr1 = {1,2};其实等价于array<int,2> arr1 = {{1,2}};——编译器会自动把{1,2}匹配到内部的elems[2]数组上，因此能正常运行。

2. 二维std::array的错误原因 #

再看array<array<int,2>,2>，它的底层结构是：

struct array {
    array<int,2> elems[2]; // 唯一成员：一个包含两个array<int,2>的原生数组
};

当你尝试用array<array<int,2>,2> arr2 = { {1,2} , {3,4} };初始化时，编译器的解析逻辑会出问题：
它会把第一个{1,2}当成是给外层array的唯一成员（elems[2]数组）的初始化器，而第二个{3,4}就变成了多余的初始化值——因为外层array只有一个成员，不需要第二个初始化器，所以就会报“初始化值过多”的错误。

3. 额外括号的作用 #

当你写成array<array<int,2>,2> arr3 = { {{ 1, 2 } ,{ 3, 4 }} };时，每一层括号都对应了正确的聚合成员：

• 最外层{}：对应整个array<array<int,2>,2>对象的聚合初始化
• 中间层{}：对应外层array的唯一成员——elems[2]数组的初始化
• 最内层的{1,2}和{3,4}：分别对应elems[2]数组中两个array<int,2>元素的初始化（每个array<int,2>又可以省略自身的内层括号，直接用元素列表初始化）

这样每一层初始化都精准匹配到了对应的结构，自然就能正常编译了。

补充一句：C14对聚合初始化规则做了宽松处理，二维std::array的初始化可以不用额外加那层括号，但在C11中必须严格遵守这个嵌套括号的规则。

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