语法:
template<class & T1,class &T2>
auto Add(T1 t,T2 t2) ->decltype(t+t2);
 
函数定义：
template<class & T1,class &T2>
auto Add(T1 t,T2 t2) ->decltype(t+t2)
{
return t+t2;
}
 decltype 可自动判别类型，限于原始的值类型，（struct 和类 不知道在重载了运算符的情况下还能行不？）
auto 结合后置类型，自动推动出返回类型
 
(显示实例化）实例化一个函数模板
函数声明：
template auto Add<int,double>(int t1, double t2)->decltype(t1 + t2);
 函数定义：
template auto Add<int ,double>(int t1, double t2)->decltype(t1 + t2){
return t1+t2;
}
(显示具体化) 特殊定义一个函数，不是使用函数模板实例化的方法
语法：
template<> auto Add<double,char>(double d, char c)->decltype(d + c);
注意 显示具体化 不同于显示实例化，而且它们不能同时使用。
为什么有模板还需要具体定义的功能。因为对于自定义类型，常见的大小比较 加减乘除无法计算，就能通过具体化来特殊处理。