1、特化为绝对类型 也就是说直接为某个特定类型做特化，这是我们最常见的一种特化方式，如特化为float,double等 // specialize for floattemplate<>class Compare<float>{public: static bool IsEqual(const float& lh, const float& rh) { return abs(lh - rh) < 10e-3; }};// specialize for doubletemplate<>class Compare<double>{public: static bool IsEqual(const double& lh, const double& rh) { return abs(lh - rh) < 10e-6; }};
2、特化为引用，指针类型这种特化我最初是在stl源码的的iterator_traits特化中发现的，如下：template <class _Iterator>struct iterator_traits { typedef typename _Iterator::iterator_category iterator_category; typedef typename _Iterator::value_type value_type; typedef typename _Iterator::difference_type difference_type; typedef typename _Iterator::pointer pointer; typedef typename _Iterator::reference reference;};
3、特化为另外一个模板类 这其实是第二种方式的扩展，其殂翼瑟擀实也是对类型做了某种限定，而不是绝对化为某个具体类型，如下：// specialize for vector<T>template<class T>class Compare<vector<T> >{public: static bool IsEqual(const vector<T>& lh, const vector<T>& rh) { if(lh.size() != rh.size()) return false; else { for(int i = 0; i < lh.size(); ++i) { if(lh[i] != rh[i]) return false; } } return true; } }; 这就把IsEqual的参数限定为一种vector类型，但具体是vector<int>还是vector<float>，我们可以不关心，因为对于这两种类型，我们的处理方式是一样的，我们可以把这种方式称为“半特化”。