说起C++的模板及模板特化，相信很多人都很熟悉，但是说到模板特化的几种类型，相信了解的人就不是很多。我这里归纳了模板特化的几种类型，一是特化为绝对类型；而是特化为引用，指针类型；三是特化为另外一个模板类。

　　这里用一个简单的例子来说明这三种情况：

//generalversion
template<classT>
classCompare
{
public:
　　staticboolIsEqual(constT&lh,constT&rh)
　　{
　　　　returnlh==rh;
　　}
};

　　这是一个用于比较的模板类，里面可以有多种用于比较的函数，以IsEqual为例。

　　一、特化为绝对类型

　　也就是说直接为某个特定类型做特化，这是我们最常见的一种特化方式，如特化为float,double等

//specializeforfloat
template<>
classCompare<float>
{
public:
　　staticboolIsEqual(constfloat&lh,constfloat&rh)
　　{
　　　　returnabs(lh-rh)<10e-3;
　　}
};
//specializefordouble
template<>
classCompare<double>
{
public:
　　staticboolIsEqual(constdouble&lh,constdouble&rh)
　　{
　　　　returnabs(lh-rh)<10e-6;
　　}
};


　　二、特化为引用，指针类型

　　这种特化我最初是在stl源码的的iterator_traits特化中发现的，如下：

template<class_Iterator>
structiterator_traits{
　typedeftypename_Iterator::iterator_categoryiterator_category;
　typedeftypename_Iterator::value_type　　　　value_type;
　typedeftypename_Iterator::difference_type　difference_type;
　typedeftypename_Iterator::pointer　　　　　pointer;
　typedeftypename_Iterator::reference　　　　reference;
};
//specializefor_Tp*
template<class_Tp>
structiterator_traits<_Tp*>{
　typedefrandom_access_iterator_tagiterator_category;
　typedef_Tp　　　　　　　　　　　　value_type;
　typedefptrdiff_t　　　　　　　　　difference_type; [Page]
　typedef_Tp*　　　　　　　　　　　　pointer;
　typedef_Tp&　　　　　　　　　　　　reference;
};
//specializeforconst_Tp*
template<class_Tp>
structiterator_traits<const_Tp*>{
　typedefrandom_access_iterator_tagiterator_category;
　typedef_Tp　　　　　　　　　　　　value_type;
　typedefptrdiff_t　　　　　　　　　difference_type;
　typedefconst_Tp*　　　　　　　　　pointer;
　typedefconst_Tp&　　　　　　　　　reference;
};