C++模板实战1：函数模板

模板本身不是可编译的代码，而是用来指导编译器生成可编译代码的文本。

1 函数模板参数

函数模板参数可以根据模板实参自动推导，也就是说可以从实参自动推导的模板参数可以省略书写，但是要注意以下几个规则：

1） 编译器只根据函数调用时给出的实参列表推导模板参数值，与函数参数无关的模板参数无法推导

2） 与函数返回值相关的模板参数其值也无法推导

3） 所有可推导模板参数必须是连续位于模板参数列表尾部，中间不能有不可推导的模板参数

一个例子如下：

#include 
  
   
template
   
     T2 func(T1 v1, T3 v3, T4 v4);//模板参数中可函数函数关联的是T1 T3 T4 int main() { double sv2; using namespace std; sv2 = func
    
     (1, 2, 3);//
     
      ,T3 T4是由函数参数自动推导而来的 cout << "\tsv2: " << sv2 << endl; //v1: 1v3: 2 v4: 3 || sv0: 0 sv2: 0 sv2 = func
      
       (1, 2, 3); cout << "\tsv2: " << sv2 << endl; //v1: 1v3: 2 v4: 3 || sv0: -1 sv2: -1 sv2 = func
       
        (1, 0.1, 0.1); cout << "\tsv2: " << sv2 << endl; //v1: 1v3: 0.1 v4: 0.1 || sv0: 0 sv2: 0 sv2 = func
        
         (0.1, 0.1, 0.1); cout << "\tsv2: " << sv2 << endl; //v1: 0.1v3: 0.1 v4: 0.1 || sv0: 0 sv2: 0 } template
         
           T2 func(T1 v1, T3 v3, T4 v4){ T0 static sv0 = T0(0);//这里使用静态成员考察静态成员在模板函数中是否像普通函数中一样只有一份值 T2 static sv2 = T2(0); std::cout << "\tv1: " << v1<< "\tv3: " << v3<< "\tv4: " << v4<< "\t|| sv0: " << sv0; T2 v2 = sv2; sv0 -= 1; sv2 -= 1; return v2; }
         
        
       
      
     
    
   
  

说明：模板参数中T0满足1）故不能通过函数参数推导出，T2满足2），因此T0和T2在模板实例化时都不能省略，由于T1在T2之前故也不能省略(C++不支持跳过T1的赋值)。故上面三种实例化的都是实例化 而T3和T4是由函数的实参自动推导而来的。

C++11允许模板函数可以和模板类一样具有模板参数默认值，故可以将T0和T2声明一个默认值，如下：

template
  
   
T2 func(T1 v1,T3 v3,T4 v4);
fun(1,2,3);//通过给T0和T2指定了默认的模板参数值后，此处所有的模板参数都可以省略书写了
fun(1,'a','b');
  

//======================================
//文件名caller1.cpp
#include 
   
    

template
    
      void func(T const &v) { std::cout << "func1: " << v << std::endl; } void caller1() { func(1);//func
     
       func(0.1);//func
      
        } //====================================== //文件名caller2.cpp #include 
       
         template
        
          void func(T const &v) { std::cout << "func2: " << v << std::endl; } void caller2() { func(2);//func
         
           func(0.2f);//func
          
            } //====================================== //文件名main.cpp void caller1(); void caller2(); int main() { caller1(); caller2(); return 0; }
          
         
        
       
      
     
    
   

1） 引用，如下：
class base{
  public:
     void fun();
};
class derived:public base{
   public:
      using base::fun;//使用基类的fun函数
};

2） 自定义功能，完全替代了typedef，如下：
using size_t=decltype(sizeof(0));//通过decltype自动推导功能实现了size_t跨平台的移植

//文件test.hpp
template
    
     
void fun();

//文件test1.cpp
template void fun
     
      (int);//显示实例化出了一个fun
      
       的版本 //文件test2.cpp extern template void fun
       
        (int);//外部模板的声明