函数模板遇上函数重载

当函数模板的名称和普通函数的名称一样时，会发生函数重载。

#include <iostream>
using namespace std;

//函数模板
template <typename T>
void myfun(T& x,T& y)
{
    cout<<"我是函数模板"<<endl;
}

//普通函数
void myfun(int a,char c)
{
    cout<<"我是普通函数"<<endl;
}

int main()
{
    int x=10;
    char y='Y';

    myfun(x,y);//两个输入参数类型不一样，且与普通函数的输入类型一致，调用的是普通函数
    myfun(y,x);//两个输入参数类型不一样，但与普通函数的输入类型不一致，调用的是普通函数，因为普通函数之间会有一个隐式的类型转换
    myfun(x,x);//两个输入参数类型一样，调用的是函数模板，函数模板的本质是类型参数化，将严格按照类型匹配，不会进行自动类型转换

    return 0;
}

 

关于函数模板和普通函数在一起出现时，有以下几个原则：

1.函数模板可以像普通函数一样被重载；

2.C++编译器优先考虑普通函数；

3.如果函数模板可以产生一个更好的匹配，那么选择函数模板；

4.可以通过空模板实参列表的语法限定编译器只能调用模板函数；

#include <iostream>
using namespace std;

//函数模板
template <typename T>
T Max(T x,T y)
{
    cout<<"调用的是函数模板 ";
    return x>y?x:y;
}

//函数模板的重载
template <typename T>
T Max(T x,T y,T z)
{
    cout<<"调用的是函数模板的重载 ";
    return Max(Max(x,y),z);
}


//普通函数
int Max(int x,int y)
{
    cout<<"调用的是普通函数 ";
    return x>y?x:y;
}


int main()
{
    int x=10;
    int y=20;

    cout<<Max(x,y)<<endl;//C++编译器优先调用普通函数
    cout<<Max<>(x,y)<<endl;//显示调用函数模板，调用的只能是函数模板
    
    cout<<Max(3.0,4.0)<<endl;//函数模板产生更好的匹配，将调用函数模板
    cout<<Max(3.0,4.0,5.0)<<endl;//重载

    cout<<Max('A',50)<<endl;//无法与函数模板相匹配，调用普通函数（函数参数的隐式转换）

    return 0;
}