C 函式模板與類模板例項解析

c++函式模板與類模板例項解析

本文針對c++函式模板與類模板進行了較為詳盡的例項解析，有助於幫助讀者加深對c++函式模板與類模板的理解。具體內容如下：

泛型程式設計（generic programming）是一種程式設計正規化，通過將型別引數化來實現在同乙份**上操作多種資料型別，泛型是一般化並可重複使用的意思。泛型程式設計最初誕生於c++中，目的是為了實現c++的stl（標準模板庫）。

模板（template）是泛型程式設計的基礎，乙個模板就是乙個建立類或函式的藍圖或公式。例如，當使用乙個vector這樣的泛型型別或者find這樣的泛型函式時，我們提供足夠的資訊，將藍圖轉換為特定的類或函式。

一、函式模板

乙個通用的函式模板（function template）就是乙個公式，可用來生成針對特定型別或特定值的函式版本。模板定義以關鍵字template開始，後面跟乙個模板引數列表，列表中的多個模板引數（template parameter）以逗號分隔。模板引數表示在類或函式定義中用到的型別或值。

1、型別引數

乙個模板型別引數（type parameter）表示的是一種型別。我們可以將型別引數看作型別說明符，就像內建型別或類型別說明符一樣使用。型別引數前必須使用關鍵字class 或typename：

template // typename和class一樣的

t function(t* p)

關鍵字typename和class是一樣的作用，但顯然typename比class更為直觀，它更清楚地指出隨後的名字是乙個型別名。

編譯器用模板型別實參為我們例項化（instantiate）特定版本的函式，乙個版本稱做模板的乙個例項（instantiation）。當我們呼叫乙個函式模板時，編譯器通常用函式實參來為我們推斷模板實參。當然如果函式沒有模板型別的引數，則我們需要特別指出來：

int a = 10;

cout << function(&a) << endl; // 編譯器根據函式實參推斷模板實參

cout << function(&a) << endl; // 指出模板引數為int

2、非型別引數

在模板中還可以定義非型別引數（nontype parameter），乙個非型別引數表示乙個值而非乙個型別。我們通過乙個特定的型別名而非關鍵字class或typename來指定非型別引數：

// 整形模板

template