Question

我遇到了以下情况：

struct Foo
{
    static constexpr char s[] = "Hello world";
};

const char Foo::s[];

此代码段与Clang 3.7（-std=c++11和-std=c++14）一起编译，但GCC（4.8,6.0，相同的语言设置）给出了我预期的错误：

GCC 4.8：

in.cpp:6:19: error: redeclaration ‘Foo::s’ differs in ‘constexpr’
 const char Foo::s[];
                   ^
in.cpp:3:27: error: from previous declaration ‘Foo::s’
     static constexpr char s[] = "Hello world";
                           ^
in.cpp:6:19: error: declaration of ‘constexpr const char Foo::s [12]’ outside of class is not definition [-fpermissive]
 const char Foo::s[];

GCC 6.0：

‘constexpr’ needed for in-class initialization of static data member ‘const char Foo::s [12]’ of non-integral type [-fpermissive]

我发现this old question似乎讨论了混合constexpr和const，但它关注的是初始化器是否是常量表达式，而不是定义和声明是否可以在constness方面有所不同。

是否允许将constexpr T静态数据成员的定义作为const T提供？

Answer 1

您的代码格式正确。 constexpr - 说明符本身不是该类型的一部分，但添加了const（[dcl.constexpr] / 9），它存在于您的第二个声明中。虽然根据[dcl.constexpr] / 1，一个函数（或函数模板）的不同声明必须在constexpr中同意，但变量声明不存在这样的规则。

请参阅bug #58541，它主要使用您的示例。

混合constexpr声明和const定义

1 个答案: