专用类模板的类外构造函数定义

Question

我试图在类定义之外为显式专用的类模板定义一个构造函数，如下所示：

template <typename T>
struct x;

template <>
struct x<int> {
    inline x();

    /* This would have compiled:
    x() {
    }
    */
};

template <>    // Error
x<int>::x() {
}

但这似乎是一个错误。 Comeau 说：错误：“x::x()”不是一个可以显式特化的实体，即使完整的类是特化的。

这里有什么问题？

Answer 1

不要为定义指定 template<>：

template <typename T>
struct x;

template <>
struct x<int> {
  x();
};

inline x<int>::x(){}

编辑：构造函数定义不是专门化的，因此 template<> 是不必要的。这是专门化构造函数的定义。因此，您只需像任何其他非模板类一样指定类型。