Template Funktion Spezialisierung vs.

Question

Von einigen Dias über Template-Spezialisierung Überlastung:

#include <iostream> 

using namespace std; 

template<class X> 
X& min(X& a, X& b) 
{ 
    return a > b ? b : a; 
} 

int& min(int& a, int & b) 
{ 
    // rewrite of the function in the case of int: 
    cout << "int explicit function\n"; 
    return a > b ? b : a; 
} 

/* 
new syntax – the more appropriate way: 
template<> 
int& min<int>(int& a, int& b) 
{ 
    cout << "int explicit function\n"; 
    return a > b ? b : a; 
} 
*/ 

Warum ist der zweite Weg, um mehr „angemessen“?

Answer 1

Die Überladung funktioniert für die meisten Kontexte gut, und AFAIK ist der vorgeschlagene Basisansatz. (siehe GOTW vorgeschlagen von Juanchopanza)

Der Unterschied trifft, wenn jemand explizit nach der Vorlage fragt, min<int>(x, y) aufrufen. In diesem Fall werden Überladungen ignoriert und nur die Vorlage (Basis oder spezialisiert) berücksichtigt.