模板的特化

        首先要再提一下什么是模板，模板有什么作用？

        模板是泛型编程的基础。所谓泛型编程是编写与类型无关的逻辑代码，是一种复用的方式，模板分为模板函数和模板类。编译调用模板函数或模板类时，编译器会根据传递的参数自动推演出模板形参的类型，并自动生成对应的代码。这是前面我们已经提到过的，下面我们来了解一下模板的特化，什么事特化呢，简而言之就是特殊化。

        模板的特化相对之前的内容难度较小，下面我给出例子相信大家马上可以看懂。

#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;
}

相信大家都看懂了吧，我相信大家看懂了