模板的特化

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

什么是模板的特化？

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

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

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

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

全特化的标志：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;};