打印本文 
关闭窗口 在创建完成抽象操作的函数时，如：拷贝，反转和排序，你必须定义多个版本以便能处理每一种数据类型。以 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
打印本文 关闭窗口