Question

使用-std = c ++ 11时，以下代码在gcc 4.9.1和clang-3.6中编译和运行：

struct Bar
{
    int x;
};

struct Foo
{
    static constexpr Bar bars[] = {1, 2, 3};
};

constexpr Bar Foo::bars[];

但是，它在gcc 4.8.3中失败，导致错误消息

./cpptest.cpp:14:43: error: could not convert '1' from 'int' to 'const Bar'
     static constexpr Bar bars[] = {1, 2, 3};
                                           ^
./cpptest.cpp:14:43: error: could not convert '2' from 'int' to 'const Bar'
./cpptest.cpp:14:43: error: could not convert '3' from 'int' to 'const Bar'

顺便说一下，如果我做同样的事情，但使bars成为一个静态const全局数组，它在gcc 4.8和clang中编译得很好。如果我用一对额外的{}包围列表中的每个整数文字，它也会编译得很好。

这是gcc 4.8中的一个错误吗？标准所说的是适当的语法？当我省略额外的括号时，会调用c ++ 11统一初始化标准的哪一部分？

编辑：看起来标准说这应该调用聚合初始化，这应该允许“支持elision”。所以它似乎是gcc 4.8中的一个错误，这是由gcc 4.9修复的，但我对阅读标准并不是很有信心。我也似乎无法在gcc的bug追踪器中找到任何有关此问题的错误报告，所以我很容易出错。

Answer 1

为了做你想做的事，你需要在Foo中指定一个constexpr构造函数：

struct Bar
{
    constexpr Bar(int c) : x(c)
    {}

    int x;
};

struct Foo
{
    static constexpr Bar bars[] = {1, 2, 3};
};

constexpr Bar Foo::bars[];

显然gcc 4.8.3并不会将花括号内的值转换为Bar对象，而gcc 4.9.1会这样做。

在gcc 4.8中初始化静态constexpr成员数组

1 个答案: