函数模板参数推导的两个经典应用

1.       推导数组参数。【可以分别推导出“元素类型”和“数组长度”】

// 模板函数定义

template <int bound, typename T>

void f1( T (&ary)[bound] )

{

     T x;

     for(int i=0; i<bound; i++ )

     {

         x = ary[i];

     }

}

// 带有数组参数的函数模板的使用

     int a[] = {1,2,3,4,5,6};

     f1(a);

l 首先，数组的长度是一个编译期常量，可特化模板参数bound；

l 其次，数组类型已知，可特化模板参数T。

利用这个特性，在给函数传递数组参数时，可以避免多传一个数组长度的参数。

 

2.       类模板参数的隐式推导。【目标是用模板函数创建一个类对象，其间可根据函数的参数类型设定类模板的参数类型。】

// 定义

template <typename T>

class A

{

public :

 A(T a){}

 void fun(){}

};

 

template <typename T>

A <T> makefun( T x)

{

 return A<T>(x);

}

 

// 使用

makefun ( 1 ).fun();

 

l 函数模板可以推导参数类型；

l 根据此类型可设定类模板的参数类型。

该技术大量应用于STL的函数对象的创建。例如：

template <typename A1, typename A2, typename R>

class PFun2 : public std::binary_function<A1,A2,R> {

 public:

    explicit PFun2( R (*fp)(A1,A2) ) : fp_( fp ) {}

    R operator()( A1 a1, A2 a2 ) const

        { return fp_( a1, a2 ); }

 private:

    R (*fp_)(A1,A2);

};

 

template <typename R, typename A1, typename A2>

inline PFun2<A1,A2,R> makePFun( R (*pf)(A1,A2) )

    { return PFun2<A1,A2,R>(pf); }

//...

std::sort(b, e, makePFun(isGreater)); // much better...