为什么不能用两层列表初始化器初始化 2D std::array？

Question

谁能帮我理解为什么我的编译器不能t/doesn推断出这个？（使用 g++ 7.3）

无效：

#include <array>
std::array<std::array<double,2>,2> f() {
 return {{0,0},{0,0}};
}

工作正常：

#include <array>
std::array<std::array<double,2>,2> f() {
 return {std::array<double,2>{0,0},{0,0}};
}

奇怪的是这也失败了：

#include <array>
std::array<std::array<double,2>,2> f() {
 return std::array<std::array<double,2>,2>{{0,0},{0,0}};
}

@1201ProgramAlarm 指出添加另一组花括号有效：

#include <array>
std::array<std::array<double,2>,2> f() {
 return {{{0,0},{0,0}}};
}

它使用聚合初始化，因为std::array 没有用于 brace-init-list 的构造函数。没关系，但是 why/how 这行得通吗？

std::array<double,2> x{1,2};

为什么它处理这种情况而不处理嵌套情况？

Answer 1

容器std::array相当于一个持有C数组的结构（一个实现可能不会这样实现std::array，但它应该保证语义相同），所以它应该由两层大括号初始化，即

#include <array>
std::array<std::array<double,2>,2> f() {
   return {{{{0,0}},{{0,0}}}};
}

当然，初始化列表中的大括号可以像我们通常对二维数组所做的那样省略：

int arr[2][2] = {0,1,2,3};

... 但是在省略之前以省略的大括号开头的初始化列表不应在省略之后以左大括号开头。换句话说，如果初始化列表以左大括号开头，编译器将不会考虑此初始化列表删除最外层大括号的可能性。

在您的初始化器 {{0,0},{0,0}} 中，子初始化器 {0,0},{0,0} 以左大括号开头，因此它用于初始化 C 数组本身。但是，列表中有两个子句，而只有一个C数组，就会出错。

在你的初始化器{std::array<double,2>{0,0},{0,0}}中，子初始化器std::array<double,2>{0,0},{0,0}没有以左大括号开头，所以它可以用来初始化C数组的元素，这样就可以了(递归地，{0,0} 可以初始化一个 std::array<double,2>，因为子初始化器 0,0 不以左大括号开头）。

建议：使用大括号省略规则，可以省略所有内括号，就像我们通常对二维数组所做的那样：

#include <array>
std::array<std::array<double,2>,2> f() {
   return {0,0,0,0};
}

为什么不能用两层列表初始化器初始化 2D std::array？

Why can't a 2D std::array be initialized with two layers of list-initializers?

c++

stdarray

list-initialization