显式指定函数模板的形参使用的类型

在某些情况下，不可能推断模板实参的类型。当函数的返回类型必须与形参

表中所用的所有类型都不同时，最常出现这一问题。在这种情况下，有必要覆盖

模板实参推断机制，并显式指定为模板形参所用的类型或值。

方法一：可能是强制 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); //必须这么写