学步园

#include <iostream>
using namespace std;
//求两个int值的最大值
inline int const& max(int const& a,int const& b)
{
return a<b ? b:a;
}
//求两个任意类型值中的最大者
template <typename T>
inline T const& max(T const& a,T const& b)
{
return a<b ? b:a;
}
int main()
{
    ::max(7.0,42.0);//调用max<double>(通过实参演绎)
    ::max('a','b');  //调用max<char> (通过实参演绎)
    ::max(7,42);   //调用int 重载的非模板函数
    ::max<>(7,42);//调用max<int> (通过实参演绎)
    ::max<double>(7,42);//调用max<double> (通过实参演绎)
    ::max('a',42.7);//调用int 重载的非模板函数
    return 0;
}

一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数,对于非模板函数和同名的函数模板,如果其他条件都是相同的话,在调用的时候,重载解析过程通常会调用调用非模板函数.

max<>(7,42)这种形式是告诉编译器:只有模板才能来匹配这个调用,而且所有的模板参数都应该根据调用实参演绎出来.

max('a',42.7)会调用int重载的非模板函数: 模板不允许自动类型转化,但普通函数可以进行自动类型转换