当函数模版遇上函数重载

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点。就能避免非常多错误了

阅读全文