数组的 C++ 向量答案

【问题标题】：C++ vector of arrays数组的 C++ 向量
【发布时间】：2011-08-27 20:10:49
【问题描述】：

为什么会这样：

std::pair<int, int> p = {1,2};
std::vector<std::pair<int, int>> vp = { {1,2}, {3,4} };

但这不是吗？

std::array<int, 2> a = {1,2}; // still ok
std::vector<std::array<int, 2>> va = { {1,2}, {3,4} };

使用带有-std=c++0x 的g++ 4.5.1，第二行失败并显示：

错误：无法将‘{{1, 2}, {3, 4}}’ 转换为‘std::vector<std::array<int, 2u> >’

谢谢

【问题讨论】：

【解决方案1】：

不幸的是，std::array 没有初始化列表构造函数。事实上，它有 no 用户定义的构造函数——这个“特性”是 C++03 的遗留物，在 C++03 中省略所有用户定义的构造函数是启用 C 样式大括号初始化的唯一方法.恕我直言，这是当前标准中的一个缺陷。

那么为什么在这种情况下内置大括号初始化不起作用呢？让我们看看 std::array 到底是什么样子：

template <typename T, int i> struct array {
    T data[i];
    // ...
}

好的，这是否意味着我们必须在初始化程序中使用 double 大括号（一对用于array，另一对用于data 成员？

std::array<int, 2> a = { {1, 2} };

C（以及随后的 C++）有一个关于 brace elision 的特殊规则，允许省略内部大括号，除非有歧义。 array利用了这个特性，让我们可以写

std::array<int, 2> a = { 1, 2 };

那么为什么原始帖子中的示例不起作用？因为大括号省略只允许在 C 样式聚合初始化的上下文中使用，而不是在涉及更复杂的事情时，例如用户定义的初始化列表构造函数。

以下应该可以工作，尽管它很丑：

std::vector<std::array<int, 2>> vp = { {{1,2}}, {{3,4}} };

在我看来，至少在 gcc 4.5 和 gcc 4.6 上没有，这似乎表明存在编译器错误。不过，我并不完全确定。

【讨论】：

我相当怀疑std::array 看起来更像template <typename T, std::size_t i>
是的，你的最后一个例子应该可以工作。除了简单的T t = { ... } 声明之外，不支持大括号省略是一个有意识且经过讨论的决定。这也是为什么 return { ... } 不能与 std::array<> 返回类型一起使用的原因。
你的最后一个例子 std::vector<:array>> vp = { {{1,2}}, {{3,4}} };适用于 gcc 4.7.2

【解决方案2】：

这行得通：

std::vector<std::array<int, 2>> va = {
  std::array<int, 2>{1,2},
  std::array<int, 2>{3,4}
};

深入挖掘，似乎 std::pair 有一个构造函数，它接受一个初始化列表，但 std::array 没有：

std::pair<int, int> p ({1,2}) ;  // OK
std::array<int, 2> a ({1,2}) ;   // Invalid

但现在我已经超出了我的深度。

【讨论】：