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++模版函数详解，希望对大家有所帮助，如果大家有任何疑问欢迎给我留言。
相关文章
这篇文章主要为大家详细介绍了C语言实现宾馆管理系统课程设计，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-03-03
这篇文章主要为大家详细介绍了C语言实现简单的猜数字游戏，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-01-01
大家好，本篇文章主要讲的是C++中拷贝构造函数的使用，感兴趣的同学赶快来看一看吧，对你有帮助的话记得收藏一下2022-02-02
本篇文章是C语言编程篇，主要为大家介绍C语言编程中数据在内存中存储解析，有需要的朋友可以借鉴参考下，希望可以有所帮助2021-09-09
这篇文章主要介绍了C++ deque/queue/stack的底层原理解析,本文通过实例代码给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下2023-07-07
这篇文章主要介绍了C++ seekg函数用法案例详解,本篇文章通过简要的案例,讲解了该项技术的了解与使用,以下就是详细内容,需要的朋友可以参考下2021-08-08
这篇文章主要介绍了简单讲解C++的内部和外部函数以及宏的定义,是C++入门学习中的基础知识,需要的朋友可以参考下2015-09-09
这篇文章主要给大家介绍了关于C++中priority_queue与仿函数实现的相关资料,优先级队列是一种容器适配器,其底层通常采用vector容器,并通过堆算法来维护元素的顺序,文中通过代码介绍的非常详细《》需要的朋友可以参考下2024-10-10
本文主要介绍了如何解决Devc++运行窗口中文乱码，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2022-06-06
今天小编就为大家分享一篇关于C++稀疏矩阵的转置思路并实现乘法，小编觉得内容挺不错的，现在分享给大家，具有很好的参考价值，需要的朋友一起跟随小编来看看吧2022-05-05
最新评论