C++中的函數模板

對于類的聲明來說，也有同樣的問題。有時，有兩個或多個類，其功能是相同的，僅僅是數據類型不同，如下面語句聲明了一個類：

如果想對兩個浮點數（float型）做比較，另外在聲明一個類：

可以聲明一個通用的類模板，它可以有一個或者多個虛函數的類型參數，

聲明類模板時要增加一行，template<class 類型參數名>

template的意思是“模板”，是聲明類模板時必須寫的關鍵字。在template后面的尖括號內的內容是模板的參數表列，關鍵字class表示其后面的是類型參數。本例中，T就是一個類型參數名，這個名字是任意取的，只要是合法的標識符即可。

T并不是一個已存在的實際類型名，它只是一個虛擬類型參數名，在以后將被一個實際的類型名取代。

（2）

原有的類型名int換成虛擬類型參數名T。在建立類對象時，如果將實際類型指定為int型，編譯系統就會用int取代所有的T，如果指定為float型，就用float取代所有的T。這樣就能實現“一類多用”。

由于類模板包含類型參數，因此又稱為參數化的類。如果說類是對象的抽象，對象是類的實例，則類模板時類的抽象，類是類模板的實例。利用類模板可以建立含各種數據類型的類。

那么，我們聲明了一個類模板后，怎樣使用它呢？

用類定義對象的一般方法：

Compare_int cmp1(4,7);       //Compare_int是已聲明的類

其作用是建立一個Compare_int類的對象cmp1，將實參4和7分別賦給形參a和b，作為進行比較的兩個整數。

用類模板定義對象的方法與此類似，但是不能直接寫成

Compare cmp(4,7);               //Compare是類模板名

Compare是類模板名，而不是一個具體的類，類模板體中的類型T并不是一個實際的類型，只是一個虛擬的類型，無法用它去定義對象。必須用實際類型名去取代虛擬的類型，具體做法是：

Compare <int> cmp1(4,7);

即在類模板名之后在尖括號內指定實際的類型名，在進行編譯時，編譯系統就用int取代類模板中的類型參數T，這樣就把類模板具體化了，或者說實例化了。

這時Compare <int>就相當于前面介紹的Compare_int類。

====================示例代碼1.1====================

聲明一個類模板，利用它分別實現兩個整數、浮點數、和字符的比較，求出大數和小數

還有一個問題要說明：上面列出的類模板中的成員函數是在類模板內定義的。

如果改為在類模板外定義，不能用一般定義類成員函數的形式：

T compare::max(){....}             //不能這樣定義類模板中的成員函數

而應當寫成類模板的形式：

在定義對象時，用戶當然要指定實際的類型（圖int），進行編譯時就會將類模板中的虛擬類型名T全部用實際的類型代替。這樣Compare<T>就相當于一個實際的類。

歸納一下使用時要注意的問題：

（1）在類聲明前面加入一行，格式為

template<class 虛擬類型參數>

如：

類模板名 <實際類型名> 對象名;

類模板名 <實際類型名> 對象名(實參列表);

如：

template <class  虛擬類型參數>

函數類型    類模板名 <虛擬類型參數>::成員函數名(函數形參表列){……}

（4）類模板的類型參數可以有一個或者多個，每個類型前面都必須加class,如：

如果類模板是在A文件開頭定義的，則A文件范圍內為有效作用域，可以在其中的任何地方使用類模板，但不能在B文件中使用類模板定義對象。

（6）模板可以有層次，一個類模板可以作為基類，派生出派生類。