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

1. 推导数组参数。【可以分别推导出“元素类型”和“数组长度”】
// 模板函数定义
template<int
bound, typename
T>
void
f1( T (&ary)[bound] )
[align=left]{[/align]

T x;

for(int i=0;
i<bound;
i++ )
[align=left] {[/align]

x = ary[i];
[align=left] }[/align]
}
// 带有数组参数的函数模板的使用
int
a[] = {1,2,3,4,5,6};
f1(a);
l 首先，数组的长度是一个编译期常量，可特化模板参数bound；
l 其次，数组类型已知，可特化模板参数T。
利用这个特性，在给函数传递数组参数时，可以避免多传一个数组长度的参数。

2.
类模板参数的隐式推导。【目标是用模板函数创建一个类对象，其间可根据函数的参数类型设定类模板的参数类型。】
//
定义
template<typename
T>
class
A
[align=left]{[/align]
[align=left]public:[/align]
A(T
a){}
void
fun(){}
[align=left]};[/align]
[align=left] [/align]
template<typename
T>
A<T>
makefun( T
x)
[align=left]{[/align]
return
A<T>(x);
}

//使用
makefun(
1 ).fun();

l 函数模板可以推导参数类型；
l 根据此类型可设定类模板的参数类型。
该技术大量应用于STL的函数对象的创建。例如：
[align=left]template <typename A1, typename A2, typename R>[/align]
[align=left]class PFun2 : public std::binary_function<A1,A2,R> {[/align]
[align=left] public:[/align]
[align=left] explicit PFun2( R (*fp)(A1,A2) ) : fp_( fp ) {}[/align]
[align=left] R operator()( A1 a1, A2 a2 ) const[/align]
[align=left] { return fp_( a1, a2 ); }[/align]
[align=left] private:[/align]
[align=left] R (*fp_)(A1,A2);[/align]
[align=left]};[/align]

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...