C++模版函數(shù)詳解
C++中的模版總體可以分為兩大類:模版函數(shù)、模版類。本篇文章先寫模版函數(shù),接下來會介紹模版類。
定義:模版函數(shù)是通用的函數(shù)描述,也就是說它們使用通用類型來定義,其中的通用類型可用具體類型替換。
代碼實例:
#include <iostream> //模版類的聲明 template<typename T> void Swap(T& a,T& b); int main() { int i = 10; int j = 20; std::cout<<"i=" << i << "," << "j=" <<j; Swap(i,j);//生成 void Swap(int &,int&); std::cout<<"i=" << i << "," << "j=" <<j; double x = 11.5; double y = 19.5; std::cout<<"x=" << x << "," << "y=" <<y; Swap(x,y);//編譯器生成 void Swap(double &,double&); std::cout<<"x=" << x << "," << "y=" <<y; return 0; } //模版類的定義 template<typename T> void Swap(T& a,T& b) { T temp; temp = a; a = b; b = temp; }
以上實例為最簡單的函數(shù)模版實例,編譯器會根據(jù)具體使用的類型生成相對應(yīng)的函數(shù)。
重載的模版:
需要多個對不同的類型使用同一算法時可使用模版,如上代碼所示。但是并非所有的類型都使用相同的算法。為滿足這種需求,可以像重載常規(guī)函數(shù)定義那樣重載模版定義。和重載常規(guī)函數(shù)一樣,重載函數(shù)的特征表必須不同。代碼實例如下:
#include <iostream> //模版類的聲明 template<typename T> void Swap(T& a,T& b); const int iCount = 5; template<typename T> void Swap(T* a,T*b,int n); int main() { int i = 10; int j = 20; std::cout<<"i=" << i << "," << "j=" <<j; Swap(i,j);//生成 void Swap(int &,int&) std::cout<<"i=" << i << "," << "j=" <<j; double x = 11.5; double y = 19.5; std::cout<<"x=" << x << "," << "y=" <<y; Swap(x,y);//編譯器生成 void Swap(double &,double&); std::cout<<"x=" << x << "," << "y=" <<y; int d[iCount] = {0,1,2,3,4}; int e[iCount] = {5,6,7,8,9}; Swap(d,e,iCount);//匹配新的模版,進(jìn)行數(shù)組的交換 return 0; } //模版類的定義 template<typename T> void Swap(T& a,T& b) { T temp; temp = a; a = b; b = temp; } template<typename T> void Swap(T* a,T*b,int n) { for (int i=0;i<iCount;++i) { T temp; temp = a[i]; a[i] = b[i]; b[i] = temp; } }
如上代碼新增了一個模版,用于交換兩個數(shù)組中的元素,原來的模版特征標(biāo)為(T&,T&),新模版的特征標(biāo)為(T[],T[]),int)。注意,在后一個模版中,最后一個參數(shù)的類型為具體類型(int),而不是通用類型,并非所有的模版參數(shù)都必須是模版參數(shù)類型。
顯示具體化:
對于給定的函數(shù)名,可以有非模版函數(shù),模版函數(shù)和顯示具體化模版函數(shù)以及它們的重載版本。
顯示具體化的原型和定義應(yīng)該以template<>打頭,并通過名稱來指出類型。
具體化將覆蓋常規(guī)模版,而非模版函數(shù)將覆蓋具體化和常規(guī)模版。
下面是用于交換Job結(jié)構(gòu)的非模版函數(shù),模版函數(shù)和具體化的原型。
void Swap(job &,job&);//非模版函數(shù) template <typename T> void Swap(T&,T&);//模版函數(shù) template <> void Swap<job>(job&,job&);//顯示具體化函數(shù),其中Swap后的job參數(shù)可去掉,則函數(shù)簽名為template <> void Swap(job&,job&);
前面指出,如果有多個原型,編譯器在選擇原型時,非模版將優(yōu)先于顯示具體化和模版版本,而顯示具體化將優(yōu)先于使用模版生成的版本。
如下面的調(diào)用:
double u,v;
Swap(u,v);//使用通用的模版
job a,b;
swap (a,b)//使用顯示具體化版本。
實例化和具體化:
為了進(jìn)一步了解模版,必須理解術(shù)語實例化和具體化。記住,在代碼中包含函數(shù)模版本身并不會生成函數(shù)的定義,它只是一個用于生成函數(shù)定義的方案。編譯器使用模版為特定類型生成定義時,得到的是模版實例(instantiation)。例如:函數(shù)調(diào)用Swap(i,j),使編譯器生成一個Swap()的一個實例,該實例使用int類型。模版并非函數(shù)定義,但使用int的模版實例是函數(shù)定義。這種實例化方式被稱為隱式實例化,因為編譯器之所以知道需要定義,是由于程序調(diào)用Swap()時提供了int參數(shù)。
現(xiàn)在編譯器還可以允許顯示實例化,這意味著可以直接命令編譯器生成特定的實例,如Swap<int>。其句法是,聲明所選的種類-用<>符號指示類型,并在聲明前加上關(guān)鍵字template:
template void Swap<int>(int,int);//顯示實例化
實現(xiàn)了這種特性的編譯器在看到上述聲明后,將使用Swap()模版生成一個int類型的實例。
與顯示實例化不同的是,顯示具體化使用下面兩個等價聲明的之一:
template <> void Swap<int>(int,int); template <> void Swap(int,int);
區(qū)別在于,這些聲明的意思是”不要使用Swap()模版來生成函數(shù)定義,而應(yīng)該使用獨立的、專門的函數(shù)定義顯示為int類型生成函數(shù)定義。
注意:試圖在一個編程單元中使用同一種類型的顯示具體化與顯示實例化將出錯。
以上所述是小編給大家介紹的C++模版函數(shù)詳解,希望對大家有所幫助,如果大家有任何疑問歡迎給我留言。
相關(guān)文章
C語言實現(xiàn)賓館管理系統(tǒng)課程設(shè)計
這篇文章主要為大家詳細(xì)介紹了C語言實現(xiàn)賓館管理系統(tǒng)課程設(shè)計,文中示例代碼介紹的非常詳細(xì),具有一定的參考價值,感興趣的小伙伴們可以參考一下2022-03-03C語言編程數(shù)據(jù)在內(nèi)存中的存儲詳解
本篇文章是C語言編程篇,主要為大家介紹C語言編程中數(shù)據(jù)在內(nèi)存中存儲解析,有需要的朋友可以借鑒參考下,希望可以有所幫助2021-09-09簡單講解C++的內(nèi)部和外部函數(shù)以及宏的定義
這篇文章主要介紹了簡單講解C++的內(nèi)部和外部函數(shù)以及宏的定義,是C++入門學(xué)習(xí)中的基礎(chǔ)知識,需要的朋友可以參考下2015-09-09C++中priority_queue與仿函數(shù)實現(xiàn)方法
這篇文章主要給大家介紹了關(guān)于C++中priority_queue與仿函數(shù)實現(xiàn)的相關(guān)資料,優(yōu)先級隊列是一種容器適配器,其底層通常采用vector容器,并通過堆算法來維護(hù)元素的順序,文中通過代碼介紹的非常詳細(xì)《》需要的朋友可以參考下2024-10-10