错误 C3074：数组只能用初始化列表初始化

Question

我正在为 POD、STL 和像数组这样的复合类型开发小型（漂亮）打印机。在这样做的同时，我也在摆弄初始化列表并遇到以下声明

std::vector<double[3]> arr{ { 10, 11, 12 }, { 20, 21, 22 } }; 

似乎 VC2013 和 G++ 4.8 都不太满意，并发出一致的错误消息，这两种情况都对我没有太大帮助

对于 VC++： error C3074: an array can only be initialized with an initialize-list

对于 G++ 4.8： error: array must be initialized with a brace-enclosed initialize

所以这里要么不能使用初始化列表，要么我的语法完全不对？

在类似的方面，以下语法似乎是有效的

std::vector<std::array<int, 3>>  arr{ { 10, 11, 12 }, { 20, 21, 22 } };

我的初始化列表可能有什么问题？

• 注意 我知道我应该使用 std::array 而不是 C 类型数组，但我只是在试验。
• 注意如果你不想玩这个，这里有一个IDEONE 版本
• 注意另外，如果您能将我推荐回标准，那将是非常有益的。

Answer 1

阅读current C++1y draft standard。

从表 99 之前：

T 是 EmplaceConstructible 进入 X 从 参数 , 对于零个或多个参数 参数 , 意味着 以下表达式是格式良好的： allocator_traits::construct(m, p, args)

表 100：

X(il);              |  Equivalent to      | X(il.begin(), il.end());
--------------------+---------------------+--------------------------------
X(i, j);            |                     | Requires:
X a(i, j);          |                     | T shall be EmplaceConstructible
                                          | into X from *i.

所以std::vector<double[3]> v{ {1,2,3}, {4,5,6} }; 有效当且仅当double[3] 是EmplaceConstructible 从{1,2,3} 作为传递给std::vector<double[3]> 的初始值设定项列表的元素。

还有一个关于前向迭代器的子句，但这没问题（因为std::initialzier_list 迭代器是前向迭代器）。

std::vector<T> 采用std::initializer_list<T> 参数。

所以std::initializer_list<double[3]>是候选名单。

首先，std::initializer_list<double[3]> x = {{1.0, 2.0, 3.0}}; 在 gcc 中编译失败。但假设这是 gcc 中的一个错误。

第二，::new (nullptr) double[3](std::initializer_list<double>{1.0, 2.0, 3.0});placement new，EmplaceConstructable 在缺少合适的construct 覆盖时简化为无法编译。

所以double[3] 不是EmplaceConstruble 来自std::initalizer_list<double> 也不是来自double[3] 也不是其他任何东西（因为发生错误是因为我使用了括号，而不是因为括号中的内容，在放置新)，除非分配器使用我不知道的魔法来避免放置 new。

因此，您的代码违反了当前的草案标准，可能是 C++11，当然还有 C++03（对容器有更严格的要求）。

Answer 2

这是 gcc 和 MSVC 中的错误； clang 可以正确编译您的代码。

最新版本的 gcc 实际上使编译器崩溃（“ice”）：

内部编译器错误：树检查：预期类“类型”，在 useless_type_conversion_p 中有“异常”（错误标记），位于 tree-ssa.c:1189

标准相当明确；来自[dcl.init.list]：

5 - 一个std::initializer_list<E> 类型的对象是从一个初始化列表构造的，就好像实现分配了一个N 类型为E 的元素的数组，其中N 是初始化列表中的元素数。该数组的每个元素都使用初始值设定项列表的相应元素进行复制初始化，并且构造 std::initializer_list<E> 对象以引用该数组。 [...]

改编该段落中的示例：

using E = double[3];
using X = std::vector<E>;
E __a[2] = {{10, 11, 12}, {20, 21, 22}};
X x(__a, __a+2);

不过，这有点作弊；更仔细的翻译会写E __a[2] = {E{10, 11, 12}, E{20, 21, 22}};，这是无效的。但确实是可以从花括号初始化列表中复制初始化数组double[3]：E __a0 = {10, 11, 12};