C++之STL(二三)

2024-06-20 01:52
文章标签 c++ stl 二三

本文主要是介绍C++之STL(二三),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1、vector源码刨析

1.1、数据结构以及动态扩充算法

其实vector内部有三个指针,分别是数据的第一个元素Myfirst、数据的最后一个元素的下一个位置Mylast,最后一个空间的下一个位置Myend;当你插入数据的时候,先判断当前容量够不够,不够的话通过内存分配子扩充容量,至于扩充的算法,可能有些编译器不大相同,像vc6.0的话,就是成倍扩充,比如当前是2,扩充到4,4不够用了之后,又扩充到8,以此类推。但是像visual studio,就是按照容量的一半进行扩充。

#include <vector>
#include <iostream>
using namespace std;int main() {vector<int> v;v.push_back(1);cout << v.capacity() << endl;v.push_back(1);cout << v.capacity() << endl;v.push_back(1);cout << v.capacity() << endl;v.push_back(1);cout << v.capacity() << endl;v.push_back(1);cout << v.capacity() << endl;v.push_back(1);cout << v.capacity() << endl;v.push_back(1);cout << v.capacity() << endl;v.push_back(1);cout << v.capacity() << endl;return 0;
}//输出
1
2
4
4
8
8
8
8

1.2、如何实现连续空间

如果是从尾部插入,分配内存结束后,先在尾部的位置插入数据,然后再将之前的数据一个个复制过去。

如果是从中间插入,分配内存后,先在该位置插入数据,然后再将该位置的前面数据搬下来,然后将该位置的后面数据依次搬到该位置的后面。

1.3、内存分配子

先上代码

#include <vector>
#include <iostream>
using namespace std;class Test
{
public:Test(){cout << "Test() ..." << endl;}Test(const Test& other){cout << "copy Test ..." << endl;}~Test(){cout << "~Test() ..." << endl;}
};int main() {vector<Test> v;Test t1;Test t2;Test t3;v.push_back(t1);v.push_back(t2);v.push_back(t3);return 0;
}// 输出
Test() ...
Test() ...
Test() ...
copy Test ...
copy Test ...
copy Test ...
~Test() ...
copy Test ...
copy Test ...
copy Test ...
~Test() ...
~Test() ...
~Test() ...
~Test() ...
~Test() ...
~Test() ...
~Test() ...
~Test() ...

根据例子来分析分配内存的过程

前三行的构造:是定义了三个变量打印出来的;

v.push_back(t1)具体过程:

1、先是调用_Allocate函数。_Allocate里面会调用operator new分配新内存,然后算出偏移量,也就是要在哪插入数据

2、然后调用_Ufill函数将数据插入进去。_Ufill里面最终会调用placement new去调用拷贝构造函数将复制的数据插入新内存。(在这边就会打印出第四行的拷贝构造)

这边为什么不直接调用new operator直接开辟空间和调用拷贝构造?因为要算出偏移量,每一个类型的偏移量都不一样,所以必须先分配内存,然后再根据偏移量插入到新内存。

3、然后再调用_Move将该位置的前面数据搬到新空间当中去(因为这是第一个元素,所以没有前面数据)

4、然后再调用_Move将该位置的后面数据搬到新空间当中去(因为这是第一个元素,所以没有后面数据)

5、代码中这边还有需要显示调用析构函数和释放旧内存,因为这是第一块内存,而且构造出来的数据是要放在第一块内存中,所以这边没有调用析构和释放内存。

6、然后将三个指针改成相对应的位置。

v.push_back(t2)具体过程:

第五行的拷贝原理同第四行。

前两步跟上面一样;

3、调用_Move将该位置之前的数据遍历,遍历里面调用placement new,调用拷贝构造将数据拷贝到新内存中,因为这个t2前面只有一个t1,所以就只拷贝t1,所以打印出了第六行的拷贝构造函数。

4、同上

5、这边已经将数据都拷贝到新的内存当中了,所以需要释放旧的内存。最后面会显示的调用析构函数,打印出了第七行的析构函数。然后再调用operator delete释放上面operator new的内存。这边析构的是:旧内存中的数据,因为已经将旧内存中的数据拷贝到新内存中了,旧内存就没用了,此时旧内存有t1和t2,所以就只打印出两行析构。跟第一个push_back不同的是,第一个的时候没有旧数据,所以不需要删除和析构。

6、然后将三个指针改成相对应的位置。

v.push_back(t3)具体过程:

第八行的拷贝原理同第四行。

前两步跟上面一样;

3、调用_Move将该位置之前的数据遍历,遍历里面调用placement new,调用拷贝构造将数据拷贝到新内存中,因为这个t3前面有t1和t2,拷贝了两个,所以打印出了第九、十行的拷贝构造函数。

4、同上(注意,如果是在中间插入,那这边第四步调用的函数和第三步一样,只是参数不一样,里面都是遍历,然后拷贝)

5、这边已经将数据都拷贝到新的内存当中了,所以需要释放旧的内存。最后面会显示的调用析构函数,打印出了第十一、十二行的析构函数。然后再调用operator delete释放上面operator new的内存。这边析构的是:旧内存中的数据,因为已经将旧内存中的数据拷贝到新内存中了,旧内存就没用了,此时旧内存就只有一个t1,所以就只打印出一行析构。跟第一个push_back不同的是,第一个的时候没有旧数据,所以不需要删除和析构。

6、然后将三个指针改成相对应的位置。

剩下的6个析构函数,分别是t1t2t3生命周期结束的时候调用,还有v生命周期结束的时候也会去销毁里面的元素,所以v里面也有三个析构,这样加起来,就是上面代码输出的样子。

这边再复习一下new的三种用法:

new operator:分配空间+构造函数

opearator new:只分配空间,不调用构造函数

placement new:不分配空间,调用构造函数

这篇关于C++之STL(二三)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!


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

相关文章

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

C++中NULL与nullptr的区别小结

《C++中NULL与nullptr的区别小结》本文介绍了C++编程中NULL与nullptr的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编... 目录C++98空值——NULLC++11空值——nullptr区别对比示例 C++98空值——NUL

C++ Log4cpp跨平台日志库的使用小结

《C++Log4cpp跨平台日志库的使用小结》Log4cpp是c++类库,本文详细介绍了C++日志库log4cpp的使用方法,及设置日志输出格式和优先级,具有一定的参考价值,感兴趣的可以了解一下... 目录一、介绍1. log4cpp的日志方式2.设置日志输出的格式3. 设置日志的输出优先级二、Window

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决

C++11委托构造函数和继承构造函数的实现

《C++11委托构造函数和继承构造函数的实现》C++引入了委托构造函数和继承构造函数这两个重要的特性,本文主要介绍了C++11委托构造函数和继承构造函数的实现,具有一定的参考价值,感兴趣的可以了解一下... 目录引言一、委托构造函数1.1 委托构造函数的定义与作用1.2 委托构造函数的语法1.3 委托构造函

C++11作用域枚举(Scoped Enums)的实现示例

《C++11作用域枚举(ScopedEnums)的实现示例》枚举类型是一种非常实用的工具,C++11标准引入了作用域枚举,也称为强类型枚举,本文主要介绍了C++11作用域枚举(ScopedEnums... 目录一、引言二、传统枚举类型的局限性2.1 命名空间污染2.2 整型提升问题2.3 类型转换问题三、C