小解C++模板特化

小解C++模板特化

模板的特化（template specialization）分为两类：函数模板的特化和类模板的特化。
(1)  函数模板的特化：当函数模板需要对某些类型进行特别处理，称为函数模板的特化。例如：

 1  bool  IsEqual(T t1, T t2)
 2  {
 3       return  t1  ==  t2;
 4  }
 5 
 6  int  main()
 7  {
 8       char  str1[]  =   " Hello " ;
 9       char  str2[]  =   " Hello " ;
10      cout  <<  IsEqual( 1 ,  1 )  <<  endl;
11      cout  <<  IsEqual(str1, str2)  <<  endl;    // 输出0
12  return   0 ;
13  }

代码11行比较字符串是否相等。由于对于传入的参数是char *类型的，max函数模板只是简单的比较了传入参数的值，即两个指针是否相等，因此这里打印0。显然，这与我们的初衷不符。因此，max函数模板需要对char *类型进行特别处理，即特化：

1  template  <>   bool  IsEqual( char *  t1,  char *  t2)            // 函数模板特化
2  {
3        return  strcmp(t1, t2)  ==   0 ;
4  }

这样，当IsEqual函数的参数类型为char* 时，就会调用IsEqual特化的版本，而不会再由函数模板实例化。
(2)  类 模板的特化：与函数模板类似，当类模板内需要对某些类型进行特别处理时，使用类模板的特化。例如：

 1  template  < class  T >
 2  class  compare
 3  {
 4   public :
 5   bool  IsEqual(T t1, T t2)
 6   {
 7         return  t1  ==  t2;
 8   }
 9  };
10    
11  int  main()
12  {
13   char  str1[]  =   " Hello " ;
14   char  str2[]  =   " Hello " ;
15   compare < int >  c1;
16   compare < char   *>  c2;   
17   cout  <<  c1.IsEqual( 1 ,  1 )  <<  endl;         // 比较两个int类型的参数
18   cout  <<  c2.IsEqual(str1, str2)  <<  endl;    // 比较两个char *类型的参数
19   return   0 ;
20  }

这里代码18行也是调用模板类compare<char*>的IsEqual进行两个字符串比较，显然这里存在的问题和上面函数模板中的一样，我们需要比较两个字符串的内容，而不是仅仅比较两个字符指针。因此，需要使用类模板的特化：

1  template <> class  compare < char   *>   // 特化(char*)
2  {
3    public :
4       bool  IsEqual( char *  t1,  char *  t2)
5      {
6           return  strcmp(t1, t2)  ==   0 ;          // 使用strcmp比较字符串
7      }
8  };

注意：进行类模板的特化时，需要特化所有的成员变量及成员函数。