類模板與模板類
類模板 與 模板類
1.類模板與模板類的概念
⑴ 什么是類模板 一個類模板(也稱為類屬類或類生成類)允許用戶為類定義一種模式,使得類中的某些數據成員、默寫成員函數的參數、某些成員函數的返回值,能夠取任意類型(包括系統預定義的和用戶自定義的)。
如果一個類中數據成員的數據類型不能確定,或者是某個成員函數的參數或返回值的類型不能確定,就必須將此類聲明為模板,它的存在不是代表一個具體的、實際的類,而是代表著一類類。
⑵ 類模板定義 定義一個類模板,一般有兩方面的內容:
A. 首先要定義類,其格式為:
template <class T>
class foo
{
……
}
foo 為類名,在類定義體中,如采用通用數據類型的成員,函數參數的前面需加上T,其中通用類型T可以作為普通成員變量的類型,還可以作為const和static成員變量以及成員函數的參數和返回類型之用。例如:
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. 在類定義體外定義成員函數時,若此成員函數中有模板參數存在,則除了需要和一般類的體外定義成員函數一樣的定義外,還需在函數體外進行模板聲明
例如
template<class T>
void Test<T>::print(){
std::cout<<"n="<<n<<std::endl;
std::cout<<"i="<<i<<std::endl;
std::cout<<"cnt="<<cnt<<std::endl;
}
如果函數是以通用類型為返回類型,則要在函數名前的類名后綴上“<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成員變量的做法基本上是一樣的,唯一的區別是需在對模板進行聲明,例如
template<class T>
int Test<T>::cnt=0;
template<class T>
Test<T>::Test(T k):i(k){n=k;cnt++;}
⑶ 類模板的使用 類模板的使用實際上是將類模板實例化成一個具體的類,它的格式為:類名<實際的類型>。
模板類是類模板實例化后的一個產物。說個形象點的例子吧。我把類模板比作一個做餅干同的模子,而模板類就是用這個模子做出來的餅干,至于這個餅干是什么味道的就要看你自己在實例化時用的是什么材料了,你可以做巧克力餅干,也可以做豆沙餅干,這些餅干的除了材料不一樣外,其他的東西都是一樣的了。
2.類模板的派生
可以從類模板派生出新的類,既可以派生類模板,也可以派生非模板類。派生方法:
⑴ 從類模板派生類模板可以從類模板派生出新的類模板,它的派生格式如下例所示:
template <class T>
class base
{
……
};
template <class T>
class derive:public base<T>
{
……
};
與一般的類派生定義相似,只是在指出它的基類時要綴上模板參數,即base<T>。
⑵ 從類模板派生非模板類 可以從類模板派生出非模板類,在派生中,作為非模板類的基類,必須是類模板實例化后的模板類,并且在定義派生類前不需要模板聲明語句:template<class>。例如:
template <class T>
class base
{
……
};
class derive:public base<int>
{
……
};
在定義derive類時,base已實例化成了int型的模板類。