以下示例初始化std :: array< char,N>使用字符串文字的构造函数中的成员不会在GCC 4.8上编译,而是使用Clang 3.4进行编译.
#include <iostream>
#include <array>
struct A {
std::array<char,4> x;
A(std::array<char,4> arr) : x(arr) {}
};
int main() {
// works with Clang 3.4,error in GCC 4.8.
// It should be the equivalent of "A a ({'b','u','g','\0'});"
A a ({"bug"});
for (std::size_t i = 0; i < a.x.size(); ++i)
std::cout << a.x[i] << '\n';
return 0;
}
在第一印象它看起来像一个GCC错误.我觉得它应该编译,因为我们可以初始化一个std :: array< char,N>直接用字符串文字.例如：
std::array<char,4> test = {"bug"}; //works
我有兴趣看看标准说明了什么.
解决方法
是的,你的代码是有效的这是gcc中的一个错误.
这是一个更简单的程序,它演示了这个错误(我已经用S替换了std :: array< char,4>和摆脱了A,因为我们可以在函数返回中演示错误(这使得分析更简单,因为我们不必担心构造函数重载)：
struct S { char c[4]; };
S f() { return {"xxx"}; }
这里我们有一个从braced-init-list {“xxx”}复制初始化(8.5p15)的类型S的目标对象,所以对象被列表初始化(8.5p17b1). S是聚合(8.5.1p1),因此执行聚合初始化(8.5.4p3b1).在聚合初始化中,成员c从相应的initializer子句“xxx”(8.5.1p2)进行复制初始化.我们现在返回到具有char [4]类型的目标对象的8.5p17,并初始化字符串文字“xxx”,所以8.5p17b3引用我们到8.5.2,并且char数组的元素由字符串的连续字符8.5.2p1).
请注意,复制初始化S s = {“xxx”},gcc很好同时打破各种形式的复制和直接初始化;参数传递(包括构造函数),函数返回,以及基础和成员初始化：
struct S { char c[4]; };
S f() { return {"xxx"}; }
void g(S) { g({"xxx"}); }
auto p = new S({"xxx"});
struct T { S s; T(): s({"xxx"}) {} };
struct U: S { U(): S({"xxx"}) {} };
S s({"xxx"});
最后一个特别有趣,因为它表明这可能与bug 43453有关.
