使用字符串文字在构造函数中初始化 std::array<char,x> 成员。海湾合作委员会错误？

Question

以下示例在构造函数中使用字符串字面量初始化 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

我很想看看标准对此有何评论。

Answer 1

是的，您的代码是有效的；这是 gcc 中的一个错误。

这是一个演示错误的更简单程序（我已将std::array<char, 4> 替换为S 并删除了A，因为我们可以在函数返回中演示错误（这使得分析更简单，因为我们不必担心构造函数重载）：

struct S { char c[4]; };
S f() { return {"xxx"}; }

这里我们有一个 S 类型的目标对象，它是 copy-initialized (8.5p15) 来自 braced-init-list {"xxx"}，所以对象被列表初始化 (8.5p17b1)。 S 是一个聚合 (8.5.1p1)，因此执行聚合初始化 (8.5.4p3b1)。在聚合初始化中，成员 c 从相应的 initializer-clause "xxx" (8.5.1p2) 中复制初始化。我们现在返回 8.5p17，目标对象类型为 char[4]，并初始化字符串文字 "xxx"，因此 8.5p17b3 将我们指向 8.5.2，char 数组的元素由字符串的连续字符初始化(8.5.2p1)。

请注意，gcc 可以使用复制初始化S s = {"xxx"};，同时打破各种形式的复制和直接初始化；参数传递（包括构造函数）、函数返回、基数和成员初始化：

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有关。