当函数模版遇上函数重载

demo 1

#include <iostream>
using namespace std;

//让 类型参数化 ===, 方便程序员进行编码
// 泛型编程
//template 告诉C++编译器 我要开始泛型编程了 .看到T, 不要随便报错
template <typename T>
void myswap(T &a, T &b)
{
T c = 0;
c = a;
a = b;
b = c;
cout << "hello ....我是模板函数 欢迎 calll 我" << endl;
}

void myswap(int a, char c)
{
cout << "a:" << a << "c:" << c << endl;
cout << "我是普通函数 欢迎来访" << endl;
}

void main()
{
int		a = 10;
char	c = 'z';

myswap(a, c); // 普通函数的调用:  可以进行隐式的类型转换
myswap(c, a); // 调用函数模版

myswap(a, a); // 函数模板函数的调用(本质:类型参数化): 将严格的按照类型进行匹配,不会进行自动类型转换

cout<<"hello..."<<endl;
system("pause");
return ;
}

通过demo 1可以得到：

函数模板和普通函数区别结论：

1、函数模板不允许自动类型转化；

2、普通函数能够进行自动类型转换；

demo 2

/*
函数模板不允许自动类型转化
普通函数能够进行自动类型转换
*/

#include "iostream"
using namespace std;

int Max(int a, int b)
{
cout<<"int Max(int a, int b)"<<endl;
return a > b ? a : b;
}

template<typename T>
T Max(T a, T b)
{
cout<<"T Max(T a, T b)"<<endl;
return a > b ? a : b;
}

template<typename T>
T Max(T a, T b, T c)
{
cout<<"T Max(T a, T b, T c)"<<endl;
return Max(Max(a, b), c);
}

void main()
{
int a = 1;
int b = 2;

cout<<Max(a, b)<<endl; //当函数模板和普通函数都符合调用时,优先选择普通函数
cout<<Max<>(a, b)<<endl; //若显示使用函数模板,则使用<> 类型列表

cout<<Max(3.0, 4.0)<<endl; //如果 函数模板产生更好的匹配 使用函数模板

cout<<Max(5.0, 6.0, 7.0)<<endl; //重载

cout<<Max('a', 100)<<endl;  //调用普通函数 可以隐式类型转换
system("pause");
return ;
}

通过demo 2的分析可以得到：

函数模版和普通函数在一起的调用规则：

1、函数模版可以像普通函数一样被重载；

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

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

4、可以通过空模版实参列表的语法限定编译器只通过模版匹配；

记住这4点，就能避免很多错误了