静态constexpr类成员何时需要类外定义？

Question

我有以下C 11代码（简化版）：

struct Info
{
    const char * name;
    int version;
};

class Base
{
public:
    const Info info;
    Base (Info info) : info (info) {}
};

class Derived : public Base
{
public:
    static constexpr Info info = {"Foobar", 2};
    Derived () : Base (info) {}
};

int main ()
{
    static Derived derived;
    return 0;
}

GCC 4.9.1可以很好地编译和链接此代码。另一方面，Clang 3.5.0抱怨未定义的引用：

/tmp/test-109c5c.o: In function `main':
test.cc:(.text+0x1c): undefined reference to `Derived::info'
test.cc:(.text+0x22): undefined reference to `Derived::info'
clang: error: linker command failed with exit code 1 (use -v to see invocation)

哪个是对的？这个代码合法吗？我对静态Constexr成员规则的理解（主要基于这个问题）是，只有在获取变量的地址时才需要类外定义。但是我没有将Deriv的地址ed::信息或在任何地方使用对它的引用；我只是按值将它传递给Base构造函数。

我发现了各种变通方法：

• 使两个构造函数（基构造函数和派生构造函数）都为constexpr。这可能是也可能不是实数类的选项，实数类比示例中的类更复杂。无论如何，我要试试

Answer 1

啊哈，问题似乎是隐式信息（const Info

显然，GCC在优化复制构造函数方面比Clang更积极。如果我使用-fno-elide-构造函数，那么GCC还会抱怨对Derived::信息的未定义引用。

在任何情况下，将Base和Derive构造函数声明为constexr似乎完成了我想要在这里发生的事情，即在编译时初始化Base::信息，而不是在运行时从单独的Derived::信息中复制。