c++ - 在类模板中定义变量模板

Question

考虑这个最小的例子:

template<class X> struct foo;

template<>
struct foo<int>
{
    template<class = void>
    static constexpr int x = 0;
};

template<class T>
constexpr int foo<int>::x<T>;

需要最后两行，否则当使用 ODR 变量 x 时，我们将得到一个 undefined reference 。

虽然 gcc (6.2.1) 很乐意编译此代码，但 clang (3.9.0) 在最后一行失败并显示此神秘消息:

error: variable template partial specialization does not specialize any template argument; to define the primary template, remove the template argument list

哪个是正确的行为？

Answer 1

最后两行代码应该是:

template<class T>
const int foo<int>::x;

或

template<class T>
constexpr int foo<int>::x;

喜欢this