第九天之模板函数和函数重载问题探究

普通函数和模板函数的区别

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

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

案例：

#include <iostream>
using namespace std;

//提出问题：函数的业务逻辑一样，只是函数的参数类型不一样  有没有更好的机制
void myswap01(int &a, int &b)
{
	int c = 0;
	c = a;
	a = b;
	b = c;
}
void myswap02(char &a, char &b)
{
	char c = 0;
	c = a;
	a = b;
	b = c;
}

/*
让 类型参数化  ===  方便程序员进行编码 这就是泛型编程
基本语法：template <typename T, typename T2>
template  告诉C++编译器 我要开始泛型编程了，不要随便报错
*/
template <typename T>
void myswap(T &a, T &b)	//定义函数模板
{
	T	c;
	c = a;
	a = b;
	b = c;
	cout << "我是函数模板......" << endl;
}
void myswap(int a, char b)	//函数重载
{
	cout << "a: " << a << "b: " << b << endl;
	cout << "我是普通函数" << endl;
}
//函数模板的调用
//1、显式类型 调用
//2、自动类型 推导(很少用)
void main()
{
	int		a = 10;
	char	b = 'z';
	int		c = 20;
	
	myswap(a, b);		//调用了普通函数，可以进行隐式的类型转换
	cout << a << "  " << b << endl;

	myswap(b, a);		//和myswap(a, b);调用了相同的函数，进行了隐式的类型转换
	cout << a << "  " << b << endl;

	myswap(a, c);		//调用了函数模板(本质：类型参数化)，将严格的按照形参的类型进行匹配，不会进行类型转换
	cout << a << "  " << c << endl;
	system("pause");
}

函数模板和普通函数在一起，调用规则探究

#include "iostream"
using namespace std;


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


/*函数模板和普通函数在一起，调用规则：
1 函数模板可以像普通函数一样被重载
2 C++编译器优先考虑普通函数
3 如果函数模板可以产生一个更好的匹配，那么选择模板
4 可以通过空模板实参列表的语法限定编译器只通过模板匹配
*/
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;
}

函数模板和普通函数在一起，调用规则：

1 函数模板可以像普通函数一样被重载
2 C++编译器优先考虑普通函数
3 如果函数模板可以产生一个更好的匹配，那么选择模板
4 可以通过空模板实参列表的语法限定编译器只通过模板匹配