1、在c++的Template中很多地方都用到了typename與class這兩個關鍵字，而且有時候二者可以替換，那么是不是這兩個關鍵字完全一樣呢？
事實上class用于定義類，在模板引入c++后，最初定義模板的方法為：template<class T>,這里class關鍵字表明T是一個類型，后來為了避免class在這兩個地方的使用可能給人帶來混淆，所以引入了typename這個關鍵字，它的作用同class一樣表明后面的符號為一個類型，這樣在定義模板的時候就可以使用下面的方式了：      template<typename T>.在模板定義語法中關鍵字class與typename的作用完全一樣。

2、類模板與模板類的概念

(1) 什么是類模板

一個類模板(也稱為類屬類或類生成類)允許用戶為類定義一種模式，使得類中的某些數(shù)據(jù)成員、默認成員函數(shù)的參數(shù)、某些成員函數(shù)的返回值，能夠取任意類型(包括系統(tǒng)預定義的和用戶自定義的)。
如果一個類中數(shù)據(jù)成員的數(shù)據(jù)類型不能確定，或者是某個成員函數(shù)的參數(shù)或返回值的類型不能確定，就必須將此類聲明為模板，它的存在不是代表一個具體的、實際的類，而是代表著一類類。

(2)類模板定義

定義一個類模板，一般有兩方面的內容：

A.首先要定義類，其格式為：

template <class T>
class foo
{
……
}

foo 為類名，在類定義體中，如采用通用數(shù)據(jù)類型的成員，函數(shù)參數(shù)的前面需加上T,其中通用類型T可以作為普通成員變量的類型，還可以作為const和static成員變量以及成員函數(shù)的參數(shù)和返回類型之用。例如：

template<class T>
class Test{
private:
T n;
const T i;
static T cnt;
public:
Test()：i(0){}
Test(T k);
~Test(){}
void print();
T operator+(T x);
};

B. 在類定義體外定義成員函數(shù)時，若此成員函數(shù)中有模板參數(shù)存在，則除了需要和一般類的體外定義成員函數(shù)一樣的定義外，還需在函數(shù)體外進行模板聲明

例如：

template<classT>
voidTest<T>::print(){
std::cout<<"n="<<n<<std::endl;
std::cout<<"i="<<i<<std::endl;
std::cout<<"cnt="<<cnt<<std::endl;
}

如果函數(shù)是以通用類型為返回類型，則要在函數(shù)名前的類名后綴上"<T>".例如：

template<class T>
Test<T>::Test(T k)：i(k){n=k;cnt++;}
template<class T>
T Test<T>::operator+(T x){
return n + x;
}

C. 在類定義體外初始化const成員和static成員變量的做法和普通類體外初始化const成員和static成員變量的做法基本上是一樣的，唯一的區(qū)別是需再對模板進行聲明，例如

template<class T>
int Test<T>::cnt=0;
template<class T>
Test<T>::Test(T k):i(k){n=k;cnt++;}

(3)類模板的使用。類模板的使用實際上是將類模板實例化成一個具體的類，它的格式為：類名<實際的類型>.
模板類是類模板實例化后的一個產物。說個形象點的例子吧。我們把類模板比作一個做餅干的模子，而模板類就是用這個模子做出來的餅干，至于這個餅干是什么味道的就要看你自己在實例化時用的是什么材料了，你可以做巧克力餅干，也可以做豆沙餅干，這些餅干的除了材料不一樣外，其他的東西都是一樣的了。

3、函數(shù)模板和模板函數(shù)

(1)函數(shù)模板
函數(shù)模板可以用來創(chuàng)建一個通用的函數(shù)，以支持多種不同的形參，避免重載函數(shù)的函數(shù)體重復設計。它的最大特點是把函數(shù)使用的數(shù)據(jù)類型作為參數(shù)。
函數(shù)模板的聲明形式為：

template<typename(或class) T>
<返回類型><函數(shù)名>(參數(shù)表)
{
函數(shù)體
}

其中，template是定義模板函數(shù)的關鍵字;template后面的尖括號不能省略;typename(或class)是聲明數(shù)據(jù)類型參數(shù)標識符的關鍵字，用以說明它后面的標識符是數(shù)據(jù)類型標識符。這樣，在以后定義的這個函數(shù)中，凡希望根據(jù)實參數(shù)據(jù)類型來確定數(shù)據(jù)類型的變量，都可以用數(shù)據(jù)類型參數(shù)標識符來說明，從而使這個變量可以適應不同的數(shù)據(jù)類型。例如：

template<typename(或class) T>
T fuc(T x, T y)
{
T x;
//……
}

函數(shù)模板只是聲明了一個函數(shù)的描述即模板，不是一個可以直接執(zhí)行的函數(shù)，只有根據(jù)實際情況用實參的數(shù)據(jù)類型代替類型參數(shù)標識符之后，才能產生真正的函數(shù)。

(2)模板函數(shù)：
模板函數(shù)的生成就是將函數(shù)模板的類型形參實例化的過程。
例如：

double d;
int a;
fuc(d,a);

則系統(tǒng)將用實參d的數(shù)據(jù)類型double去代替函數(shù)模板中的T生成函數(shù)：

double fuc(double x,int y)
{
double x;
//……
}

最新評論