C++:模版初阶 | STL简介

                                                    创作不易,感谢支持!! 

一、泛型编程思想

如何实现一个通用的交换函数呢?

注:其实swap函数在C++的标准库提供了,不需要自己写,这边只是举个例子

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. 代码的可维护性比较低,一个出错可能所有的重载均出错
 

        那么如何解决上面的问题呢?大家都知道,瓦特改良蒸汽机,人类开始了工业革命,解放了生产力。机器生产淘汰掉了很多手工产品。本质是什么,重复的工作交给了机器去完成。有人给出了论调:懒人创造世界。

       我们的祖师爷就思考:比如上面的swap函数,不就是类型不同吗?那能否告诉编译器一个模子,让编译器根据不同的类型利用该模子来生成代码呢?

       如果在C++中,也能够存在这样一个模具,通过给这个模具中填充不同材料(类型),来获得不同材料的铸件(即生成具体类型的代码),那将会节省许多头发。巧的是前人早已将树栽好,我们只需在此乘凉。

泛型编程:编写与类型无关的通用代码(让编译器去识别类型并实例化出相应的对象),是代码复用的一种手段。模板是泛型编程的基础。
 

二、函数模版

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

2.1 函数模版格式

template<typename T1, typename T2,......,typename Tn>
返回值类型 函数名(参数列表){}

根据这个格式我们造出swap函数的模版 

template<typename T>
void Swap( T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}

注意:typename是用来定义模板参数关键字,也可以使用class(切记:不能使用struct代替class)

2.2 函数模板的原理

现在我们尝试使用这个模具

那这两个函数都是调用这个模版函数吗?? 

调试的时候可以观察到都是走的这个函数,但实际上不是的!!我们通过汇编代码可以看出来

 我们发现这两个函数的指令并不一样,这说明调用的根本不是同一个函数!!那原理究竟是怎样的呢?

       其实函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器
 

       在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此。

2.3 函数模板的实例化
 

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

1、隐式实例化:让编译器根据实参推演模板参数的实际类型

 如果传的是另个不同类型呢??

原因:该语句不能通过编译,因为在编译期间,当编译器看到该实例化时,需要推演其实参类型通过实参a1将T推演为int,通过实参d1将T推演为double类型,但模板参数列表中只有一个T,编译器无法确定此处到底该将T确定为int 或者 double类型而报错
注意:在模板中,编译器一般不会进行类型转换操作,因为一旦转化出问题,编译器就需要背黑锅

 解决方案:

1、既然编译器不敢做类型转化的工作,那我们就自己进行类型转化!!

 int转double还好点,double转int会造成精度丢失

2、显示实例化:你不是不敢强转吗,那我就命令你必须强转成某个类型去计算,如果可以转化,那么编译器就会尝试去转化,如果转化不成功,编译器就会报错。

2.4 模版参数的匹配原则

 1. 一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。

     如果有普通函数可以匹配,那么就不会去调用模版函数,但如果我们非得使用模版的Add函数,只需要进行显示实例化即可!!

2、 对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板

 3. 模板函数不允许自动类型转换,但普通函数可以进行自动类型转换

也就是说如果找不到匹配的函数,那么优先会去找普通函数,因为普通函数支持强转。

三、类模版

3.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;
}

 注意:模版的声明和定义不能放在不同的文件里,应该统一放在头文件里最合适。

3.2 类模版的实例化

类模板实例化与函数模板实例化不同(无法像函数那样根据参数类型去推导,必须用户显式实例化),类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在< >中即可,类模板名字不是真正的类,而实例化的结果才是真正的类

Vector<int> s1;
Vector<double> s2;

 注意:Vector类名,Vector<int>才是类型

四、STL简介

4.1 什么是STL

STL(standard template libaray-标准模板库):是C++标准库的重要组成部分,不仅是一个可复用的组件库,而且是一个包罗数据结构与算法的软件框架。

4.2 STL版本

1、原始版本
       Alexander Stepanov、Meng Lee 在惠普实验室完成的原始版本,本着开源精神,他们声明允许任何人任意运用、拷贝、修改、传播、商业使用这些代码,无需付费。唯一的条件就是也需要向原始版本一样做开源使用。 HP 版本--所有STL实现版本的始祖。

2、P. J. 版本
       由P. J. Plauger开发,继承自HP版本,被Windows Visual C++采用,不能公开或修改,缺陷:可读性比较低,符号命名比较怪异。

3、RW版本
     由Rouge Wage公司开发,继承自HP版本,被C+ + Builder 采用,不能公开或修改,可读性一般。

4、SGI版本

     由Silicon Graphics Computer Systems,Inc公司开发,继承自HP版 本。被GCC(Linux)采用,可移植性好,可公开、修改甚至贩卖,从命名风格和编程 风格上看,阅读性非常高。STL源码剖析这本书,主要参考的就是这个版本。

4.3 STL六大组件

4.4 STL的重要性

     网上有句话说:“不懂STL,不要说你会C++”。STL是C++中的优秀作品,有了它的陪伴,许多底层的数据结构以及算法都不需要自己重新造轮子,站在前人的肩膀上,健步如飞的快速开发。
    STL给我们做算法题也提供了思路

4.5 学习STL参考文献

4.6 STL缺陷 (参考)

1. STL库的更新太慢了。这个得严重吐槽,上一版靠谱是C++98,中间的C++03基本一些修订。C++11出来已经相隔了13年,STL才进一步更新。
2. STL现在都没有支持线程安全。并发环境下需要我们自己加锁。且锁的粒度是比较大的。
3. STL极度的追求效率,导致内部比较复杂。比如类型萃取,迭代器萃取。
4. STL的使用会有代码膨胀的问题,比如使用vector/vector/vector这样会生成多份代码,当然这是模板语法本身导致的。
 

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

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

相关文章

【小夏送书 | 第二期】世界顶级名校计算机专业,都在用哪些书当教材?

&#x1f304;参与规则 参与方式&#xff1a;关注博主点赞收藏评论&#xff0c;&#xff08;每人最多评论三次&#xff09; 本次送书1~3本【取决于阅读量&#xff0c;阅读量越多&#xff0c;送的越多】 活动时间至&#xff1a;2024-3-6 20:00:00 | 随机抽取由博主动态公布抽…

构建卓越容器安全流程:保障应用与基础设施的安全

在当今高度动态和云原生的应用环境中,容器技术的广泛应用为应用部署和扩展带来了巨大便利。然而,随之而来的挑战之一是如何确保容器环境的安全性,以应对不断演变的威胁。本文将介绍一套卓越的容器安全流程,以保障应用与基础设施的安全。 1. 容器镜像安全审查 卓越的容器安…

《国色芳华》争议不断,杨紫簪花妆惊艳全场,李现造型更是抢眼。

♥ 为方便您进行讨论和分享&#xff0c;同时也为能带给您不一样的参与感。请您在阅读本文之前&#xff0c;点击一下“关注”&#xff0c;非常感谢您的支持&#xff01; 文 |猴哥聊娱乐 编 辑|徐 婷 校 对|侯欢庭 猴哥来啦&#xff01;新剧《国色芳华》火热开拍&#xff0c;杨…

Mysql数据库管理系统学习笔记1——sql语句,DBMS,数据库的分类

mysql是一种数据库管理系统&#xff08;DBMS&#xff09;&#xff0c;data base manage system sql语句即为“structured query language”&#xff0c;结构化查询语言 数据库的分类&#xff1a;关系型数据库&#xff08;RDBMS&#xff09;与非关系型数据库 对于一些具有相同…

el-table通过这样封装可以实现校验-表格校验的原理

我们一般在后台系统中&#xff0c;很常见的操作时表格里面嵌套表单&#xff0c;之前我的网上找到了一些封装的用法&#xff1a; <el-form :model"formData" :rules"ruleData" ref"formDom"><el-table :data"formData.tableData&q…

美易全球投资中心:美股涨势倦怠,要预测顶部位置是不可能的

在过去的几个月里&#xff0c;美股市场一直处于涨势&#xff0c;但近期这种涨势似乎已经开始倦怠。高盛的分析师表示&#xff0c;尽管市场可能会出现波动&#xff0c;但目前没有明显的抛售诱因。他们也指出&#xff0c;预测市场的顶部位置是非常困难的&#xff0c;因为市场走势…

k8s pod理论

一、Pod概述 1、Pod的定义 Pod是K8S中创建和管理的最小单位。 2、一个Pod至少包含多少容器 1个pause容器&#xff08;基础容器/父容器/根容器&#xff09;和 1个或者多个应用容器&#xff08;业务容器&#xff09; 通常一个Pod最好只包含一个应用容器&#xff0c;一个应用容…

找不到FeignClient Bean对象的解决方法(两个)

当我们自己在编写独立的模块过着jar包的时候&#xff0c;在另外一个模块引用到这个依赖&#xff0c;若像是本例中的UserClient&#xff0c;是需要注入成Bean才能成功注入到Spring的IO容器中&#xff0c;从而成功调用。下面有两个解决方法&#xff1a; 问题&#xff1a; UserCl…

基于Redisson,实现分布式锁注解

1.原始写法 我们平常使用redisson的分布式锁是不是基本都用下面的这个模板&#xff0c;既然是模板&#xff0c;那为何不把他抽出来呢&#xff1f; // 尝试加锁&#xff0c;最多等待100秒&#xff0c;上锁以后10秒自动解锁 boolean res lock.tryLock(100, 10, TimeUnit.SECON…

华为OD技术面试案例5-2024年

背景 985本计算机专业&#xff0c;目标院校。 1.15 投递 在某BOSS上投递的简历&#xff0c;HR人很nice&#xff0c;非常负责任。 1.19 收到机试通知 第一题是一个哈夫曼编码&#xff0c;第三题是一个动态规划&#xff0c;机试整体难度不算高&#xff0c;刷leetcode hot100…

PTA——L2-016 愿天下有情人都是失散多年的兄妹(dfs)

文章目录 一、题目二、题解1.基本思路&#xff1a;2.代码&#xff1a; 一、题目 L2-016 愿天下有情人都是失散多年的兄妹 分数 25 全屏浏览 作者 陈越 单位 浙江大学 呵呵。大家都知道五服以内不得通婚&#xff0c;即两个人最近的共同祖先如果在五代以内&#xff08;即本人、…

react + umi中如何使用rem完成自适应布局

只要写css就可以实现&#xff1a;flex rem布局&#xff1b; 在项目的global.less中根据媒体查询&#xff1b; 媒体查询是用于根据设备的特性&#xff08;如屏幕尺寸、屏幕方向、分辨率等&#xff09;来应用不同的 CSS 样式的技术。以下是一些常用的媒体查询尺寸&#xff1a; 小…

WordPress分类目录ID怎么看?如何查找WordPress标签ID?

在WordPress网站中&#xff0c;我们需要判断某篇文章是否属于某个分类目录&#xff0c;或者是否拥有某个标签&#xff0c;那么就需要用到分类目录ID和标签ID&#xff0c;那么WordPress分类目录ID怎么看&#xff1f;如何查找WordPress标签ID&#xff1f;下面boke112百科就跟大家…

五、生成数字列表

输入描述&#xff1a; 输入一行整数&#xff0c;数字之间以空格间隔。 输出描述&#xff1a; 输出这些数字组成的完整列表。 示例1 输入&#xff1a; 1 2 3 4 5 复制输出&#xff1a; [1, 2, 3, 4, 5] numinput() list_strnum.split() int_list[int(i) for i in list_str…

Node.js基础---加载机制

模块的加载机制 1. 优先成缓存中加载 模块在第一次加载后会被缓存&#xff0c;意味着多次调用 require() 不会导致模块代码被多次执行 注意&#xff1a;无论是什么模块都会优先从缓存内加载&#xff0c;以提高加载效率 2. 内置模块的加载机制 内置模块是 Node.js官网提供的模块…

数据结构·顺序表实现通讯录

目录 1 基本格式 2 结构体的声明 3 初始化 销毁 扩容 插入 删除 4 增加联系人 5 查看通讯录 6 删除联系人 7 查找联系人 8 修改联系人 9 整体代码 引言&#xff1a; 有了前面顺序表的基础&#xff0c;我们可以尝试利用顺序表实现通讯录&#xff0c;日常使用中&#x…

【论文阅读】微纳米气泡技术作为CO2-EOR和CO2地质储存技术的新方向:综述

Micro and nanobubbles technologies as a new horizon for CO2-EOR and CO2 geological storage techniques: A review 微纳米气泡技术作为CO2-EOR和CO2地质储存技术的新方向&#xff1a;综述 期刊信息&#xff1a;Fuel 2023 期刊级别&#xff1a;EI检索 SCI升级版工程技术1区…

【LeetCode-简单】69.x的平方根 + 367.有效的完全平方数 - 二分法

力扣题目链接 给定非负整数x&#xff0c;求x的算数平方根&#xff08;只保留整数部分&#xff09; 这个问题可以看成在区间 [0, x) 中寻找一个整数 target 使得 target * target 趋近于x 采用二分法&#xff0c;排除0与1这两个特殊情况后&#xff08;不排除则left 0, right…

Python实现时间序列分析进行平稳性检验(ADF和KPSS)和差分去趋势(adfuller和kpss算法)项目实战

说明&#xff1a;这是一个机器学习实战项目&#xff08;附带数据代码文档视频讲解&#xff09;&#xff0c;如需数据代码文档视频讲解可以直接到文章最后获取。 1.项目背景 时间序列分析中的平稳性检验是评估一个时间序列是否具有稳定的均值和方差。在经济学、金融学以及其他诸…

麒麟OS:操作系统国家队

这是ren_dong的第31篇原创 1、中标软件 中标软件&#xff1a;国产操作系统龙头 中标软件有限公司成立于2003 年&#xff0c;是国产自主操作系统和办公软件产品提供商&#xff0c;拥有 国防、民用两方面的相关企业与产品资质&#xff0c;是安全操作系统旗舰企业。 中标软件的主要…