模板顯式專業化和普通功能有什麼區別？

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 

1,2和3之間有什麼區別？

Answer 1

1. 是一個模板函數
2. 是以前的模板函數的專業化總額（不超載！）
3. 是功能

這裏的過載是C++ Coding Standards: 101 Rules, Guidelines, and Best Practices摘錄：

66）不要專注函數模板

功能模板專業化從不參與重載：因此，您編寫的任何專業化版本都不會影響使用哪個模板，這與大多數人直覺上期望的內容背道而馳。畢竟，如果你寫了一個具有相同簽名而不是函數模板專門化的非模板函數，那麼總是會選擇非模板函數，因爲它總是被認爲比模板更好匹配。

這本書建議你在一個類模板方面實現函數模板添加間接的層次：

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

參見：

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

Answer 2

模板參數的匹配規則與重載函數的細微差別。什麼可以當你嘗試調用max()不同tyoes的爭論中可以看出不同的例子：

max(1,'2'); 

這將匹配重載函數，但無論是基本模板，也沒有專業化。