c++ 模板之特化

特化

 何为特化，特化也是我们指定一些类型，当我们传入响应的类型的时候，模板生成的类是我们指定类型所对应的类。
 可能有的时候我们有这样的需求，普通参数我们走平常的模板类，而对于个别特殊地参数我们需要特殊处理，所以可以走特殊类型对应的模板类，这个时候特化就油然而生了。

全特化

全特化指把所有模板类型特化成确切的类型

1.
template<class T1>
class  A
{
};
template<> //不可省略
class A<int>
{
};
2. 比较骚的全特化用法
template<class T,class T2>
class B{

};
template <class T>
class A{

};
template<class T,class T2>
class A<B<T,T2>>
{

};

偏特化

偏特化几种方式
1. 特化一部分模板参数
2. 把模板参数覆盖的范围变小，比如原来是全模板参数T，现在模板参数范围变小，可能是T*。

1.
template<class T , class T2>
class A{

};
template<class T>
class A<T, int>
{

};

template<class T , class T2>
class A{
public:
    void Fun()
    {
        cout << "1" << endl;
    }
};
template<class T,class T2>
class A<T*, T2*>
{
public:
    void Fun()
    {
        cout << "2" << endl;
    }
};
int main()
{
    A<int, int> object;
    object.Fun();
    A<int*, int*> object2;
    object2.Fun();
    return 0;
}

对于上面这个代码，输出一个1 一个2。可见只要传 指针类型，走的是下面这个特化模板类。

特化应用

类型萃取

类型萃取就是通过特化把内置类型和ADT(抽象数据类型即自定义类) 类型，抽离开来。当内置类型我们copy 的时候可以直接调memmove，而ADT则需要传统的一个个调用 operator= 来赋值处理。

struct TrueType
{

};
struct FalseType
{

};
template <class T>
struct IsPoD
{
  typedef  struct FalseType ispod;
};
template<>
struct IsPoD<int>
{
  typedef  struct TrueType ispod;
};
template<>
struct IsPoD<char>
{
   typedef struct TrueType ispod;
};
template<> struct IsPoD<float>
{
   typedef  struct TrueType ispod;
};
template<> struct IsPoD<long>
{
   typedef  struct TrueType ispod;
};