C++-模板

目录

一.泛型编程

二.模板的分类

三.函数模板

        1.函数模板的概念

        2.函数模板格式

        3.函数模板的原理

        4.函数模板的实例化

                a.隐式实例化

             b.显式实例化        

        5.模板参数的匹配原则

四.类模板

        1.类模板的定义格式

        2.类模板的实例化

五.class和typename的区别

六.非类型模板参数

        1.模板参数的分类

七.模板的特化

        1.什么是模板的特化

        2.全特化

        3.偏特化

        偏特化有以下两种表现方式：

                a.部分特化

                b.参数更进一步的限制

        4.模板特化的条件

八.模板的分离编译

        1.什么是模板的分离编译

        2.模板的分离编译

九.模板总结

一.泛型编程

  如何实现一个通用的交换函数呢？ 
void Swap(int& left, int& right)
{int temp = left;left = right;right = temp;
}
void Swap(double& left, double& right)
{double temp = left;left = right;right = temp;
}
void Swap(char& left, char& right)
{char temp = left;left = right;right = temp;
}
使用函数重载虽然可以实现，但是有一下几个不好的地方：
        1. 重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增加对应的函数。
        2. 代码的可维护性比较低，一个出错可能所有的重载均出错。
        那能否告诉编译器一个模子，让编译器根据不同的类型利用该模子来生成代码呢？
        如果在C++ 中，也能够存在这样一个 模具 ，通过给这个模具中 填充不同材料 ( 类型 ) ，来 获得不同材料的铸件 ( 即生成具体类型的代码） ，那将会节省许多头发。巧的是前人早已将树栽好，我们只需在此乘凉。
        泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。

二.模板的分类

三.函数模板

        1.函数模板的概念

                函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。   

        2.函数模板格式

                template<typename T1, typename T2,......,typename Tn>

                返回值类型函数名(参数列表){} 
#include <iostream>using namespace std;template<typename T>
void Swap(T& a, T& b)
{T tmp = 0;tmp = a;a = b;b = tmp;
}int main(void)
{int a = 10;int b = 20;printf("两数交换前分别为:%d %d\n", a, b);Swap(a, b);printf("两数交换后分别为:%d %d\n", a, b);return 0;
}
         注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)
        3.函数模板的原理
        
               那么如何解决上面的问题呢？大家都知道，瓦特改良蒸汽机，人类开始了工业革命，解放了生产力。机器生产淘汰掉了很多手工产品。本质是什么，重复的工作交给了机器去完成。有人给出了论调：懒人创造世界。
                
                 函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。
          
                在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型也是如此。

        4.函数模板的实例化

                用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。

                a.隐式实例化

        

                编译器根据传入模板函数的实参，来推导类型，此时如果两个形参的类型不同，会报错。            

#include <iostream>using namespace std;template<typename T>
void Swap(const T& a, const T& b)
{T tmp = 0;tmp = a;a = b;b = tmp;
}int main(void)
{int a = 10;double b = 1;Swap(a, (int)b);Swap((double)a, b);return 0;
}
             b.显式实例化        
#include <iostream>using namespace std;template<typename T>
void Swap(const T& a, const T& b)
{T tmp = 0;tmp = a;a = b;b = tmp;
}int main(void)
{int a = 10;double b = 1;Swap<int>(a,b);Swap<double>(a, b);return 0;
}
                        如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。        

        5.模板参数的匹配原则
                a. 一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函 数。
        
                 
// 专门处理int的加法函数
int Add(int left, int right)
{return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{return left + right;
}
void Test()
{Add(1, 2); // 与非模板函数匹配，编译器不需要特化Add<int>(1, 2); // 调用编译器特化的Add版本
}
                b. 对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模 板产生出一个实例。如果模板可以产生一个具有更好匹配的函数， 那么将选择模板。 
// 专门处理int的加法函数
int Add(int left, int right)
{return left + right;
}
// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right)
{return left + right;
}
void Test()
{Add(1, 2); // 与非函数模板类型完全匹配，不需要函数模板实例化Add(1, 2.0); // 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函
数
}
                c. 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换。

四.类模板

        1.类模板的定义格式
template<class T1, class T2, ..., class Tn>
class 类模板名
{// 类内成员定义
};
// 动态顺序表
// 注意：Vector不是具体的类，是编译器根据被实例化的类型生成具体类的模具
template<class T>
class Vector
{ 
public :Vector(size_t capacity = 10): _pData(new T[capacity]), _size(0), _capacity(capacity){}// 使用析构函数演示：在类中声明，在类外定义。~Vector();void PushBack(const T& data)；void PopBack()；// ...size_t Size() {return _size;}T& operator[](size_t pos)
{assert(pos < _size);return _pData[pos];}private:T* _pData;size_t _size;size_t _capacity;
};
// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{if(_pData)delete[] _pData;_size = _capacity = 0;
}
        2.类模板的实例化
                类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<> ，然后将实例化的类型放在 <> 中即可，类模板名字不是真正的类，而实例化的结果才是真正的类 。
       
// Vector类名，Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;

五.class和typename的区别

        平时在使用class和typename声明模板时没有任何区别。

        但是：

        此时要在Container中加typename来告知编译器这是一个类型。如果不加的话因为此时还没有实例化，编译器不知道这个地方是什么，所以会报错。

六.非类型模板参数

        1.模板参数的分类
                 模板参数分类类型形参与非类型形参。
                类型形参即：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。
                非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。该参数是一个常量。 
namespace bite
{// 定义一个模板类型的静态数组template<class T, size_t N = 10>class array{public:T& operator[](size_t index){return _array[index];}const T& operator[](size_t index)const{return _array[index];}size_t size()const{return _size;}bool empty()const{return 0 == _size;}private:T _array[N];size_t _size;}；
}
         注意：
                1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。只可以是整型。
                2. 非类型的模板参数必须在编译期就能确认结果

        

七.模板的特化

        1.什么是模板的特化

                通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理，比如：实现了一个专门用来进行小于比较的函数模板。

                

// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{return left < right;
}
int main()
{cout << Less(1, 2) << endl; // 可以比较，结果正确Date d1(2022, 7, 7);Date d2(2022, 7, 8);cout << Less(d1, d2) << endl; // 可以比较，结果正确Date* p1 = &d1;Date* p2 = &d2;cout << Less(p1, p2) << endl; // 可以比较，结果错误return 0;
}
                 可以看到，Less绝对多数情况下都可以正常比较，但是在特殊场景下就得到错误的结果。上述示例中，p1指向的d1显然小于p2指向的d2对象，但是Less内部并没有比较p1和p2指向的对象内容，而比较的是p1和p2指针的地址，这就无法达到预期而错误。
                此时，就需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。
        2.全特化
        
                 
template<class T1, class T2>
class Data
{
public:Data() {cout<<"Data<T1, T2>" <<endl;}
private:T1 _d1;T2 _d2;
};
template<>
class Data<int, char>
{
public:Data() {cout<<"Data<int, char>" <<endl;}
private:int _d1;char _d2;
};
void TestVector()
{Data<int, int> d1;Data<int, char> d2;
}
        3.偏特化
                偏特化：任何针对模版参数进一步进行条件限制设计的特化版本。比如对于以下模板类： 
template<class T1, class T2>
class Data
{
public:Data() {cout<<"Data<T1, T2>" <<endl;}
private:T1 _d1;T2 _d2;
};
        偏特化有以下两种表现方式：
                a.部分特化
                        将模板参数类表中的一部分参数特化。 
// 将第二个参数特化为int
template <class T1>
class Data<T1, int>
{
public:Data() {cout<<"Data<T1, int>" <<endl;}
private:T1 _d1;int _d2;
};
                b.参数更进一步的限制
                        偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本。 
//两个参数偏特化为指针类型
template <typename T1, typename T2>
class Data <T1*, T2*>
{ 
public:Data() {cout<<"Data<T1*, T2*>" <<endl;}private:
T1 _d1;T2 _d2;
};
//两个参数偏特化为引用类型
template <typename T1, typename T2>
class Data <T1&, T2&>
{
public:Data(const T1& d1, const T2& d2): _d1(d1), _d2(d2){cout<<"Data<T1&, T2&>" <<endl;}private:const T1 & _d1;const T2 & _d2; };
void test2 () 
{Data<double , int> d1; // 调用特化的int版本Data<int , double> d2; // 调用基础的模板 Data<int *, int*> d3; // 调用特化的指针版本Data<int&, int&> d4(1, 2); // 调用特化的指针版本
}
        4.模板特化的条件

                函数模板的特化步骤：

                        1. 必须要先有一个基础的函数模板
                        2. 关键字template后面接一对空的尖括号<>
                        3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型
                        4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误。

八.模板的分离编译

        1.什么是模板的分离编译
                
                一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。
        2.模板的分离编译
                假如有以下场景，模板的声明与定义分离开，在头文件中进行声明，源文件中完成定义： 
// a.h
template<class T>
T Add(const T& left, const T& right);
// a.cpp
template<class T>
T Add(const T& left, const T& right)
{return left + right;
}
// main.cpp
#include"a.h"
int main()
{Add(1, 2);Add(1.0, 2.0);return 0;
}

        但是此时即使完成了分离编译，但是依然会报错，因为模板并没有实例化，所以编译器不知到函数模板的类型到底是声明，所以无法生成正确的符号表，也就找不到函数。

        解决方法:              

                1. 将声明和定义放到一个文件 "xxx.hpp" 里面或者 xxx.h 其实也是可以的 。推荐使用这种。
                2. 模板定义的位置显式实例化。这种方法不实用，不推荐使用。

九.模板总结

         【优点】
                1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生
                2. 增强了代码的灵活性
        【缺陷】
                1. 模板会导致代码膨胀问题，也会导致编译时间变长
                2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.rhkb.cn/news/209421.html

如若内容造成侵权/违法违规/事实不符，请联系长河编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

路由策略，gRPC 路由如何实现

路由策略，gRPC 路由如何实现

目录 一、为啥我们要路由策略&#xff1a; 二、基于gRPC 路由策略 一、为啥我们要路由策略&#xff1a; 我们可以重新回到调用方发起 RPC 调用的流程。在 RPC 发起真实请求的时候&#xff0c;有一个步骤就是从服务提供方节点集合里面选择一个合适的节点&#xff08;就是我们…
阅读更多...
C++基础 -37- 模板函数与普通函数调用规则

C++基础 -37- 模板函数与普通函数调用规则

当模板函数比普通函数更好匹配形参的时候&#xff0c;会优先调用模板函数 #include "iostream"using namespace std;template <class T> void show(T a, T b) {cout << a << endl;cout << b << endl;cout << "temp show&…
阅读更多...
Matlab论文插图绘制模板第129期—函数网格曲面图

Matlab论文插图绘制模板第129期—函数网格曲面图

在之前的文章中&#xff0c;分享了Matlab函数折线图的绘制模板&#xff1a; 函数三维折线图&#xff1a; 进一步&#xff0c;再来分享一下函数网格曲面图。 先来看一下成品效果&#xff1a; 特别提示&#xff1a;本期内容『数据代码』已上传资源群中&#xff0c;加群的朋友请自…
阅读更多...
Unity DOTS《群体战斗弹幕游戏》核心技术分析之3D角色动画

Unity DOTS《群体战斗弹幕游戏》核心技术分析之3D角色动画

最近DOTS发布了正式的版本, 我们来分享现在流行基于群体战斗的弹幕类游戏&#xff0c;实现的核心原理。今天给大家介绍大规模战斗群体3D角色的动画如何来实现。 DOTS 对角色动画支持的局限性 截止到Unity DOTS发布的版本1.0.16,目前还是无法很好的支持3D角色动画。在DOTS 的b…
阅读更多...
陷同质化“高端”悖论，良品铺子降价应对，沃隆食品IPO已终止

陷同质化“高端”悖论，良品铺子降价应对，沃隆食品IPO已终止

撰稿|行星 来源|贝多财经 坚持“高端零食”战略多年的良品铺子&#xff0c;脱下了自己的“长衫”。 近日&#xff0c;良品铺子&#xff08;SH.603719&#xff09;仅上任三天的董事长、总经理杨银芬在全员公开信中表示&#xff0c;该品牌将实施17年来最大规模降价&#xff0c…
阅读更多...
oops-framework框架 之 界面管理(三)

oops-framework框架 之 界面管理(三)

引擎&#xff1a; CocosCreator 3.8.0 环境&#xff1a; Mac Gitee: oops-game-kit 注&#xff1a; 作者dgflash的oops-framework框架QQ群&#xff1a; 628575875 回顾 在上文中主要通过oops-game-kit大家了一个新的模版项目&#xff0c; 主要注意项是resources目录下的两个文…
阅读更多...
TS版LangChain实战：基于文档的增强检索（RAG） | 京东云技术团队

TS版LangChain实战：基于文档的增强检索（RAG） | 京东云技术团队

LangChain LangChain是一个以 LLM &#xff08;大语言模型&#xff09;模型为核心的开发框架&#xff0c;LangChain的主要特性&#xff1a; 可以连接多种数据源&#xff0c;比如网页链接、本地PDF文件、向量数据库等允许语言模型与其环境交互封装了Model I/O&#xff08;输入…
阅读更多...
【力扣206】反转链表

【力扣206】反转链表

【力扣206】反转链表 一.题目描述 给你单链表的头节点 head &#xff0c;请你反转链表&#xff0c;并返回反转后的链表。 示例 1 &#xff1a; 输入&#xff1a;head [1,2,3,4,5] 输出&#xff1a;[5,4,3,2,1]示例 2 &#xff1a; 输入&#xff1a;head [1,2] 输出&#x…
阅读更多...
码云配置遇到秘钥不正确

码云配置遇到秘钥不正确

你这个就是秘钥没有和git绑定&#xff0c; 需要 git config --global user.name "你的用户名随便写" git config --global user.email "你的邮箱"
阅读更多...
阿里云租赁费用_阿里云服务器多配置报价表

阿里云租赁费用_阿里云服务器多配置报价表

阿里云服务器租用费用&#xff0c;云服务器ECS经济型e实例2核2G、3M固定带宽99元一年、轻量应用服务器2核2G3M带宽轻量服务器一年87元&#xff0c;2核4G4M带宽轻量服务器一年165元12个月&#xff0c;ECS云服务器e系列2核2G配置99元一年、2核4G配置365元一年、2核8G配置522元一年…
阅读更多...
跨网文件摆渡系统：安全、可控的数字传输桥梁

跨网文件摆渡系统：安全、可控的数字传输桥梁

在企业高度信息化的时代&#xff0c;数据的流通与共享已经成为企业、组织乃至个人之间不可或缺的沟通方式。然而&#xff0c;在数据流通的过程中&#xff0c;我们经常会遇到各种难题和挑战&#xff0c;尤其是当涉及到不同网络环境之间的文件传输。这不仅需要保证文件的安全性&a…
阅读更多...
销售员需练好的基本功有哪些？该如何培养？

销售员需练好的基本功有哪些？该如何培养？

销售员需练好的基本功有哪些&#xff1f;该如何培养&#xff1f; 作为销售人员&#xff0c;以下是一些需要练好的基本功&#xff0c;以及培养这些基本功的方法&#xff1a; 1. 良好的沟通技巧&#xff1a;销售员需要具备清晰、简洁、礼貌和自信的语言表达能力&#xff0c;能够…
阅读更多...
【TinyALSA全解析（三）】tinyplay、tincap、pcm_open源码解析

【TinyALSA全解析（三）】tinyplay、tincap、pcm_open源码解析

tinyplay、tincap、pcm_open源码解析 一、本文的目的二、tinyplay.c源码分析三、tinycap.c源码分析四、pcm.c如何调度到Linux Kernel4.1 pcm_open解析4.1.1 pcm_open的主要流程4.1.2 流程说明4.1.3 调用方法 4.2 pcm_write解析 /*********************************************…
阅读更多...
Git：分布式版本控制系统的崛起与演变

Git：分布式版本控制系统的崛起与演变

简介 Git是一个开源的分布式版本控制系统&#xff0c;旨在有效、高速地处理从很小到非常大的项目版本管理。它是由Linus Torvalds于2005年创建的&#xff0c;最初是为了服务于Linux内核开发的版本控制需求。Git通过强大的分支功能、高效的缓存机制以及可扩展的架构设计&#xf…
阅读更多...
会话 cookie 及隐私的那些事

会话 cookie 及隐私的那些事

什么是会话 Cookie？ 会话 Cookie 的概念非常简单。 会话 Cookie，也称为临时 Cookie 或内存 Cookie，是网站在浏览会话期间存储在用户计算机或设备上的小数据片段。 它是由网站生成并由您的浏览器存储和使用的多种 Cookie 之一。 常规 Cookie 或“持久”Cookie 是通常在您的…
阅读更多...
移动硬盘灯闪但读不出？3个方法轻松解决！

移动硬盘灯闪但读不出？3个方法轻松解决！

“我的移动硬盘用了很久了&#xff0c;最近总是会出现插入后明明灯闪了&#xff0c;但是却什么都读不出的情况。这是为什么呀&#xff1f;有什么简单的解决方法吗&#xff1f;” 当移动硬盘的指示灯闪烁却无法成功读取数据时&#xff0c;这可能引起许多用户的疑虑和困扰。怎么解…
阅读更多...
数字孪生压缩空气储能管控平台

数字孪生压缩空气储能管控平台

压缩空气储能在解决可再生能源不稳定性和提供可靠能源供应方面具有重要的优势。压缩空气储能&#xff0c;是指在电网负荷低谷期将电能用于压缩空气&#xff0c;在电网负荷高峰期释放压缩空气推动汽轮机发电的储能方式。通过提高能量转换效率、增加储能密度、快速启动和调节能力…
阅读更多...
linux安装镜像cento7

linux安装镜像cento7

点击创建新的虚拟机 点击典型&#xff0c;下一步 浏览&#xff0c;centos7下载文件的位置 找到位置后&#xff0c;效果如下图所示 下一步&#xff0c;填写用户名和密码&#xff0c;再点击下一步 给虚拟机起名字&#xff0c;默认就行&#xff1b;虚拟机安装路径&#xff0c;默认…
阅读更多...
Python生产者消费者模型

Python生产者消费者模型

额滴名片儿 &#x1f388; 博主&#xff1a;一只程序猿子 &#x1f388; 博客主页&#xff1a;一只程序猿子 博客主页 &#x1f388; 个人介绍&#xff1a;爱好(bushi)编程&#xff01; &#x1f388; 创作不易&#xff1a;如喜欢麻烦您点个&#x1f44d;或者点个⭐&#xff01…
阅读更多...
为什么SSL证书要设有有效期？

为什么SSL证书要设有有效期？

在当今的数字化时代&#xff0c;网络安全已经成为了每个企业和个人都必须关注的重要问题。为了保护网站数据的安全传输&#xff0c;SSL证书应运而生。然而&#xff0c;你是否注意到&#xff0c;SSL证书并不是永久有效的&#xff0c;而是有一定的有效期。那么&#xff0c;为什么…
阅读更多...
最新文章
推荐文章

Copyright @ 2022~2023

友情链接： 我的编程经验分享 一条长河网 尧图网站开发