22.1 模板類

模板是泛型程式設計的基礎，那什麼是泛型程式設計呢？泛型程式設計是一種獨立於任何特定資料型別編寫程式碼的方式。

C++標準模板庫中的資料容器、迭代器和演算法，都是泛型程式設計的例子，它們都使用了模板的概念。比如動態陣列vector是可以存放任何型別資料的容器，我們可以定義許多不同型別的vector，比如 vector <int> 或 vector <string>。我們還可以定義儲存鍵值對資料的map<int，float>或map<string,int>。

在定義一個類時先不指定類中資料成員的具體型別，而是用一個通用型別 T 來暫時替代，等到例項化類的物件時才確定類的成員資料的型別，這就叫模板類。

有了模板類，編譯器會在編譯階段從類模板自動生成多個具體型別的類定義。類模板避免了程式設計師重複程式設計，但是並不等於程式中沒有具體型別類的程式碼。只要程式中有一個模板類的例項物件，就會存在對應的具體類的程式碼。

22.2 定義模板類

模板類宣告的形式如下所示：

template <class T> class class_name {

...

}

T是一個佔位符，類被例項化的時候T可以替換成某個具體的資料型別。比如下面這個例子中學生成績的資料型別有時候是用整型表示，有時候是用浮點型表示，那就可以把它定義為泛型T。

<>中的泛型資料型別也可以是多個，比如<class T1, class T2>。

22.3 模板類的物件

例項化一個類模板時，物件的引數表中的引數必須是具體的型別名，如 string、int 或其他類的名字。它們用來一一對應地替換類模板定義中“型別引數表”中的型別引數。

22.4 模板類的派生

可以從模板類派生出新的模板類，格式如下圖所示：

也從模板類派生非模板類 ，在派生中作為非模板類的基類，必須是類模板例項化後的類，並且在定義派生類前不需要模板宣告語句：template<class T>。如下圖所示：

相關推薦