template <typename T>
inline T const& max(T const& a,T const& b);
max(4,7);//OK两个参数的类型都是Int
max(4,4.2)//ERROR:第1个是int,而第二个是double
有3种方法处理这个错误:
1.对实参进行强制类型转换,使它们可以互相匹配
max(static_cast<double> (4),4.2);//OK
2.显式指定(或者限定)T的类型:
max<double> (4,4.2)
3.指定两个参数可以有不同的类型.
模板参数:位于函数模板名称的前面,在一对尖括号内部进行声明:
template<typename T> //T是模板参数
调用参数:位于函数模板名称之后,在一对圆括号内部进行声明:
max(T const & a ,T const & b)//a和b都是调用参数
你可以定义一个“两个调用参数的类型可以不同的”max()模板:
template <typename T1,typename T2>
inline T1 max(T1 const & a ,T2 const& b)
{
return a<b? b:a;
}
max(4,4.2);//OK,但第一个模板实参的类型定义了返回类型
主要缺点:如果使用的是其中一个参数类型,那么另一个参数的实参就可能要转型为返回类型,而不会在意调用者的意图。
另一个缺点:把第2个参数转型为返回类型的过程将会创建一个新的局部临时对象:这导致你不能通过引用来返回结果。 在例子种,返回类型必须是T1,不能是T1 const &.