шаблона функция специализация по сравнению с перегрузкой

Question

Из некоторых слайдов о специализации шаблона:

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

Почему второй путь более «соответствующий»?

Answer 1

Перегрузка работает отлично для большинства контекстов, и AFAIK является предлагаемым базовым подходом. (см. GOTW, предложенный juanchopanza)

Разница попадает, если кто-то явно запрашивает шаблон, вызывая min<int>(x, y). В этом случае перегрузки игнорируются и рассматриваются только шаблон (базовый или специализированный).