Template specializzazione contro sovraccarico

Question

Da alcune diapositive su modello di specializzazione:

#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; 
} 
*/ 

Perché è il secondo modo più "adeguato"?

Answer 1

Il sovraccarico funziona bene per la maggior parte dei contesti e AFAIK è l'approccio di base suggerito. (vedi GOTW suggerito da juanchopanza)

La differenza colpisce se qualcuno richiede esplicitamente il modello, chiamando min<int>(x, y). In tal caso i sovraccarichi vengono ignorati e viene preso in considerazione solo il modello (base o specializzato).