Was ist der Unterschied zwischen Template Explicit Specialization und normaler Funktion?

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 

Was ist der Unterschied zwischen 1, 2 und 3?

Answer 1

1. ist eine Template-Funktion
2. eine hohe Spezialisierung der bisherigen Template-Funktion ist (nicht überlastet!)
3. eine Überlastung der Funktion ist

Hier ein Auszug aus C++ Coding Standards: 101 Rules, Guidelines, and Best Practices :

66) Sie spezialisieren nicht Funktionsschablonen

Funktionschablonen-Spezialisierungen nehmen niemals am Überladen teil: Daher beeinflussen alle Spezialisierungen, die Sie schreiben, nicht, welche Schablone verwendet wird, und dies läuft dem entgegen, was die meisten Leute intuitiv erwarten würden. Wenn Sie statt einer Funktionsschablonenspezialisierung eine Nintemplate-Funktion mit der identischen Signatur geschrieben hätten, wäre die Nontemplate-Funktion immer ausgewählt, weil sie immer als besser als eine Vorlage angesehen wird.

Das Buch berät Sie einen Dereferenzierungsebene hinzufügen, indem Sie die Funktion Vorlage in Form einer Klassenvorlage Implementierung:

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

Siehe auch:

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

Answer 2

Die Übereinstimmungsregeln für Vorlagenparameter unterscheiden sich geringfügig von denen überladener Funktionen. Ein Beispiel dafür, was unterscheidet sich zu sehen, wenn Sie versuchen, max() mit Argumenten verschiedener tyoes aufzurufen:

max(1,'2'); 

Dies wird die überladene Funktion entsprechen, aber weder die Basisvorlage noch die Spezialisierung.