一 函數(shù)模板
函數(shù)模板爽航,實(shí)際上是建立一個通用函數(shù)蛛勉,其返回值類型和形參類型不具體指定儡司,用一個虛擬的類型來代替沉删。這個通用函數(shù)就稱為函數(shù)模板渐尿。凡是函數(shù)體相同的函數(shù)都可以用這個模板來代替,不必定義多個函數(shù)矾瑰,只需在模板中定義一次即可砖茸。在調(diào)用函數(shù)時系統(tǒng)會用實(shí)參的類型來取代模板中的虛擬類型,從而實(shí)現(xiàn)了不同函數(shù)的功能殴穴。
定義模板函數(shù)的語法為:template <typename 數(shù)據(jù)類型參數(shù) , typename 數(shù)據(jù)類型參數(shù) , ...> 返回值類型 函數(shù)名(形參列表){
//TODO: //在函數(shù)體中可以使用數(shù)據(jù)類型參數(shù)
}
其中凉夯,template 是定義模板函數(shù)的關(guān)鍵字,template后面的尖括號不能省略采幌;typename 是聲明數(shù)據(jù)類型參數(shù)名的關(guān)鍵字劲够,多個數(shù)據(jù)類型參數(shù)以逗號分隔。例如休傍,求兩個數(shù)的值
//在返回值類型征绎、形參列表、函數(shù)體中都可以使用T
template<typename T> T sum(T a, T b){
T temp = a + b;
return temp;
}
template<typename T>為模板頭磨取,T為類型參數(shù)人柿。模板函數(shù)的調(diào)用形式和普通函數(shù)一樣:
int n = sum(10, 20);
float m = sum(12.6, 23.9);
二 類模板
編譯器可以根據(jù)調(diào)用時傳遞的參數(shù)來自動推演數(shù)據(jù)類型柴墩。有時,有兩個或多個類凫岖,其功能是相同的拐邪,僅僅是數(shù)據(jù)類型不同,如下面語句聲明了一個類:
class Compare_int{
public:
Compare(int a,int b){
x=a;
y=b;
}
int max(){
return (x>y)?x:y;
}
int min(){
return (x<y)?x:y;
}
private:
int x,y;
}
顯然這基本上是重復(fù)性的工作隘截,應(yīng)該有辦法減少重復(fù)的工作扎阶。C++增加了template功能,提供了解決這類問題婶芭《危可以聲明一個通用的類模板,它可以有一個或多個虛擬的類型參數(shù)犀农,如對以上兩個類可以綜合寫出以下的類模板:
template <class numtype>
class Compare{
public:
Compare(numtype a, numtype b){
x=a;
y=b;
}
numtype max(){
return (x>y)?x:y;
}
numtype min(){
return (x<y)?x:y;
}
private:
numtype x,y;
}
可以看到惰赋,聲明類模板時要增加一行template <class 類型參數(shù)名>在上面的例子中numtype就是一個類型參數(shù)名。這個名宇是可以任意取的呵哨,只要是合法的標(biāo)識符即可赁濒。這里取numtype只是表示“數(shù)據(jù)類型”的意思而已。此時孟害,mimtype并不是一個已存在的實(shí)際類型名拒炎,它只是一個虛擬類型參數(shù)名。在以后將被一個實(shí)際的類型名取代挨务。原有的類型名int換成虛擬類型參數(shù)名numtype击你。在建立類對象時,如果將實(shí)際類型指定為int型谎柄,編譯系統(tǒng)就會用int取代所有的numtype丁侄,如果指定為float型,就用float取代所有的numtype朝巫。這樣就能實(shí)現(xiàn)“一類多用”鸿摇。