Question

我很惊讶地发现，当没有类外定义时，GCC和Clang在通过值传递静态constexpr成员时是否给出链接器错误时不一致：

#include <iostream>
#include <type_traits>
#include <typeinfo>

template <typename X>
void show(X)
{
    std::cout << typeid(X).name() << std::endl;
}

template <typename T>
struct Foo
{
    //static constexpr struct E {} nested {}; // works in gcc and clang
    //static constexpr struct E {T x;} nested {}; // doesn't work in gcc
    //static constexpr enum E {} nested {}; // works in gcc and clang
    //static constexpr enum E { FOO } nested {}; // works in gcc and clang
    //static constexpr struct E { constexpr E() {} constexpr E(const E&) {} T x=T();} nested {}; // works in gcc and clang
    static constexpr struct E { constexpr E() {} constexpr E(const E&) = default; T x=T(); } nested {}; // doesn't work in gcc
};

int main()
{
    Foo<int> x;
    show(x.nested);
}

可以使用here播放代码段。

我想使用第一行的语法，没有类外定义：

static constexpr struct E {} nested {}; // works in gcc and clang

当E中没有成员时，Clang和GCC似乎只关心如果我绊倒ODR（例如通过获取地址）我没有nested的课外定义。 这个标准是强制还是运气？

当有成员时，GCC（5.2）似乎还要我手动定义constexpr复制构造函数。 这是一个错误吗？

从谷歌搜索和我发现了几个不同的答案，但很难分开哪些是最新的C ++ 14。在C ++ 98/03中，我相信只能在类中初始化整数类型。我认为 C ++ 14将其扩展为'literal'类型，其中包括constexpr可构造的东西。我不知道这是不是说我可以逃脱没有一个不合时宜的定义。

奇怪的行为传递静态constexpr成员没有定义的值

0 个答案: