本文共 4277 字，大约阅读时间需要 14 分钟。

#include 
     
      using namespace std;template 
      
        void func(T t){    cout<
       
        <
       
      
     

#include 
     
      using namespace std;template
      
       class A{    T num;public:    A(){        num=T(6.6);    }    void print(){        cout<<"A'num:"<
       
        <
        

template [函数返回类型] [函数模板名]
     <实际类型列表>
      （函数参数列表）   
   
    1
     

template void func
     
      (const int&);   
   
    1
     

template class [类模板名]
     <实际类型列表>
         
   
    1
     

template class theclass
     
      ;   
   
    1
     

template 
     
       void func(T t){    cout<
      
       <
      
     

#include 
     
      using namespace std;template 
      
        T Max(const T& t1,const T& t2){    return (t1>t2)?t1:t2;}int main(){    int i=5;    //cout<
       
        <
        

直接采用函数调用Max(i,’a’)会产生编译错误，因为i和’a’具有不同的数据类型，无法从这两个参数中进行类型推演。而采用Max< int>(i,’a’)调用后，函数模板的实例化不需要经过参数推演，而函数的第二个实参也可以由char转换为int型，从而成功完成函数调用。

编程过程中，建议采用显示模板实参的方式调用函数模板，这样提高了代码的可读性，便于代码的理解和维护。

4.模板特化

4.1模板特化的定义

模板特化不同于模板的实例化，模板参数在某种特定类型下的具体实现称为模板的特化。模板特化有时也称之为模板的具体化，分别有函数模板特化和类模板特化。

4.2函数模板特化

函数模板特化是在一个统一的函数模板不能在所有类型实例下正常工作时，需要定义类型参数在实例化为特定类型时函数模板的特定实现版本。查看如下例子。

#include 
     
      using namespace std;template
      
        T Max(T t1,T t2){    return (t1>t2)?t1:t2;}typedef const char* CCP;template<> CCP Max
       
        (CCP s1,CCP s2){    return (strcmp(s1,s2)>0)?s1:s2;}int main(){//调用实例：int Max
        
         (int,int)    int i=Max(10,5);    //调用显示特化：const char* Max
         
          (const char*,const char*)    const char* p=Max
          
           ("very","good"); cout<<"i:"<
           <
          
         
        
       
      
     

程序正常编译运行结果：

在函数模板显示特化定义（Explicit Specialization Definition）中，显示关键字template和一对尖括号<>，然后是函数模板特化的定义。该定义指出了模板名、被用来特化模板的模板实参，以及函数参数表和函数体。在上面的程序中，如果不给出函数模板Max< T>在T为const char*时的特化版本，那么在比较两个字符串的大小时，比较的是字符串的起始地址的大小，而不是字符串的内容在字典序中先后次序。

4.2.1使用函数重载替代函数模板特化

除了定义函数模板特化版本外，还可以直接给出模板函数在特定类型下的重载形式（普通函数）。使用函数重载可以实现函数模板特化的功能，也可以避免函数模板的特定实例的失效。例如，把上面的模板特化可以改成如下重载函数。

typedef const char* CCP;CCP Max(CCP s1,CCP s2){    return (strcmp(s1,s2)>0)?s1:s2;}   
   
    1 
    2 
    3 
    4

程序运行结果和使用函数模板特化相同。但是，使用普通函数重载和使用模板特化还是有不同之处，主要表现在如下两个方面：

（2）如果使用普通重载函数，那么在分离编译模式下，应该在各个源文件中包含重载函数的申明，否则在某些源文件中就会使用模板函数，而不是重载函数。

4.3类模板特化

类模板特化类似于函数模板的特化，即类模板参数在某种特定类型下的具体实现。考察如下代码。

#include 
     
      using namespace std;template
      
       class A{    T num;public:    A(){        num=T(6.6);    }    void print(){        cout<<"A'num:"<
       
        <
        
         class A
         
          {    char* str;public:    A(){        str="A' special definition ";    }    void print(){        cout<
          
           <