语法: 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); 注意 显示具体化 不同于显示实例化，而且它们不能同时使用。 为什么有模板还需要具体定义的功能。因为对于自定义类型，常见的大小比较 加减乘除无法计算，就能通过具体化来特殊处理。