类模板特殊成员函数显式专门化

Question

template <typename T>
class A
{
public:
    A()
    { /* some definition */}
};

template <>
A<int>::A()
{ /*explicit specialization def body*/} // this is OK

template <typename T>
class B
{};

template <>
B<int>::B()
{ /*explicit specializationdef body */} // this is forbidden by ISO c++
                                        // and when compiling with VS2013 gives compile error
                                        // cannot define a compiler-generated special member
                                        // function (must be declared in the class first)

Answer 1

它与成员函数定义的正常工作方式一致。您只能定义您先声明的函数。例如，这将无法编译：

struct B {
};

B::B() {
}

构造函数是隐式声明的，因此不能显式定义。

您引用的段落说，这对于模板专门化是一样的。