首先要再提一下什么是模板,模板有什么作用?
模板是泛型编程的基础。所谓泛型编程是编写与类型无关的逻辑代码,是一种复用的方式,模板分为模板函数和模板类。编译调用模板函数或模板类时,编译器会根据传递的参数自动推演出模板形参的类型,并自动生成对应的代码。这是前面我们已经提到过的,下面我们来了解一下模板的特化,什么事特化呢,简而言之就是特殊化。
模板的特化相对之前的内容难度较小,下面我给出例子相信大家马上可以看懂。
#include <iostream>
using namespace std;
//非类型的类模板参数
//#include "Stack.h”
//#include "Queue.h"
//template<class T, int N>
//class Array
//{
//private:
// T _array[N];
//};
//int main()
//{
//TestStack();
// TestQueue();
// Array<int, 10> a;
// return 0;
//}
//一个没有经过特化的模板类
template <typename T1, typename T2>
class Data
{
public :
Data();
private :
T1 _d1 ;
T2 _d2 ;
};
template <typename T1, typename T2>
Data<T1 , T2>::Data()
{
cout<<"Data<T1, T2>" <<endl;
}
//全特化
template <>
class Data <int, int>
{
public :
Data();
private :
int _d1 ;
int _d2 ;
};
//特化之后定义成员函数不再需要模板形参
Data<int , int>::Data()
{
cout<<“Data<int, int>" <<endl;
}
// 偏特化,局部特化第二个参数
template <typename T1>
class Data <T1, int>
{
public :
Data();
private :
T1 _d1 ;
int _d2 ;
};
template <typename T1>
Data<T1 , int>::Data()
{
cout<<"Data<T1, int>" <<endl;
}
//下面例子可以看出,偏特化并不仅仅是指特殊部分参数,而是针对模板参数更进一步的条件约束所设计出来的一个特化版本
// 局部特化两个参数为指针类型
template <typename T1, typename T2>
class Data <T1*, T2*>
{
public :
Data();
private :
T1 _d1 ;
T2 _d2 ;
T1* _d3 ;
T2* _d4 ;
};
template <typename T1, typename T2>
Data<T1 *, T2*>:: Data()
{
cout<<"Data<T1*, T2*>" <<endl;
}
// 局部特化两个参数为引用
template <typename T1, typename T2>
class Data <T1&, T2&>
{
public :
Data(const T1& d1, const T2& d2);
private :
const T1 & _d1;
const T2 & _d2;
T1* _d3 ;
T2* _d4 ;
};
template <typename T1, typename T2>
Data<T1 &, T2&>:: Data(const T1& d1, const T2& d2)
: _d1(d1 )
, _d2(d2 )
{
cout<<"Data<T1&, T2&>" <<endl;
}
void test2 ()
{
Data<int , int> d0;
Data<double , int> d1;
Data<int , double> d2;
Data<int *, int*> d3;
Data<int&, int&> d4(1, 2);
}
int main()
{
test2();
return 0;
}
相信大家都看懂了吧,我相信大家看懂了