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