C++編程語言是一個功能強大的計算機應用語言，它的出現(xiàn)在一定程度上大大降低了開發(fā)人員的負擔，提高了開發(fā)效率。我們在這里先來了解一下C++模板參數(shù)的相關概念。簡單的說，可以把模板看作一種類型，函數(shù)模板也不例外。

既然是類型，那么我們在使用模板函數(shù)的時候就應該是使用它的一個實例。既然是類型與實例的關系，那么就應該有一個類型的實例化的問題。我們對普通類型進行實例化的時候通常需要提供必要的參數(shù)以，模板函數(shù)也不例外。只是C++模板參數(shù)不是普通的參數(shù)，而是特定的類型。也就是說在實例化一個函數(shù)模板的時候需要以類型作為參數(shù)。通常，模板的參數(shù)分為模板參數(shù)和調用參數(shù)。例如：

template <typename T1, typename T2, typename RT> 
inline RT const& max(T1 const& a, T2 const& b)  
{  
//TODO: 代碼實現(xiàn)  
........  
} 

其中，***行定義了函數(shù)模板參數(shù)；第二行的函數(shù)參數(shù)則定義了調用參數(shù)，需要注意的是返回值并不屬于函數(shù)模板的調用參數(shù)。

在調用一個模板的時候，最重要的是在調用的時候能正確的推導出C++模板參數(shù)。這里有幾點要注意的：

1：顯示的實例化函數(shù)模板。例如：

template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 實例化并調用一個模板  
max<double>(4, 4.2); 

第十行，通過顯示的指定C++模板參數(shù)為double而實例化了一個模板。

2：隱式的實例化一個函數(shù)模板。例如：

template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 隱式的實例化并調用一個函數(shù)模板  
int i = max(42, 66); 

第8行，我們沒有顯示的指定函數(shù)模板參數(shù)，但它能自動的去推導出函數(shù)模板參數(shù)為int。這里可能有個問題。如果非模板函數(shù)它的定義和推導后的模板函數(shù)實例一樣，會產生什么結果呢？例如：

inline int const& max(int const& a, int const& b)  
{  
// 為了便于區(qū)分，讓返回結果＋100  
return a < b ? a+10 : b+100;  
}  
template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 這里調用的究竟是模板函數(shù)還是非模板函數(shù)？  
int i = max(42, 66); 

實際上，第14行的代碼首先回去查看是否有滿足要求的非模板函數(shù)；如果沒有，再根據(jù)參數(shù)去匹配并實例化相應的模板函數(shù)。所以，它調用的應該是非模板的max函數(shù)。

3： 也可以使用部分缺省的C++模板參數(shù)。你不用指定全部的模板參數(shù)，比如，你可以從左到右的，指定一部分參數(shù)。例如：

// 從左至右定義了三個參數(shù)  
template <typename RT, typename T1, typename T2> 
inline RT const& max(T1 const& a, T2 const& b)  
{  
//TODO: 代碼實現(xiàn)  
..  
}  
// 可以只指定***個返回參數(shù)。即，要求返回double類型  
max<double>(4, 4.2); 

上面的代碼中，由于返回參數(shù)類型不屬于調用參數(shù)，所以必須明確的指定它為double類型。而T1和T2屬于調用C++模板參數(shù)，能從函數(shù)調用中推導出來。

【編輯推薦】

1. C++使用接口基本實現(xiàn)方式解析
2. C++左值與右值之間共同與不同點解析
3. C++對象復制相關應用方式淺析
4. C++變量作用域使用注意事項
5. C++ sizeof概念及應用方式探討