C++模版函数

C++模版函数

C++中的模版总体可以分为两大类：模版函数、模版类。本篇文章先写模版函数，接下来会介绍模版类。

定义：模版函数是通用的函数描述，也就是说它们使用通用类型来定义，其中的通用类型可用具体类型替换。

代码实例：

以上实例为最简单的函数模版实例，编译器会根据具体使用的类型生成相对应的函数。

重载的模版：

需要多个对不同的类型使用同一算法时可使用模版，如上代码所示。但是并非所有的类型都使用相同的算法。为满足这种需求，可以像重载常规函数定义那样重载模版定义。和重载常规函数一样，重载函数的特征表必须不同。代码实例如下：

如上代码新增了一个模版，用于交换两个数组中的元素，原来的模版特征标为（T&，T&），新模版的特征标为（T[],T[]),int)。注意，在后一个模版中，最后一个参数的类型为具体类型（int），而不是通用类型，并非所有的模版参数都必须是模版参数类型。

显示具体化：

对于给定的函数名，可以有非模版函数，模版函数和显示具体化模版函数以及它们的重载版本。显示具体化的原型和定义应该以template<>打头，并通过名称来指出类型。具体化将覆盖常规模版，而非模版函数将覆盖具体化和常规模版。

下面是用于交换Job结构的非模版函数，模版函数和具体化的原型。

void Swap（job &,job&);//非模版函数

template

void Swap(T&，T&）;//模版函数

template <> void Swap(job&，job&);//显示具体化函数,其中Swap后的job参数可去掉，则函数签名为template <> void Swap(job&，job&);

前面指出，如果有多个原型，编译器在选择原型时，非模版将优先于显示具体化和模版版本，而显示具体化将优先于使用模版生成的版本。

如下面的调用：

double u,v;

Swap(u,v);//使用通用的模版

job a,b;

swap (a,b)//使用显示具体化版本。

实例化和具体化：

为了进一步了解模版，必须理解术语实例化和具体化。记住，在代码中包含函数模版本身并不会生成函数的定义，它只是一个用于生成函数定义的方案。编译器使用模版为特定类型生成定义时，得到的是模版实例（instantiation）。例如：函数调用Swap（i，j),使编译器生成一个Swap（)的一个实例，该实例使用int类型。模版并非函数定义，但使用int的模版实例是函数定义。这种实例化方式被称为隐式实例化，因为编译器之所以知道需要定义，是由于程序调用Swap（）时提供了int参数。

template void Swap(int,int）;//显示实例化

template <> void Swap(int,int);

template <> void Swap(int,int);

注意：试图在一个编程单元中使用同一种类型的显示具体化与显示实例化将出错。

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。