用函数模板实现和优化抽象操作

核心提示：摘要：本文介绍函数模板的概念、用途以及如何创建函数模板和函数模板的使用方法......在创建完成抽象操作的函数时，如：拷贝，用函数模板实现和优化抽象操作，反转和排序，你必须定义多个版本以便能处理每一种数据类型，它通常是在一个转换单元里声明，而在另一个单元中定义，以 max() 函数为例，它返回两个参数中的较大者：dou

摘要：本文介绍函数模板的概念、用途以及如何创建函数模板和函数模板的使用方法......

在创建完成抽象操作的函数时，如：拷贝，反转和排序，你必须定义多个版本以便能处理每一种数据类型。以 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 后跟随一个或多个模板在尖括弧内的参数和原型。与普通函数相对，它通常是在一个转换单元里声明，而在另一个单元中定义，你可以在某个头文件中定义模板。例如：