C++与C语言不同之五——函数模板

函数模板

现在的C++编译器实现了C++新增的一项特性——函数模板。函数模板是通用的函数描述，也就是说，它们使用泛型来定义函数，其中的泛型可用具体的类型（如int或double)替换。通过将类型作为参数传递给模板，可使编译器生成该类型的函数。由于模板允许以泛型（而不是具体类型）的方式编写程序，因此有时可被称为通用编程。由于类型是用参数表示的，因此模板特性有时也被称为参数化类型。

函数模板的格式如下：

template <typename AnyType>

其中，template和typename为关键字，可以使用class代替typename，类型命名为AnyType。

不过typename关键字使得参数AnyType表示类型这一点更为明显；然而，有大量代码库是使用关键字class开发的。在这种上下文中，这两个关键字是等价的。

提示：如果需要多个将同一算法用于不同类型的函数，请使用模板。如果不考虑向后兼容的问题，并愿意键入较长的单词，则声明类型参数时，应使用关键字typename而不是class。

1 重载的模板

需要多个对不同类型使用同一种方法的函数时，可使用模板。然而，并非所有的类型都使用相同的算法。为满足这种需求，可以像重载常规函数定义那样重载模板定义。和常规重载一样，被重载的模板的函数特征标必须不同。例如，原来的模板的特征标为(T＆，Ｔ&),而新模板的特征标为(T[],T[],int)。注意，在后一个模板中，最后一个参数的类型为具体类型(int)，而不是泛型。并非所有的模板参数都必须是模板参数类型。

2 模板的局限性

假设有如下模板函数：

3 实例化和具体化

隐式实例化、显式实例化和显式具体化统称为具体化。它们的相同之处在于，它们表示的都是使用具体类型的函数定义，而不是通用描述。

引入显式实例化后，必须使用新的语法——声明中使用前缀template和template<>，以区分显式实例化和显式具体化。通常，功能越多，语法规则也越多。

下面是一些例子：