类模版之偏特化

//类模板（模板定义以关键字template开始，后接尖括号括住的模板形参表，形参前用class或者typename关键字修饰）
template<class T1, typename T2>
class Compare
{
public:
	Compare(T1 x = 0, T2 y = 0)
		:x(x), y(y)
	{
	}

	bool isEqual()
	{
		if (x == y)
			return true;
		return false;
	}

	T1 getX();
	void setX(T1 x);

private:
	T1 x;
	T2 y;
};

//每一个在类模板外定义的函数都要带一个帽子
template<class T1, typename T2>
T1 Compare<T1, T2>::getX()
{
	return x;
}

//每一个在类模板外定义的函数都要带一个帽子
template<class T1, class T2>
void Compare<T1, T2>::setX(T1 x)
{
	this->x = x;
}

//类模板偏特化
template<class T1>
class Compare<T1, const char *>
{
public:
	Compare(T1*x = 0, const char *y = 0)
		:x(x), y(y)
	{
	}

	bool isEqual()
	{
		if (!strcmp(x, y))
			return true;
		return false;
	}

	const char* getX();
	void setX(const char* x);

private:
	T1 *x;
	const char *y;
};


//类模板偏特化
template<class T2>
class Compare<const char *, T2>
{
public:
	Compare(const char *x = 0, T2 *y = 0)
		:x(x), y(y)
	{
	}

	bool isEqual()
	{
		if (!strcmp(x, y))
			return true;
		return false;
	}

	const char* getX();
	void setX(const char* x);

private:
	const char *x;
	T2 *y;
};

void main()
{
	//使用类模板时，必须为模板形参显示指定实参，此处为int,int型
	Compare<int, int> com1(10, 20);
	com1.setX(20);
	cout << com1.isEqual() << endl;

	Compare<string,string> com2("jack", "jack");
	cout << com2.isEqual() << endl;

	//偏特化调用歧义：多个部分专用化与模版参数列表匹配
	Compare<const char*, const char*> com3("jack", "jack");
	cout << com3.isEqual() << endl;

}