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、普通函数能够进行自动类型转换;
/*
函数模板不允许自动类型转化
普通函数能够进行自动类型转换
*/
#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点,就能避免很多错误了