在某些情况下,不可能推断模板实参的类型。当函数的返回类型必须与形参
表中所用的所有类型都不同时,最常出现这一问题。在这种情况下,有必要覆盖
模板实参推断机制,并显式指定为模板形参所用的类型或值。
方法一:可能是强制 sum 的调用者将较小的类型强制转换为希望作为结果使用的类型
template <class T, class U> T sum(T, U);
int i; short s;
sum(static_cast<int>(s), i);
方法二:增加了一个模板形参以指定返回类型
template <class T1, class T2, classT3>
T1 sum(T2, T3);
注意:
显式模板实参从左至右对应模板形参相匹配,第一个模板实参与第一个模板
形参匹配,第二个实参与第二个形参匹配,以此类推。
template <class T1, class T2, classT3>
T3 alternative_sum(T2, T1);
long val2 = alternative_sum<long, int,long>(i, lng); //必须这么写