plantillas de especialización

Question

Tengo el siguiente conjunto de plantillas:

//1 
template< typename T > void funcT(T arg) 
{ 
    std::cout<<"1: template< typename T > void funcT(T arg)"; 
} 
//2 
template< typename T > void funcT(T * arg) 
{ 
    std::cout<<"2: template< typename T > void funcT(T * arg)"; 
} 
//3 
template<> void funcT<int>(int arg) 
{ 
    std::cout<<"3: template<> void funcT<int>(int arg)"; 
} 
//4 
template<> void funcT< int * >(int * arg) 
{ 
    std::cout<<"4: template<> void funcT< int *>(int * arg)"; 
} 

//... 

int x1 = 10; 
funcT(x1); 
funcT(&x1); 

Por favor alguien puede explicar por qué funcT(x1); llamadas de función # 3 y funcT(&x1); llamadas de función # 2 # 4, pero no como se esperaba?
Ya he leído este artículo http://www.gotw.ca/publications/mill17.htm que dice que "la resolución de sobrecarga ignora las especializaciones y funciona solo en las plantillas de función base". Pero de acuerdo con esta lógica funcT(x1); debe llamar a la función n. ° 1, no n. ° 3. Estoy confundido.

Answer 1

Las funciones # 3 y # 4 son especializaciones de # 1, no de # 1 y # 2 respectivamente.

Esto significa que su compilador elegirá primero entre # 1 y # 2. Cuando ha seleccionado # 1 para ser el mejor ajuste para funcT (x1), luego selecciona la especialización, # 3. Para funcT (& x1), elige # 2 como el mejor ajuste y no encuentra especializaciones.

Al escribir # 4 como

template<> void funcT<>(int * arg) 

se convierte en una especialización de # 2 y obtendrá el resultado esperado que # 4 se llama a func (& x1).

Otra opción sería simplemente escribir

void funcT(int *arg) 

ya que siempre serán elegidos funciones regulares en lugar de versiones basados ​​en plantillas si coinciden.