【C++】：C++中的STL序列式容器vector源码剖析

在这里插入图片描述
在这里插入图片描述

⛅️一 vector概述

vector的使用语法可以参考文章：​
总的来说：vector是可变大小数组
特点：
支持快速随机访问。在尾部之外的位置插入或删除元素可能很慢
元素保存在连续的内存空间中，因此通过下标取值非常快
在容器中间位置添加或删除元素非常耗时
一旦vector内存不足，重新申请内存之后，和原vector相关的指针，引用，迭代器都失效。内存重分配耗时很长
通常，使用vector是最好的选择，如果没有什么特殊要求，最好使用vector
与其他容器的比较：

在这里插入图片描述

⛅️二、vector定义摘要

vector定于与<stl_vector.h>头文件中

//alloc是SGI STL的空间配置器
template <class T, class Alloc = alloc>
class vector {
public:// vector 的嵌套类型定义typedef T value_type;typedef value_type* pointer;typedef value_type* iterator;typedef value_type& reference;typedef size_t size_type;typedef ptrdiff_t difference_type;protected:// simple_alloc是SGI STL的空间配置器，见前面空间适配器文章的介绍typedef simple_alloc<value_type, Alloc> data_allocator;iterator start; // 表示目前使用空间的头iterator finish; // 表示目前使用空间的尾iterator end_of_storage; // 表示目前可用空间的尾void insert_aux(iterator position, const T& x);void deallocate() {if (start)data_allocator::deallocate(start, end_of_storage - start);}void fill_initialize(size_type n, const T& value) {start = allocate_and_fill(n, value);finish = start + n;end_of_storage = finish;}public:iterator begin() { return start; }iterator end() { return finish; }size_type size() const { return size_type(end() - begin()); }size_type capacity() const {return size_type(end_of_storage - begin()); }bool empty() const { return begin() == end(); }reference operator[](size_type n) { return *(begin() + n); }vector() : start(0), finish(0), end_of_storage(0) {}vector(size_type n, const T& value) { fill_initialize(n,value); } vector(int n, const T& value) { fill_initialize(n,value); } vector(long n, const T&value) { fill_initialize(n,value); } explicit vector(size_type n) { fill_initialize(n,T()); }~vector()destroy(start, finish); //全局函式，见前面文章destroy函数的介绍deallocate(); //这是 vector的㆒个 member function}reference front() { return *begin(); } // 第一个元素reference back() { return *(end() - 1); } // 最后一个元素void push_back(const T& x) { // 将元素安插至最尾端if (finish != end_of_storage) {construct(finish, x); //全局函式，见前面文章construct函数的介绍++finish;}elseinsert_aux(end(), x); //这是 vector的一个member function}void pop_back() { // 将最尾端元素取出--finish;destroy(finish); // 全局函式，见前面文章destroy函数的介绍}iterator erase(iterator position) { // 清除某位置上的元素if (position + 1 != end())copy(position + 1, finish, position); // 后续元素往前搬移--finish;destroy(finish); // 全局函式，见前面文章destroy函数的介绍return position;}void resize(size_type new_size, const T& x) {if (new_size < size())erase(begin() + new_size, end());elseinsert(end(), new_size - size(), x);}void resize(size_type new_size) { resize(new_size, T()); }void clear() { erase(begin(), end()); }protected:// 配置空间并填满内容iterator allocate_and_fill(size_type n, const T& x) {iterator result = data_allocator::allocate(n);uninitialized_fill_n(result, n, x); // 全局函式，见前面uninitialized_fill_n函数的介绍return result;}

⛅️三、vector的迭代器

vector维护的是一个连续线性空间，所以不论其元素类别是什么，普通指针都可以作为vector的迭代器而满足所有必要条件
vector迭代器支持有操作有（普通指针也具备）：
operator*、operator->、operator++、operator–、operator+、operator-、operator+=、operator-=
vector支持随机存取，而普通指针正有着这样的能力，所以，vector提供的是随机访问迭代器（Random Access iterators）
vector的迭代器定义如下：

template <class T, class Alloc = alloc>
class vector {
public:typedef T value_type;typedef value_type* iterator; //vector的迭代器是原生指标...
};

例如：

vector<int>::iterator ivite;   //等同于int* ivite;
vector<Shape>::iterator svite; //等同于Shape* svite;

⛅️四、vector的数据结构

vector的数据结构非常简单：一个线性连续空间
下面介绍vector的3个数据结构：
start：表示目前使用空间的头
finish：表示目前使用空间的尾
end_of_storage：表示目前可用空间的尾

template <class T, class Alloc = alloc>
class vector {
...
protected:iterator start; //表示目前使用空间的头iterator finish; //表示目前使用空间的尾iterator end_of_storage; //表示目前可用空间的尾...
};

说明：为了降低空间配置时的速度成本，vector实际配置的大小可能比客户端需求量更大一些，以备将来可能的扩充。这便是容量的概念。也就是说，一个vector的容量永远大于或等于其大小。一旦容量等于大小，下次再新增元素时就需要新开辟一块空间。如下图所示
在这里插入图片描述
运用start、finish、end_of_storage三个迭代器，vector提供了首尾标示、大小、容量、空容器判断、注标[]运算符、最前端元素值、最后端元素值…等机能，如下：

template <class T, class Alloc = alloc>
class vector {
...
public:iterator begin() { return start; }iterator end() { return finish; }size_type size() const { return size_type(end() - begin()); }size_type capacity() const {return size_type(end_of_storage - begin()); }bool empty() const { return begin() == end(); }reference operator[](size_type n) { return *(begin() + n); }reference front() { return *begin(); }reference back() { return *(end() - 1); }...
};

⛅️五、vector的构造与内存管理（constructor、push_back）

vector的内存管理：vector默认使用alloc做为空间配置器，并据此另外定义了一个data_allocator，为的是更方便以元素大小为配置单位：

template <class T, class Alloc = alloc>
class vector {
protected:// simple_alloc<>见前面文章介绍typedef simple_alloc<value_type, Alloc> data_allocator;...
};

于是，data_allocator::allocate(n) 表示配置n个元素空间
构造函数：vector提供许多构造函数，其中一个允许我们指定空间大小及初值：

//构造函数，允许指定vector大小n和初值value
vector(size_type n, const T& value) { fill_initialize(n, value); }// 充填并予初始化
void fill_initialize(size_type n, const T& value) {start = allocate_and_fill(n, value);finish = start + n;end_of_storage = finish;
}// 配置而后充填
iterator allocate_and_fill(size_type n, const T& x) {iterator result = data_allocator::allocate(n); //配置n个元素空间uninitialized_fill_n(result, n, x); //全局函式，会根据第1个参数类型特性决定使用算法fill_n()或反复调用construct()来完成任务return result;
}

push_back()函数：当我们以push_back() 将新元素安插入于vector尾端时，该函式首先检查是否还有备用空间，如果有就直接在备用空间上建构元素，并调整迭代器finish，使vector变大。如果没有备用空间了，就扩充空间（重新配置、搬移数据、释放原空间）。push_back()原型如下：

void push_back(const T& x) {if (finish != end_of_storage) { //还有备用空间construct(finish, x); //全局函式++finish; //调整水位高度}else //已无备用空间insert_aux(end(), x); // vector member function，见下
}

template <class T, class Alloc>
void vector<T, Alloc>::insert_aux(iterator position, const T& x) {if (finish != end_of_storage) { //还有备用空间// 在备用空间起始处建构一个元素，并以 vector 最后一个元素值为其初值。construct(finish, *(finish - 1));// 调整水位。++finish;T x_copy = x;copy_backward(position, finish - 2, finish - 1);*position = x_copy;}else { // 已无备用空间const size_type old_size = size();const size_type len = old_size != 0 ? 2 * old_size : 1;// 以上配置原则：如果原大小为0，则配置 1（个元素大小）// 如果原大小不为 0，则配置原大小的两倍，// 前半段用来放置原数据，后半段准备用来放置新数据iterator new_start = data_allocator::allocate(len); // 实际配置iterator new_finish = new_start;try {// 将原 vector 的内容拷贝到新vectornew_finish = uninitialized_copy(start, position, new_start);// 为新元素设定初值 xconstruct(new_finish, x);// 调整水位++new_finish;// 将原vector的备用空间中的内容也忠实拷贝过来new_finish = uninitialized_copy(position, finish, new_finish);}catch(...) {// "commit or rollback" semantics.destroy(new_start, new_finish);data_allocator::deallocate(new_start, len);throw;}//析构并释放原vectordestroy(begin(), end());deallocate();// 调整迭代器，指向新vectorvector start = new_start;finish = new_finish;end_of_storage = new_start + len;}
}

⛅️六、vector内存重分配策略

vector的内存重分配策略：
vector是以数组的形式存储的，当往vector中增加元素时，如果vector的容量不足，那么vector就会进行扩容
扩容的规则是：并不是在原空间之后接续新空间（因为无法保证原空间之后尚有可供配置的空间），而是申请一块比现在大的新的内存空间（gcc和vc申请规则不同，见下面介绍），然后原来内存中的内容拷贝到新内存中，然后释放原来的内存
重点：在gcc和vc的环境下，vector的扩容规则是不一样的
注意（重点）：对vector 的任何操作，一旦引起空间重新配置，指向原vector的所有迭代器就都失效了。这是程序员易犯的一个错误，务需小心

#include <iostream>
#include <vector>using namespace std;int main()
{std::vector<int> iv;iv.push_back(1);cout << iv.capacity() << endl; //1iv.push_back(1);cout << iv.capacity() << endl; //2iv.push_back(1);cout << iv.capacity() << endl; //3iv.push_back(1);cout << iv.capacity() << endl; //4iv.push_back(1);cout << iv.capacity() << endl; //6iv.push_back(1);iv.push_back(1);cout << iv.capacity() << endl; //9return 0;
}

⛅️七、vector的元素操作（pop_back、erase、clear、insert）

所提供的元素操作动作很多，不就在此文章中一一说明
pop_back：

//将尾端元素拿掉，并调整大小
void pop_back() {--finish; //将尾端标记往前移一格，表示将放弃尾端元素destroy(finish); // destroy是全局函式
}

erase：

// 清除[first,last)中的所有元素
iterator erase(iterator first, iterator last) {iterator i = copy(last, finish, first); //copy是全局函式destroy(i, finish); //destroy是全局函式finish = finish - (last - first);return first;
}

下图是上面这个erase函数的版本
在这里插入图片描述

// 清除某个位置上的元素
iterator erase(iterator position) {if (position + 1 != end())copy(position + 1, finish, position); //copy是全局函式--finish;destroy(finish); //destroy是全局函式return position;
}

clear：

//清除容器内所有元素
void clear() { erase(begin(), end()); }

insert：

//从position开始，插入n个元素，元素初值为x
template<class T,class Alloc>
void vector<T, Alloc>::insert(iterator position, size_type n, const T& x)
{if (n != 0) { //当n!= 0才进行以下所有动作if (size_type(end_of_storage - finish) >= n){//备用空间大于等于“新增元素个数”T x_copy = x;// 以下计算插入点之后的现有元素个数const size_type elems_after = finish - position;iterator old_finish = finish;if (elems_after > n){//“插入点之后的现有元素个数”大于“新增元素个数”uninitialized_copy(finish - n, finish, finish);finish += n; // 将vector尾端标记后移copy_backward(position, old_finish - n, old_finish);fill(position, position + n, x_copy); //从插入点开始填入新值}}else {//“插入点之后的现有元素个数”小于等于“新增元素个数”uninitialized_fill_n(finish, n - elems_after, x_copy);finish += n - elems_after;uninitialized_copy(position, old_finish, finish);finish += elems_after;fill(position, old_finish, x_copy);}}else {// 备用空间小于“新增元素个数”（那就必须配置额外的内存）// 首先决定新长度：旧长度的两倍，或旧长度+新增元素个数const size_type old_size = size();const size_type len = old_size + max(old_size, n);// 以下配置新的vector空间iterator new_start = data_allocator::allocate(len);iterator new_finish = new_start;STL_TRY {// 以下首先将旧vector的安插点之前的元素复制到新空间new_finish = uninitialized_copy(start, position, new_start);// 以下再将新增元素（初值皆为n）填入新空间new_finish = uninitialized_fill_n(new_finish, n, x);// 以下再将旧 vector 的插入点之后的元素复制到新空间new_finish = uninitialized_copy(position, finish, new_finish);}
# ifdef STL_USE_EXCEPTIONScatch(...) {// 如有异常发生，实现"commit or rollback" semantics.destroy(new_start, new_finish);data_allocator::deallocate(new_start, len);throw;}
# endif /* STL_USE_EXCEPTIONS */// 以下清除并释放旧的vectordestroy(start, finish);deallocate();// 以下调整水位标记start = new_start; finish =new_finish; end_of_storage =new_start + len;}
}

注意，插入完成后，新节点将位于哨兵迭代器（即上缪按的position，标示出插入点） 所指之节点的前方——这是STL对于“插入操作”的标准规范。下面的图片展示了insert(position,n,x)的操作
备用空间>=新增元素个数的情况：
①备用空间2>=新增元素个数2
②插入点之后的现有元素个数3>新增元素个数2
在这里插入图片描述
③插入点之后的现有元素个数2<=新增元素个数3
在这里插入图片描述
备用空间>=新增元素个数的情况：例如下面备用空间2<新增元素个数n==3
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

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

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

相关文章

Linux中PyTorch的安装教程

Linux中PyTorch的安装教程

在安装PyTorch之前&#xff0c;我们需要确保已经安装了Python和pip。可以使用以下命令检查是否已经安装&#xff1a; python --version pip --version如果没有安装&#xff0c;可以使用以下命令安装&#xff1a; sudo apt-get update sudo apt-get install python3 sudo apt-…
阅读更多...
如何解决NAND系统性能问题？--NAND分类

如何解决NAND系统性能问题？--NAND分类

一、故事引言 想象一下&#xff0c;你正在管理一座神奇的数据仓库&#xff0c;这个仓库没有沉重的门、旋转的磁盘和机械手臂&#xff0c;而是由一群训练有素的“数据小飞侠”组成。这些小飞侠们居住在一个叫做闪存芯片&#xff08;NAND Flash&#xff0c;本文主人公&#xff0…
阅读更多...
【MFC实践】基于MFC向导C++制作计算器（附文件）

【MFC实践】基于MFC向导C++制作计算器（附文件）

一、写在前面1.1 什么是MFC向导&#xff1f;1.2 使用MFC向导制作计算器1.3安装visual studio 2022和MFC插件 二、设计计算器界面1.1 新创建MFC项目1.2 设计计算器界面1.3 添加相关变量1.4 算法的一些问题及解决方式1.5 计算功能的实现1.6 其它功能的实现1.6.1 DEL功能1.6.2 C置…
阅读更多...
Spring Cache 的使用

Spring Cache 的使用

大家好我是苏麟 , 今天聊聊Spring Cache . Spring Cache Spring Cache 是一个框架&#xff0c;实现了基于注解的缓存功能&#xff0c;只需要简单地加一个注解&#xff0c;就能实现缓存功能。 Spring Cache 提供了一层抽象&#xff0c;底层可以切换不同的缓存实现&#xff0c…
阅读更多...
计算机丢失mfc140.dll怎么办？解决mfc140.dll缺失的3种方法分享

计算机丢失mfc140.dll怎么办？解决mfc140.dll缺失的3种方法分享

计算机丢失mfc140.dll怎么办&#xff1f;在使用微软办公软件的时候&#xff0c;可能会弹出一个错误提示框说“找不到mfc140.dll&#xff0c;无法继续执行代码”。为了不影响工作效率&#xff0c;我们可能需要亲自动手尝试修复这一问题。以下是一些mfc140.dll缺失的3种方法相关介…
阅读更多...
写一个简单的Java的Gui文本输入窗口，JFrame的简单使用

写一个简单的Java的Gui文本输入窗口，JFrame的简单使用

JFrame是指一个计算机语言-java的GUI程序的基本思路是以JFrame为基础，它是屏幕上window的对象，能够最大化、最小化、关闭。 Swing的三个基本构造块：标签、按钮和文本字段；但是需要个地方安放它们，并希望用户知道如何处理它们。JFrame 类就是解决这个问题的——它是一个容器…
阅读更多...
用单片机设计PLC电路图

用单片机设计PLC电路图

自记&#xff1a; 见另一篇文章&#xff0c;MOS驱动差了一个充电电容&#xff0c;栅极电容充电会有问题&#xff1b; 光耦用的直插&#xff0c;但板子用的贴片&#xff0c;此文档仅供参考 基本列出了PCB板情况&#xff0c;基础元器件&#xff0c;部分连接&#xff0c;原理等…
阅读更多...
C++——冒泡排序

C++——冒泡排序

作用&#xff1a;最常用的排序算法&#xff0c;对数组内元素进行排序 1&#xff0c;比较相邻的元素&#xff0c;如果第一个比第二个大&#xff0c;就交换他们两个。 2&#xff0c;对每一对相邻元素做同样的工作&#xff0c;执行完毕后&#xff0c;找到第一个最大值。 3&…
阅读更多...
Python基础知识：整理12 JSON数据格式的转换

Python基础知识：整理12 JSON数据格式的转换

首先导入python中的内置包json import json 1 准备一个列表&#xff0c;列表内每个元素都是字典&#xff0c;将其转换为JSON 使用json.dumps()方法 data [{"name": "John", "age": 30}, {"name": "Jane", "age":…
阅读更多...
【论文笔记】End-to-End Diffusion Latent Optimization Improves Classifier Guidance

【论文笔记】End-to-End Diffusion Latent Optimization Improves Classifier Guidance

Abstract Classifier guidance为图像生成带来了控制&#xff0c;但是需要训练新的噪声感知模型(noise-aware models)来获得准确的梯度&#xff0c;或使用最终生成的一步去噪近似&#xff0c;这会导致梯度错位(misaligned gradients)和次优控制(sub-optimal control)。 梯度错位…
阅读更多...
基础数据结构之堆栈

基础数据结构之堆栈

堆栈的定义、入栈、出栈、查询栈顶 #include <stdio.h> #include <stdlib.h>typedef int DataType;// 定义栈节点结构体 struct StackNode;struct StackNode {DataType data; // 节点数据struct StackNode* next; // 指向下一个节点的指针 };// 定…
阅读更多...
不用下载就可以使用的三个在线抠图网站

不用下载就可以使用的三个在线抠图网站

字图像处理技术的发展&#xff0c;抠图已经成为一项重要的技术。在许多情况下&#xff0c;我们需要将图片中的某一部分抠出来&#xff0c;例如将人物从背景中抠出&#xff0c;或者将产品从图片中抠出。传统的抠图方法需要使用专业的图像处理软件&#xff0c;如Photoshop等&…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023