C++ 11:正确的std :: array初始化？

Question

如果我按如下方式初始化std :: array,编译器会给出一个关于缺少大括号的警告

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

这解决了这个问题:

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

这是警告信息:

missing braces around initializer for 'std::array<int, 4u>::value_type [4] {aka int [4]}' [-Wmissing-braces]

这只是我的gcc版本中的一个错误,还是故意做的？如果是这样,为什么？

Answer 1

这是以下的简单实现std::array:

template<typename T, std::size_t N>
struct array {
    T __array_impl[N];
};

它是一个聚合结构,其唯一的数据成员是传统数组,因此内部{}用于初始化内部数组.

在某些情况下允许使用括号省略进行聚合初始化(但通常不推荐),因此在这种情况下只能使用一个支撑.请参见此处:数组的C++向量

Answer 2

根据cppreference.仅在=省略时才需要双括号.

// construction uses aggregate initialization
std::array<int, 3> a1{ {1,2,3} };    // double-braces required
std::array<int, 3> a2 = {1, 2, 3}; // except after =
std::array<std::string, 2> a3 = { {std::string("a"), "b"} };

Answer 3

在CWG 1270之前的C ++ 11中需要双括号（修订后的C ++ 11中以及C ++ 14及更高版本中不需要双括号）：

// construction uses aggregate initialization
std::array<int, 3> a1{ {1, 2, 3} }; // double-braces required in C++11 prior to the CWG 1270 revision
                                    // (not needed in C++11 after the revision and in C++14 and beyond)
std::array<int, 3> a2 = {1, 2, 3};  // never required after =

std :: array参考

Answer 4

C++17std::array类模板参数推导（CTAD）

这个新的 C++17 特性被标准库使用，现在允许我们省略模板类型，以便以下工作：

主程序

#include <array>

int main() {
    std::array a{1, 2, 3};
}

代替 std::array<int, 3> a{1, 2, 3};

测试：

g++ -ggdb3 -O0 -std=c++17 -Wall -Wextra -pedantic -o main.out main.cpp

-std=c++14例如，如果我们改为设置，则无法编译：

error: missing template arguments before ‘a’

另请参阅：推断 std::array 大小？

在 Ubuntu 18.04、GCC 7.5.0 上测试。