C++模板函数和重载
先来看一个例子:
#include <iostream>
using namespace std ;
//C++函数模版两种定义方式
//template < typename T> 或 template <class T>
template <typename T1>
T1 check_max(T1 x, T1 y);
template <class T>
T print_value(T x, T y);
//C++重载
int add(int x,int y);
int add(int x,int y,int z);
string add(string str , string str1 , string str2);
int main(void)
{
int x = 33;
int y = 44;
long l1 = 333, l2 = 444;
float f1 = 3.14, f2 = 3.15926;
//系统会自动识别类型 T1为int类型
cout << "max(x, y) = " << check_max(x, y) << endl;
//系统会自动识别类型 T1为long类型
cout << "max(x, y) = " << check_max(l1, l2) << endl;
//系统会自动识别类型 T1为float类型
cout << "max(x, y) = " << check_max(f1, f2) << endl;
cout << "==========================================" << endl ;
print_value(x,y);
print_value(l1,l2);
print_value(f1,f2);
//重载的使用
cout << "==========================================" << endl ;
cout << add(x,y) << endl ;
cout << add(x,y,x) << endl ;
cout << add("hello"," ","world") << endl ;
return 0;
}
template <typename T1>
T1 check_max(T1 x, T1 y)
{
return x > y ? x : y;
}
template <typename T>
T print_value(T x, T y)
{
cout <<"x:"<< x << endl ;
cout <<"y:"<< y << endl ;
}
int add(int x,int y)
{
return x+y ;
}
int add(int x,int y,int z)
{
return x+y+z ;
}
string add(string str , string str1 , string str2)
{
return str+str1+str2 ;
}
运行结果:
从代码中我们可以学习到,模板的定义方式一般有两种,分别为:template < typename T> 或 template <class T>。有人可能会问一个typename和一个class这里面有什么区别,其实早期的C++并没有typename这个关键字,所以不论是函数模板还是类模板,都使用class的这种定义方式,后面C++完善,于是多出了typename,用来区分定义的是函数模板还是类模板,但本质都是一样的。
所谓的函数模板,实际上是建立一个通用的函数,其函数的类型和形参的类型不具体指定,用一个虚拟的类型来代表,这个通用的函数就成为函数模板。凡是函数体相同的函数都可以用这个模板来代替,而不必定义多个函数,只需在模板中定义一次就行了,在调用函数的时候系统会根据实参的类型来取代模板中的虚拟类型,从而实现了不同函数的功能。
如例程所示,定义了check_max和print_value这两个函数模板,但我这里并没有定义相关的类,调用函数的时候也能输出正确的数值,这就说明不管是声明为typename还是class,本质都是一样的,只是我们可以人为进行区分。check_max就是我们定义的模板函数,用来判断大小,而print_value就是用来打印变量的数据,仅此而已。
相对于函数重载而言,模板具有得天独厚的优势,它不需要重复定义,所以使用起来比函数重载更简洁,但应注意的一点,函数模板只适用于函数的参数个数相同而类型不同,且函数体相同的情况,如果参数的个数不同,则不能用函数模板,这就是函数模板相对于函数重载的缺陷。
我们再对上面的程序加以修改,我们再定义一个与模板函数check_max名称一模一样的函数名字,实际上就是函数重载了,看看下面这个例子:
#include <iostream>
using namespace std ;
//C++函数模版两种定义方式
//template < typename T> 或 template <class T>
template <typename T1>
T1 check_max(T1 x, T1 y);
//C++重载
int check_max(int x,int y);
int main(void)
{
int x = 33;
int y = 44;
long l1 = 333, l2 = 444;
float f1 = 3.14, f2 = 3.15926;
//系统会优先调用重载函数,而不是模板函数
cout << "max(x, y) = " << check_max(x, y) << endl;
//系统会自动识别类型 T1为long类型
cout << "max(x, y) = " << check_max(l1, l2) << endl;
//系统会自动识别类型 T1为float类型
cout << "max(x, y) = " << check_max(f1, f2) << endl;
cout << "==========================================" << endl ;
return 0;
}
template <typename T1>
T1 check_max(T1 x, T1 y)
{
cout << "调用模板函数打印" << endl ;
return x > y ? x : y;
}
int check_max(int x,int y)
{
cout << "调用重载函数打印" << endl ;
return x > y ? x : y ;
}
运行结果:
如例程所示,我们定义了一个重载函数,形参和返回值都为int类型的check_max函数,当我们在main函数里调用这个函数,如果传入为int的形参的时候,此时和模板发生了冲突,调用了重载函数来打印,而不是调用模板。
由此我们得出结论:当模板和重载冲突的时候 ,就优先调用重载。
以上转自:https://blog.csdn.net/morixinguan/article/details/80182219
那么,可以得出以下总结:
//函数模板定义--数据类型做参数
#include<iostream>
using namespace std;
/*
函数模板声明
1.函数模板定义由模板说明和函数定义组成,并且一个模板说明对应一个函数定义
2.模板说明的类属参数必须在函数定义中至少出现一次
3.函数参数表中可以使用类属类型参数,也可以使用一般类型参数
*/
/*
template关键字告诉c++编译器现在要进行泛型编程
typename或者class告诉c++编译器T是一个数据类型,不要进行语法检查
typename和class完全可以互相替换
*/
template<typename T>//也可以写成template<class T>
void myswap(T &a, T &b){
T c = a;
a = b;
b = c;
};
//void Print(T &a,T &b){
// cout << "a=" << a << "\nb=" << b << endl;
//}
//报错:一个模板说明只能对应一个函数定义,想再定义一个函数,必须再写一个模板声明
template<class T>
void Print(T &a, T &b){
cout << "a=" << a << "\nb=" << b << endl;
}
//多参数的函数模板
template<typename T1,typename T2>
//这种定义当调用函数时就会报错 MySort(a);
//模板说明的类属参数必须在函数定义中至少出现一次
void MySort(T1 a){
cout << "aaa" << endl;
}
template<typename T>
void Getnum(T a,int b){
cout << "a=" << a << ";\nb="<<b << endl;
}
void main(){
int a=1;
int b = 2;
//泛型编程函数的使用方法1---自动类型推导
myswap(a, b);
Print(a, b);
//泛型编程函数的使用方法2---显式具体类型调用
myswap<int>(a, b);
Print(a, b);
//MySort(a); 报错 : error C2783: “void MySort(T1)”: 未能为“T2”推导 模板 参数
cout << "----------------" << endl;
Getnum(a, 4);
system("pause");
}
//函数模板重载
#include<iostream>
using namespace std;
/*
函数模板会进行严格的类型匹配,模板类型不提供隐式类型转化
普通函数能够进行自动类型转换
*/
/*
函数模板重载四大规则
函数模板可以像普通函数一样被重载
C++编译器优先考虑普通函数
如果函数模板可以产生一个更好的匹配,那么选择模板
可以通过空模板实参列表的语法限定编译器只通过模板匹配
*/
template<typename T>
void Test1(T a, T b){
cout << "执行了模板函数Test1()" << endl;
}
void Test2(int a, int b){
cout << "执行了Test2()" << endl;
}
void Test1(int a, int b){
cout << "执行了普通函数Test1()" << endl;
}
void Test3(int a, int b){
cout << "执行了普通函数Test3()" << endl;
}
void ProtectA(){
int a = 1;
int b = 2;
char c = '3';
//Test1(a, c); 报错 error C2782: “void Test1(T,T)”: 模板 参数“T”不明确
/*
因为 a是int型,c是char型 而函数模板要求两个参数都是T型 就是说两个参数的类型必须一致,
但是 int和char类型不一致 所以报错
*/
Test2(a, c);//对于普通函数而言,则可以进行隐式类型转换,所以没有问题
}
void ProtectB(){
int a=1,b=2;
char c = '3',d='4';
Test1(a, b);//这里调用普通函数
Test1<>(a, b);//这里调用模板函数--规则4
Test1(c, d);//这里调用模板函数--规则3---假设没有模板函数 仍然会调用普通函数
Test3(c, d);
}
void main(){
ProtectB();
system("pause");
}
以上转自:https://www.cnblogs.com/zhanggaofeng/category/906670.html