C++函数模板深入理解1
思考:C++为什么要引入函数模板?为了解决什么问题?如何使用函数模板?
先从一个问题出发:
需求:写n个函数,求char类型、int类型、double类型变量的最小值。
int min( int a, int b ) {
return a < b ? a : b;
}
double min( double a, double b ) {
return a < b ? a : b;
}
是不是对所有类型的min函数都要声明。显然这是非常繁琐的操作,C++编译器绝对不能容忍这种处理方式,那它会提供什么机制来解决这个问题呢?其实C++提供了预处理器的宏扩展设施,例如 : #define min(a,b) ((a) < (b) ? (a) : (b))。在某些情况下这种机制确实可以有效的解决这个问题,但反过来想为什么还提供函数模板呢?自然有它独特之处。先分析一下预处理器的缺陷。在复杂情况下,它的行为是不可预期的,这是因为它的两个参数值都被计算两次. 一次是在a 和b 的测试中另一次是在宏的返回值被计算期间(思考:min(a++,b++)调用时的情况)
从一个例子思考
#include
#define min(a,b) ((a) < (b) ? (a) : (b))
const int size = 10;
int ia[size];
int main() {
int elem_cnt = 0;
int *p = &ia[0];
// 计数数组元素的个数
while (min(p++,&ia[size]) != &ia[size] )
++elem_cnt;
cout << "elem_cnt : " << elem_cnt
<< "\texpecting: " << size << endl;
return 0;
}
执行该程序的结果是下面不正确的计算结果: elem_cnt : 5 expecting: 10
min()的宏扩展在这种情况下会失败因为应用在指针实参p 上的后置递增操作随每次扩展而被应用了两次
所以,函数模板机制就闪亮登场了,函数模板提供了一种机制通过它我们可以保留函数定义和函数调用的语义在一个程序位置上封装了一段代码,确保在函数调用之前实参只被计算一次.函数模板提供一种用来自动生成各种类型函数实例的算法,程序员对于函数接口参数和返回类型中的全部或者部分类型进行参数化(parameterize)而函数体保持不变.简单的说,所谓函数模板实际上是建立一个通用函数,其函数类型的形参类型不具体指定,用一个虚拟的类型来代表,这个通用函数就称为函数模板
下面是min()的函数模板定义
template <Typename T>
T min( T a, T b ) {
return a < b ? a : b;
}
下面,我们来对比一下使用普通函数,使用函数的重载,以及使用函数的模板时的情况:
该段代码用于解决不用的类型数据相加的问题
1.使用多个普通函数
using namespace std;
int int_add(int a,int b) //定义函数int_add用于int型数据相加
{ int c;
c=a+b;
return c;
}
double dou_add(double a,double b) //定义函数dou_add用于double型函数相加
{ double c;
c=a+b;
return c;
}
int main()
{ cout<<int_add(5,3)<<endl; //调用int_add函数
cout<<dou_add(5.35,5.5)<<endl; //调用dou_add函数
return 0;
}
2.使用构造函数
#include<iostream>
using namespace std;
int n_add(int a,int b) //定义函数n_add用于int型数据相加
{ int c;
c=a+b;
return c;
}
double n_add(double a,double b) //定义函数n_add用于double型函数相加
{ double c;
c=a+b;
return c;
}
int main()
{ cout<<n_add(5,3)<<endl; //调用n_add函数
cout<<n_add(5.35,5.5)<<endl; //调用n_add函数
return 0;
}
3.使用函数模板
#include<iostream>
using namespace std;
template<typename T>
T n_add(T a,T b)
{ T c;
c=a+b;
return c;
}
int main()
{ cout<<n_add(5,3)<<endl;
cout<<n_add(5.35,5.5)<<endl;
return 0;
}
首先分析示例代码1,该代码根据不同的的数据(int和double两种)相加,分别定义了两个不同的函数int_add和dou_add,当不同类型的数据相加时,我们人工的设定使用对应的函数进行操作。
示例代码2相比1而言,在函数的调用形式上进行了简化,使用了函数的重载技术,对于所有的数据,统一使用函数n_add进行操作,编译系统会根据数据的类型自动调用对应的函数。
示例代码3相比2而言,则有在函数体上进行了简化,如果我们使用了函数模板,我们就没有必要去一一书写对应的函数,我们只需要构造相应的模板,然后系统会自动判断数据的类型,然后替代对应的虚拟类型,
比如,当操作n_add(5.35,5.5)时,系统会自动判断数据为doubl型,然后就会将函数模板中的T替换成double: