<?xml version="1.0" encoding="gb18030"?>

 

 

Table of Contents

1 模板参数推导在迭代器中的使用

在算法中运用迭代器时，可能会用到其相应类型（associative type），即迭代器所指向对象的类别。但C++只支持sizeof()，并不存在typeof()之说（即使运用RTTI性质中的typeid()获得的也只是类型名称不能用来做变量声明之用）。

为解决此问题，可以利用函数模板（function template）的参数推导（argument deduction）机制：

 

template 
       
        void fun_impl(I iter, T t){     // 此处该函数利用模板参数推导得知T为*iter类型    T tmp;                      // 可以声明变量    //...};template 
        
         inline void fun(I iter){    fun_impl(iter, *iter); //此处把*iter作为第二个参数传递给fun_impl()}int main(int argc, char *argv[]){    int i;    fun(&i);    return 0;}
        
       

再例如：

 

template
       
          void insertSort(const I& begin, const I& end, Cmp lessThan);    template 
        
           void _insertSort(const I& begin, const I& end, const T t);    template
         
            void _insertSort(const I& begin, const I& end, Cmp lessThan, const T& t);    template 
          
             void insertSort(const I& begin, const I& end){      if(begin != end)          _insertSort(begin, end, *begin); // 把*begin传递做为第三个参数}    template 
           
              // 此时__insertSort利用模板参数推导机制推测出T的类型，其实就是上个函数insertSort(const I& begin, const I& end)中迭代器begin所指向对象的类型void _insertSort(const I& begin, const I& end, const T t){     insertSort(begin, end, less
            
             ()); //此时T已被推测出来可以直接使用} template
             
               void insertSort(const I& begin, const I& end, Cmp lessThan){ if(begin != end) _insertSort(begin, end, lessThan, *begin);} //算法的具体实现 template
              
                void _insertSort(const I& begin, const I& end, Cmp lessThan, const T& t){ I j; for(I i = begin+1; i != end; ++i){ T tmp = *i; //通过参数推导确定T类型 for(j = i; j != begin && lessThan(tmp, *(j-1)); --j) *j = *(j-1); *j = tmp; } }
              
             
            
           
          
         
        
       

参数为两个迭代器的函数insertSort把其中一个迭代器解引用后传递给参数为两个迭代器和一个迭代器指向对象类型的三个参数的__insertSort函数，用户并不关心底层如何实现，只需要传递两个参数即可，并未告知函数迭代器指向对象的类型但可以通过模板参数推导机制来推测，从而方便用户。

2 模板参数引用与非引用的区别

当模板参数是非引用时会导致模板参数推断衰减(decaying)(把数组和函数类型变成指针类型、去掉const, volatile等修饰符)。

例如：

 

template
       
         void f(T);    //PisT template
        
          void g(T&);  // P is also T double x[20]; int const seven = 7; f(x);      // nonreference parameter: T is double* g(x);      // reference parameter:    T is double[20] f(seven);  // nonreference parameter: T is int g(seven);  // reference parameter:    T is int const f(7);      // nonreference parameter: T is int g(7);      // reference parameter:    T is int => ERROR: can't pass 7 to int&
        
       

f是非引用模板参数，所以会decaying 把double[]变成double*，同理int const => int，最后一个传递是非法的，因为不能把常数作为int&。

再例如：

 

#include 
       
        #include 
        
         using namespace std;template 
         
          inline const T& Max(const T& a, const T& b){    return a
          
           
            inline T MMax(T a, T b){    return a
            
             
              void ref(const T& t){ cout<<"Ref: "<
              
               <
               
                
                 void nonref(T t){ cout<<"Nonref: "<
                 
                  <
                 
                
               
              
             
            
           
          
         
        
       

Author: visayafan

Date: 2011-11-29 21:02:01

HTML generated by org-mode 6.33x in emacs 23