属于模板类的成员模板的 C++ 显式特化

Question

在当前的 C++ 标准草案中，this paragraph 中有这个示例，属于与模板的显式特化相关的部分：

template<class T> struct A {
   void f(T);
   template<class X1> void g1(T, X1);
   template<class X2> void g2(T, X2);
   void h(T) { }
};

// specialization
template<> void A<int>::f(int);

// out of class member template definition
template<class T> template<class X1> void A<T>::g1(T, X1) { }


// member template specialization
template<> template<class X1> void A<int>::g1(int, X1);  //(1)

// member template specialization
template<> template<>
void A<int>::g1(int, char);                              //(2)

在 (1) 中，g1 似乎更像是专门用于仍然是 A (A) 的专门版本中的函数模板，而在 (2) 中，g1 本身似乎专门用于自己设置的模板参数((int, from A), char)。

我发现这些专业化之间存在差异（再次，（1）感觉就像声明 g1 的新版本用于其“容器”A 的“特殊版本”，而（2 ) 感觉就像是关于 g1 本身（或关于它自己的模板参数）的专业化。

此外，考虑这个例子：

template<class T> struct A{
   int f() { return 1; }
}

template<>
int A<int>::f() { return 2; }                            //(3)

对我来说，(1) 和 (3) 是同一种“特化”，与“容器”的特殊版本相关联，而 (2) 是实体（模板）本身的特化。

标准是否提到了这种差异，或者这两种专业化是否相同？

谢谢。

Answer 1

首先，您的#3 等同于引用示例中的第一个特化，除了标准的f 在其签名中使用类的模板参数——大概是为了说明，由于签名必须与特化匹配，因此模板类的参数可能需要在特化声明中重复。

然后，区别在于 #1 是 A<T> 的 成员 的特化，而 T 是 int — 一种写 A<int> 自身特化的简写这与主模板基本相同。特别是，为了避免误导，被专门化的成员的签名必须与主模板（的实例化）保持不变。在这种情况下，这意味着它仍然是一个模板。

另一方面，#2 是模板的特化，碰巧是A<int> 的成员——特化是A<int>::g1 本身，而不是“A<T>::g1”的成员T 是 int”，与 #1 一样。这当然只适用于成员是模板的情况，这与#3 不同。 （在这种情况下，#2 是由 #1 声明的模板的特化！）

[temp.expl.spec]/15 的部分观点是这两种情况在语法上不是强烈区分。区别主要是学术上的：对于某些论点，两者都是对templated entity 的外科手术。