类模板专门化中的成员函数语法

Question

我有一个类模板，我们称之为A，它具有一个成员函数abc()：

template <typename T>
class A{
public:
    T value;
    void abc();
};

我可以abc()使用以下语法在类声明之外实现成员函数：

template <typename T>
void A<T>::abc()
{
    value++;
}

我想做的就是为这个类创建模板专门化int。

template <>
class A<int>{
public:
    int value;
    void abc();
};

问题是：abc()为特殊类实现的正确语法是什么？

我尝试使用以下语法：

template <>
void A<int>::abc()
{
   value += 2;
}

但是，这不能编译。

Answer 1

void A<int>::abc()\n{\n   value += 2;\n}\n

\n\n

因为A<int>是explicit specialisation的A<T>.

\n\n

http://liveworkspace.org/code/982c66b2cbfdb56305180914266831d1

\n\n

n3337 14.7.3/5\n

\n显式专用类模板的成员\n以与普通类成员相同的方式定义，并且不使用 template<> 语法。

\n\n

[ 例子：

\n\n

template<class T> struct A {\nstruct B { };\ntemplate<class U> struct C { };\n};\ntemplate<> struct A<int> {\nvoid f(int);\n};\nvoid h() {\nA<int> a;\na.f(16);\n}\n// A<int>::f must be defined somewhere\n// template<> not used for a member of an\n// explicitly specialized class template\nvoid A<int>::f(int) { /\xe2\x88\x97 ... \xe2\x88\x97/ }\n

\n\n

\n