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

Initialization of static constexpr member array in gcc 4.8

本文关键字：静态 constexpr 成员 数组 初始化 gcc      更新时间：2023-10-16

当使用-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成为一个静态常量全局数组，那么它在gcc 4.8和clang中编译得很好。如果我用一对额外的{}包围列表中的每个整数文字，它也会编译得很好。

那么这是gcc 4.8中的一个错误吗？标准规定了什么是合适的语法？当我省略额外的大括号时，调用的是c++11统一初始化标准的哪一部分？

编辑：看起来标准规定这应该调用聚合初始化，这应该允许"大括号省略"。因此，这似乎是gcc 4.8中的一个错误，由gcc 4.9修复，但我对我对标准的阅读完全没有信心。我在gcc的bug跟踪器中似乎也找不到任何关于这方面的bug报告，所以我很容易出错。

为了完成您想要做的事情，您需要在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则实现了。

相关文章：