c++ 模板特化与局部特化

模板的由来是要处理泛化，也就是任何类型都可以处理。但是泛化的同时，如果针对某种特殊的类型，又更加效率的处理方法。c++提供针对特殊的类型，可以定义不同的处理方法。针对某种特殊类型去处理的方式就叫做特化。

特化分全部特化和局部特化

全部特化：

template<typename T> class test{
    T i;
};

template<> class test<int>{
    int i;
};

通过上面的例子可以看出，可以针对类型int，定义一个新的处理。当外部使用时，穿进来的类型是int的话，就会进入到特化定义的类里。

局部特化种类1：把模板类型列表里，部分的类型，特化。

template<typename T, typename M> class test{
    T i;
    M m;
};

template<typename M> class test<bool, M>{
    int i;
};

上面的例子，把类型T特化了，类型M保留了，所以是部分特化。也就是当外部使用时，穿进来的T的类型是bool类型的话，就进入到特化定义的类里。

局部特化种类2：限定泛化类型，比如限定成指针。

template<typename T> class test{
    T i;
};

template<typename T> class test<T*>{
    T i;
};

template<typename T> class test<const T*>{
    T i;
};

上面的例子，把类型限定了，如果外部穿进来的是指针则有特殊的处理，如果穿进来的是const指针，则有另外的特殊处理。