何为模板函数,从字面上就可以看出来模板函数必须具备通用性,举个简单却很实用的例子,交换两个值的函数Swap();
交换两个字符型void Swap(char &a, char &b)
交换两个整型void Swap(int &a, int &b)
交换两个浮点型void Swap(float &a, float &b)
交换两个布尔型void Swap(bool &a, bool &b)
虽然调用起来很简单,但是从根本上来讲还是定义了四个功能相同、函数名相同只是参数的类型不同的函数,大大浪费了内存。那么模板函数是怎样有效的节省内存的呢?
大家都知道,数据的值可以通过函数的参数进行传递,在函数定义时数据的值是未知的,只有等到函数被调用时接收到了实参才可以确定,这也叫值的参数化。
其实,数据的类型也是可以通过函数的参数来进行传递的,在函数定义时可以事先不指名参数的具体类型,但函数被调用时,编译器可以根据传入的实参来确定参数的数据类型,这也叫类型的参数化。
来看个实例:
template <typename T> void Swap(T &a, T &b)
#include <iostream>
using namespace std;
template <typename T> void Swap(T &a, T &b)
{
T temp = a;
a = b;
b = temp;
}
void main()
{
char a1='a',b1='b';
Swap(a1,b1);
cout<<"a1="<<a1<<' '<<"b1="<<b1<<endl;
int a2=1,b2=2;
Swap(a2,b2);
cout<<"a2="<<a2<<' '<<"b2="<<b2<<endl;
float a3=1.1,b3=2.2;
Swap(a3,b3);
cout<<"a3="<<a3<<' '<<"b3="<<b3<<endl;
bool a4=true,b4=false;
Swap(a4,b4);
cout<<"a4="<<a4<<' '<<"b4="<<b4<<endl;
}