模板特化（template specialization）

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

         template <class T>
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 <>
2       bool IsEqual(char* t1, char* t2)           //函数模板特化
3       {
4                return strcmp(t1, t2) == 0;
5       }
这样，当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<>
2       class compare<char *> //特化(char*)
3       {
4       public:
5                bool IsEqual(char* t1, char* t2)
6                {
7                         return strcmp(t1, t2) == 0;         //使用strcmp比较字符串
8                }
9       };
注意：进行类模板的特化时，需要特化所有的成员变量及成员函数。

 

转自：http://rzchina.net/node/3466

 

完整：

#include <iostream>
#include <string>
using std::string;
using std::cout;
using std::endl;

template <class T>
bool IsEqual(T t1, T t2)
{
 return t1 == t2;
}

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

// specialize for float
template <class T>
class compare
{
public:
 bool IsEqual(T t1, T t2)
 {
  return t1 == t2;
 }
};

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

int main() {
 char str1[] = "Hello";
 char str2[] = "Hello";
 cout << IsEqual(1, 1) << endl;
 cout << IsEqual(str1, str2) << endl;   //输出0
 compare<int> c1;
 compare<char *> c2;  
 cout << c1.IsEqual(1, 1) << endl;        //比较两个int类型的参数
 cout << c2.IsEqual(str1, str2) << endl;   //比较两个char *类型的参数
 return 0;

}