C++中模版函数的示例分析-创新互联

这篇文章将为大家详细讲解有关C++中模版函数的示例分析，小编觉得挺实用的，因此分享给大家做个参考，希望大家阅读完这篇文章后可以有所收获。

让客户满意是我们工作的目标，不断超越客户的期望值来自于我们对这个行业的热爱。我们立志把好的技术通过有效、简单的方式提供给客户，将通过不懈努力成为客户在信息化领域值得信任、有价值的长期合作伙伴，公司提供的服务项目有：域名注册、网络空间、营销软件、网站建设、饶河网站维护、网站推广。

C++中的模版总体可以分为两大类：模版函数、模版类。

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

代码实例：

#include <iostream>
//模版类的声明
template<typename T>
void Swap(T& a,T& b);
int main()
{
  int i = 10;
  int j = 20;
  std::cout<<"i=" << i << "," << "j=" <<j;
  Swap(i,j);//生成 void Swap(int &,int&);
  std::cout<<"i=" << i << "," << "j=" <<j;
  double x = 11.5;
  double y = 19.5;
  std::cout<<"x=" << x << "," << "y=" <<y;
  Swap(x,y);//编译器生成 void Swap(double &,double&);
  std::cout<<"x=" << x << "," << "y=" <<y;
  return 0;
}
//模版类的定义
template<typename T>
void Swap(T& a,T& b)
{
  T temp;
  temp = a;
  a = b;
  b = temp;
}

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

重载的模版：

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

#include <iostream>
//模版类的声明
template<typename T>
void Swap(T& a,T& b);
const int iCount = 5;
template<typename T>
void Swap(T* a,T*b,int n);
int main()
{
  int i = 10;
  int j = 20;
  std::cout<<"i=" << i << "," << "j=" <<j;
  Swap(i,j);//生成 void Swap(int &,int&)
  std::cout<<"i=" << i << "," << "j=" <<j;
  double x = 11.5;
  double y = 19.5;
  std::cout<<"x=" << x << "," << "y=" <<y;
  Swap(x,y);//编译器生成 void Swap(double &,double&);
  std::cout<<"x=" << x << "," << "y=" <<y;
  int d[iCount] = {0,1,2,3,4};
  int e[iCount] = {5,6,7,8,9};
  Swap(d,e,iCount);//匹配新的模版，进行数组的交换
  return 0;
}
//模版类的定义
template<typename T>
void Swap(T& a,T& b)
{
  T temp;
  temp = a;
  a = b;
  b = temp;
}
template<typename T>
void Swap(T* a,T*b,int n)
{
  for (int i=0;i<iCount;++i)
  {
    T temp;
    temp = a[i];
    a[i] = b[i];
    b[i] = temp;
  }
}

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

显示具体化：

对于给定的函数名，可以有非模版函数，模版函数和显示具体化模版函数以及它们的重载版本。

显示具体化的原型和定义应该以template<>打头，并通过名称来指出类型。

具体化将覆盖常规模版，而非模版函数将覆盖具体化和常规模版。

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

void Swap（job &,job&);//非模版函数
template <typename T>
void Swap(T&，T&）;//模版函数
template <> void Swap<job>(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<int>。其句法是，声明所选的种类-用<>符号指示类型，并在声明前加上关键字template:

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

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

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

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

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

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

关于“C++中模版函数的示例分析”这篇文章就分享到这里了，希望以上内容可以对大家有一定的帮助，使各位可以学到更多知识，如果觉得文章不错，请把它分享出去让更多的人看到。

另外有需要云服务器可以了解下创新互联建站www.cdcxhl.com，海内外云服务器15元起步，三天无理由+7*72小时售后在线，公司持有idc许可证，提供“云服务器、裸金属服务器、高防服务器、香港服务器、美国服务器、虚拟主机、免备案服务器”等云主机租用服务以及企业上云的综合解决方案，具有“安全稳定、简单易用、服务可用性高、性价比高”等特点与优势，专为企业上云打造定制，能够满足用户丰富、多元化的应用场景需求。

网页题目：C++中模版函数的示例分析-创新互联
本文地址：https://www.cdcxhl.com/article30/ddigpo.html

成都网站建设公司_创新互联，为您提供关键词优化、域名注册、面包屑导航、全网营销推广、网站收录、网站营销

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源：创新互联

猜你还喜欢下面的内容