如何确定将使用哪个模板

Question

template<typename T>
void a(T) {cout << "(T)" << endl;}

template<>
void a<>(int*) {cout << "(int)" << endl;}

template<typename T>
void a(T*) {cout << "(T*)" << endl;}

template<typename T>
void b(T) {cout << "(T)" << endl;}

template<typename T>
void b(T*) {cout << "(T*)" << endl;}

template<>
void b<>(int*) {cout << "(int)" << endl;}

int main()
{
  int i;
  a(&i);
  b(&i); 
  return 0;
}

(T*)
(int)

我以为是：

(int)
(int)

Answer 1

只考虑主模板（因此没有专门化）以选择更专门化的重载。

一旦选择完成与主模板，我们使用专门化如果有。

现在，模板<>void a<>(int*)；只能是模板 void a(T) 的专门化（尚未看到其他版本）。

null

int i;
a(&i); // a<T*> with T=int*, no specialization for a<U*> (U=int) exist -> generic template called
b(&i); // b<T*> with T=int*, specialization for b<U*> (U=int) exists -> specialization called