函数模板与函数重载
函数模板遇上函数重载时:
特别需要注意的是:
函数模板不允许自动类型转化
/*普通函数*/
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;
}
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('a', 100)<<endl;//函数模板不允许自动类型转化,普通函数能够进行自动类型转换
}
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;
}
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('a', 100)<<endl;//函数模板不允许自动类型转化,普通函数能够进行自动类型转换
}
输出结果: