模板的特化

前面对于模板的一些基本知识点 ，做了个总结。本篇主要讲述 模板的特化

什么是模板的特化？

因为编译器认为，对于特定的类型，如果你能对某一功能更好的实现，那么就该听你的。

模板特化不同于模板的实例化，模板参数在某种特定类型下的具体实现称为模板的特化。模板特化有时也称之为模板的具体化，特化分为全特化和偏特化（局部特化）。

全特化: 就是限定死模板实现的具体类型

偏特化: 就是如果这个模板有多个类型，那么只限定其中的一部分。

全特化的标志：template <>然后是完全和模板类型没有一点关系的类实现或者函数定义
偏特化的标志：template <typename T.....>，就是说还剩下点东西，不像全特化<>整得那么彻底

--------------------------------------------------------------------------------------------------

全特化

摸板函数全特化

形式：template<>

返回类型 函数名<Type>(参数列表)

{

//特化函数体

}
特化的声明必须与特定的模板相匹配

举例：

template<typename T, typename T1>
T Add(T a, T1 b)
{

	return a + b ;
}
template<>  //全特化
int Add(int a, int b)
{
	return a + b ;
}

类模板全特化

形式：

template<>

class 类名

{

}

举例：

template<typename T1, typename T2>
class Test
{
public:
	Test(T1 i, T2 j)
		:a(i)
		, b(j)
	{
		cout << "模板类" << endl;
	}
private:
	T1 a;
	T2 b;
};

template<>
class Test<int, char>
{
public:
	Test(int i, char j) 
		:a(i)
		, b(j)
	{ 
		cout << "全特化" << endl;
	}
private:
	int a;
	char b;
};

还是要提醒： 浮点数和类对象是不允许作为非类型模板参数

--------------------------------------------------------------------------------------------------

偏特化

就是对模板参数的部分给定

函数模板不存在偏特化（个人理解 ：函数的偏特化完全可以用函数重载来实现）

类模板偏特化

直接给出例子吧

template<typename T1, typename T2>
class Test
{
public:
	Test(T1 i, T2 j)
		:a(i)
		, b(j)
	{
		cout << "模板类" << endl;
	}
private:
	T1 a;
	T2 b;
};

template<>
class Test<int, char>
{
public:
	Test(int i, char j) 
		:a(i)
		, b(j)
	{ 
		cout << "全特化" << endl;
	}
private:
	int a;
	char b;
};

template <typename T2>
class Test<char, T2>
{
public:
	Test(char i, T2 j) 
		:a(i)
		, b(j)
	{ 
		cout << "偏特化" << endl;
	}
private:
	char a;
	T2 b;
};