类模板的简单举例

类模板的定义格式

template<class T1, class T2, ..., class Tn>

class 类模板名

{

// 类内成员定义

};

例子：简单实现STL中vector

 

template<class T>
class Vector
{ 
public :
 Vector(size_t capacity = 10)
 : _pData(new T[capacity])
 , _size(0)
 , _capacity(capacity)
 {}
 
 // 使用析构函数演示：在类中声明，在类外定义。
 ~Vector();
 
 void PushBack(const T& data)
 {
 // _CheckCapacity();
 _pData[_size++] = data;
 }
 
 void PopBack()
 {
 --_size;
 }
 
 size_t Size()
 {
 return _size;
 }
 
 T& operator[](size_t pos)
 {
 assert(pos < _size);
 
 return _pData[pos];
 }
 
private:
 T* _pData;
 size_t _size;
 size_t _capacity;
};

template <class T>//在外部定义时，需要加上模板参数列表
Vector<T>::~Vector()
{
 if(_pData)
 {
 delete[] _pData;
 }
}

 Vector不是具体的类，是编译器根据被实例化的类型生成具体类的模具

 

 

类模板的实例化

类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

 

根据上面代码的例子：Vector类名，Vector<int>才是类型

 

 

类模板特化

 

全特化：全特化即是将模板参数类表中所有的参数都确定化

 

 

template<class T1, class T2>
class Data
{
public:
Data() {cout<<"Data<T1, T2>" <<endl;}
private:
T1 _d1;
T2 _d2;
};
template<>
class Data<int, char>
{
public:
Data() {cout<<"Data<int, char>" <<endl;}
private:
T1 _d1;
T2 _d2;
};
void TestVector()
{
Data<int, int> d1;//class T1 和class T2的类型
Data<int, char> d2;
}

 

偏特化：任何针对模版参数进一步进行条件限制设计的特化版本。

部分特化：将模板参数类表中的一部分参数特化。

将参数更进一步的限制：针对模板参数更进一步的条件限制所设计的一个特化版本。

//基础的模板
template<class T1, class T2>
class Data
{
public:
Data() {cout<<"Data<T1, T2>" <<endl;}
private:
T1 _d1;
T2 _d2;
};

//将T2偏化成int类型
template <class T1>
class Data<T1, int>
{
public:
Data() {cout<<"Data<T1, int>" <<endl;}
private:
T1 _d1;
int _d2;
};

//两个参数偏特化为指针类型
template <typename T1, typename T2>
class Data <T1*, T2*>
{
public:
Data() {cout<<"Data<T1*, T2*>" <<endl;}
private:
T1 _d1;
T2 _d2;
};

//将两个参数特化成引用类型
template <typename T1, typename T2>
class Data <T1&, T2&>
{
public:
 Data(const T1& d1, const T2& d2)
 : _d1(d1)
 , _d2(d2)
 {
 cout<<"Data<T1&, T2&>" <<endl;
 }
 
private:
 const T1 & _d1;
 const T2 & _d2; 
 };


void test2 () 
{
 Data<double , int> d1; // 调用特化的int版本
 Data<int , double> d2; // 调用基础的模板 
 Data<int *, int*> d3; // 调用特化的指针版本
 Data<int&, int&> d4(1, 2); // 调用特化的指针版本
}