C++模板

tmplete<class T>
bool isEqual(T& left, T& right)
{
	return left == right;
}

//函数模板特化
tmplete<>
bool isEqual<char*>(char*& left,char*& right)
{
	if(isEqual(left, right) > 0)	
		return true;
	return false;
}
//一般情况下函数模板不能处理或者处理有误的类型.为实现简单通常直接给出该函数

bool isEqual(char* left,char* right)
{
	if(isEqual(left, right) > 0)	
		return true;
	return false;
}

//类模板特化
//全特化: 即将模板参数类表中的所有参数都确定化
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;
};

//偏特化: 即任何针对模板参数进一步进行条件限制设计的特化
template<class T1, class T2>
class Data
{
public:
Data() {cout<<"Data<T1, T2>" <<endl;}
private:
T1 _d1;
T2 _d2;
};

//偏特化的两种表现形式
//1.部分特化 将第二个参数特化为int
template <class T1>
class Data<T1, int>
{
public:
Data() {cout<<"Data<T1, int>" <<endl;}
private:
T1 _d1;
int _d2;
};

//2.参数更进一步的限制 偏特化并不仅是指特化部分参数，
//而是针对模板参数更进一步的条件限制所设计出来的一个特化版本

//两个参数偏特化为指针类型
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 test ()
{
	Data<double , int> d1; // 调用特化的int版本
	Data<int , double> d2; // 调用基础的模板
	Data<int *, int*> d3; // 调用特化的指针版本
	Data<int&, int&> d4(1, 2); // 调用特化的引用版本
}