C++學習第15篇-函數模板

1. 函數模板

1）函數模板的需要

通過以上篇的學習，你可以寫出易讀、安全和可維護的代碼；函數和類是高效編程的靈活工具，但C++必須要求你明確所有參數的類型；

例如你需要寫求最大值的函數，包括整型和浮點型：

以上兩個函數在形式上是一樣的，只是類型不一樣。

如果唯寫一個函數，滿足任何類型，可以用函數模板來實現。

1）什麼是函數模板？

模板-用以建立類似對象的模式；

在C++中，函數模板是用以建立類似函數的模式。使用模板型別參數-通常簡略為-T。

2）建立函數模板

3）使用函數模板

如上可以看出，使用函數模板節省了大量時間，減少了代碼維護量，更安全。

模板函數也有一些不足：一些老編譯器沒有足夠的支援；模板函數給出了難以理解的錯誤資訊；

在STL中，已有Max函數。

2. 函數模板樣本

1）函數模板樣本

C++並沒有直接編譯模板函數；在編譯期間，當遇到調用函數模板，編譯器將類型和參數傳入模板，執行得到結果；

編譯器足夠聰明來確定是否需要建立一個不同類型的函數模板執行個體。

2）運算子、函數調用和函數模板

模板函數應用於內建資料類型和類，模板中調用的任何運算子和函數必須是已定義的。

3. 模板類

函數模板是泛型程式設計的入門了，但函數模板不能解決所有的問題。

這時，該介紹模板類了。

1）模板和容器類

之前介紹過數組容器：

Arary.h:

測試：

模板類是應用程式容器類的最理想的；

模板類是C++最好和最有用的特性。

4. 運算式參數和模板特殊化

模板類可以使用另外一種模板參數，即運算式參數。

1）運算式參數：

運算式參數-不是由類型來取代的參數，而是由值來取代的參數。

一個運算式參數可以是：

A)一個是整型或枚舉型的值；

B)一個對象的指標或引用；

C)一個函數的指標或引用；

D)一個成員函數的指標或引用。

2）模板特殊化

如下例的Storage：

Storage可以儲存多種類型的，但是需要列印如char類型指標時：

我們可以通過函數模板特殊化：

5. 類模板特殊化

如下例：

Storage8適合多種類型。

在前一章節中，可以特殊化成員函數，提供對特殊類型的特殊處理。

2）類模板特殊化

類模板特殊化-允許為明確的資料類型特殊化類模板；類模板特殊化看作是完整獨立的類。