摘要:本文介绍函数模板的概念、用途以及如何创建函数模板和函数模板的使用方 法......
在创建完成抽象操作的函数时,如:拷贝,反转和排序,你必须定义多个版 本以便能处理每一种数据类型。以 max() 函数为例,它返回两个参数中的较大者:
double max(double first, double second);
complex max(complex first, complex second);
date max(date first, date second);
//..该函数的 其它版本
尽管这个函数针对不同的数据类型其实现都是一样的,但程序员必须为 每一种数据类型定义一个单独的版本:
double max(double first, double second)
{
return first>second? first : second;
}
complex max(complex first, complex second)
{
return first>second? first : second;
}
date max(date first, date second)
{
return first>second? first : second;
}
这样不但重复 劳动,容易出错,而且还带来很大的维护和调试工作量。更糟的是,即使你在程序中不使用 某个版本,其代码仍然增加可执行文件的大小,大多数编译器将不会从可执行文件中删除未 引用的函数。
用普通函数来实现抽象操作会迫使你定义多个函数实例,从而招致不小 的维护工作和调试开销。解决办法是使用函数模板代替普通函数。
使用函数模板
函数模板解决了上述所有的问题。类型无关并且只在需要时自动实例化。本文下面将 展示如何定义函数模板以便抽象通用操作,示范其使用方法并讨论优化技术。
第一步 :定义
函数模板的声明是在关键字 template 后跟随一个或多个模板在尖括弧内的参 数和原型。与普通函数相对,它通常是在一个转换单元里声明,而在另一个单元中定义,你 可以在某个头文件中定义模板。例如:
// file max.h
#ifndef MAX_INCLUDED
#define MAX_INCLUDED
template <class T> T max(T t1, T t2)
{
return (t1 > t2) ? t1 : t2;
}
#endif
<class T> 定义 T 作为模板参数,或者是占位符,当实例化 max()时,它将替代具体的数据类型。max 是函数名,t1和t2是其参数,返回值的类型为 T。 你可以像使用普通的函数那样使用这个 max()。编译器按照所使用的数据类型自动产生相应 的模板特化,或者说是实例:
int n=10,m=16;
int highest = max(n,m); // 产生 int 版本
std::complex<double> c1, c2;
//.. 给 c1,c2 赋值
std::complex<double> higher=max(c1,c2); // complex 版本