template specialization on template class

c++中的模板在2个地方用到，一个是模板函数，另一个是模板类。

模板类的使用，是为了更好地进行代码的重用，符合面向对象的设计。

在很多说法中，模板类的使用是c++实现静态多态的一个重要手段，另一个手段则是函数重载，这里就不多说。

在stl中，模板类被充分使用到了所有的容器中，用来实现容器的与实际所装内容无关的特点。

一个典型的模板类如下所示：

template<class T> class Compare { public: static bool IsEqual(const T& lh, const T& rh) { return lh == rh; } };  

 

与模板函数类似，我们有时候也需要对模板类做一定的定制。所谓的template specialization。

 

特化为特定类型

例如，对上面的模板类，我们想要其对double的判断相等的逻辑发生一定的变化，需要对double型特别写一个实现方式，同时又不破坏这样的接口。可以写代码如下：

// specialize for float template<> class Compare<float> { public: static bool IsEqual(const float& lh, const float& rh) { return abs(lh - rh) < 10e-3; } };  

 

特化为指针/引用类型

例如，如果想对2个指针所指的内容进行判断，则可以写如下代码：

// specialize for T* template<class T> class Compare<T*> { public: static bool IsEqual(const T* lh, const T* rh) { return Compare<T>::IsEqual(*lh, *rh); } };  

这样就可以进行两个指针的compare操作了。

 

特化为另一个类模板

如果我想用compare来对两个vector进行操作。则需要写如下代码：

// 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; } };  

 

也可以用其来操作任何用户自定义的类型。例如：

// specialize for any template class type template <class T1> struct SpecializedType { T1 x1; T1 x2; }; template <class T> class Compare<SpecializedType<T> > { public: static bool IsEqual(const SpecializedType<T>& lh, const SpecializedType<T>& rh) { return Compare<T>::IsEqual(lh.x1 + lh.x2, rh.x1 + rh.x2); } };  

 

对以上代码的使用如下：

int main(int argc, char* argv[]) { // int int i1 = 10; int i2 = 10; bool r1 = Compare<int>::IsEqual(i1, i2); // float float f1 = 10; float f2 = 10; bool r2 = Compare<float>::IsEqual(f1, f2); // double double d1 = 10; double d2 = 10; bool r3 = Compare<double>::IsEqual(d1, d2); // pointer int* p1 = &i1; int* p2 = &i2; bool r4 = Compare<int*>::IsEqual(p1, p2); // vector<T> vector<int> v1; v1.push_back(1); v1.push_back(2); vector<int> v2; v2.push_back(1); v2.push_back(2); bool r5 = Compare<vector<int> >::IsEqual(v1, v2); // custom template class SpecializedType<float> s1 = {10.1f,10.2f}; SpecializedType<float> s2 = {10.3f,10.0f}; bool r6 = Compare<SpecializedType<float> >::IsEqual(s1, s2); }