对类模板成员显式特化的约束

Question

根据[temp.expl.spec]/16：

类模板的成员或成员模板可以显式专门用于类模板的给定隐式实例化...

经过一些测试，我发现特化应该与类模板的隐式实例化中的成员匹配，这意味着它们应该是相同的类型。例如，

template<class T> struct A {
  void f(T);
  static T i;
};

template<> void A<int>::f(int);     // ok 
// template<> void A<int>::f(char); // error

template<> int A<int>::i;     // ok
// template<> char A<int>::i; // error

标准在哪里指定了此类约束？

Answer 1

正如 Evgeny 的评论中指出的那样：

为类型int 实例化struct A，您会得到一个定义的方法void f(int);。

如果你想实现template<> void A<int>::f(char) { }——struct A<int> 中没有定义这样的方法。

要实现这一点，您可以将整个 struct A 专门化为 int。

另一种方法是（如 answer of user846834 中所示）将 quest 中的方法本身设为模板。

示例代码：

#include <iostream>

template <class T>
struct A {
  void f(T);
};

template <>
void A<int>::f(int) { std::cout << "void A<int>::f(int) called.\n"; }
#if 0 // ERROR
void A<int>::f(char) { std::cout << "void A<int>::f(char) called.\n"; }
#endif // 0

template <class T>
struct B {
  void f(T);
};

template <>
struct B<int> {
  void f(char);
};

void B<int>::f(char) { std::cout << "void B<int>::f(char) called.\n"; }

template <class T>
struct C {
  template <class U = T>
  void f(U) { std::cout << "void C<T>::f(U) called.\n"; }
};

template <> template <>
void C<int>::f(char) { std::cout << "void C<int>::f(char) called.\n"; }

int main()
{
  A<int> a; a.f(0);
  B<int> b; b.f(0);
  C<int> c; c.f('0');
  // done
  return 0;
}

输出：

void A<int>::f(int) called.
void B<int>::f(char) called.
void C<int>::f(char) called.

Live Demo on coliru

Answer 2

在您给出的链接示例中，只有非类型模板参数 (X1, X2) 被指定为与 T 不同的类型。 只有它们可以被指定为不同的。类型模板参数需要和特化一样。

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) { }
};

// member template specialization
template<> template<>
  void A<int>::g1(int, char);           // X1 deduced as char
template<> template<>
  void A<int>::g2<char>(int, char);     // X2 specified as char