C++模版函数详解

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

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

代码实例：

#include 
//模版类的声明
template
void Swap(T& a,T& b);
int main()
{
  int i = 10;
  int j = 20;
  std::cout<<"i=" << i << "," << "j=" <
#include 
//模版类的声明
template
void Swap(T& a,T& b);
const int iCount = 5;
template
void Swap(T* a,T*b,int n);
int main()
{
  int i = 10;
  int j = 20;
  std::cout<<"i=" << i << "," << "j=" <
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参数。

    现在编译器还可以允许显示实例化，这意味着可以直接命令编译器生成特定的实例，如Swap。其句法是，声明所选的种类-用<>符号指示类型，并在声明前加上关键字template:

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

实现了这种特性的编译器在看到上述声明后，将使用Swap（）模版生成一个int类型的实例。

与显示实例化不同的是，显示具体化使用下面两个等价声明的之一：

template <> void Swap(int,int);
template <> void Swap(int,int);

区别在于，这些声明的意思是”不要使用Swap()模版来生成函数定义，而应该使用独立的、专门的函数定义显示为int类型生成函数定义。

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

以上所述是小编给大家介绍的C++模版函数详解，希望对大家有所帮助，如果大家有任何疑问欢迎给我留言。