¿cuál es la diferencia entre la especialización explícita de plantilla y la función normal?

Question

template <class T> 
void max (T &a ,T &b) 
{}//generic template #1 

template<> void max(char &c, char &d) 
{} //template specializtion #2 

void max (char &c, char &d) 
{}//ordinary function  #3 

¿cuál es la diferencia entre 1, 2 y 3?

Answer 1

1. es una función de plantilla
2. es una especialización total de la función de plantilla anterior (no sobrecarga!)
3. es una sobrecarga de la función

Aquí está un extracto de C++ Coding Standards: 101 Rules, Guidelines, and Best Practices :

66) No se necesitan plantillas de función

Especializaciones de plantilla de funciones Nunca participe en sobrecargas: por lo tanto, las especializaciones que escriba no afectarán la plantilla que se utilice, y esto va en contra de lo que la mayoría de la gente esperaría intuitivamente. Después de todo, si hubiera escrito una función no explícita con la firma idéntica en lugar de una especialización de plantilla de función, la función no característica siempre se seleccionaría porque siempre se considera que es una mejor coincidencia que una plantilla.

El libro le aconseja añadir un nivel de direccionamiento indirecto mediante la implementación de la plantilla de función en términos de una plantilla de clase:

#include <algorithm> 

template<typename T> 
struct max_implementation 
{ 
    T& operator() (T& a, T& b) 
    { 
    return std::max(a, b); 
    } 
}; 

template<typename T> 
T& max(T& a, T& b) 
{ 
    return max_implementation<T>()(a, b); 
} 

Ver también:

• Why Not Specialize Function Templates?
• Template Specialization and Overloading

Answer 2

Las reglas de coincidencia para los parámetros de la plantilla difieren sutilmente de las funciones sobrecargadas. Un ejemplo de lo que difiere pueden verse cuando se intenta invocar max() con argumentos de diferentes tyoes:

max(1,'2'); 

Esto coincidirá con la función sobrecargada, pero ni la plantilla de base ni la especialización.