C++——vector的使用及其模拟实现

vector的使用及其模拟实现

文章目录

  • vector的使用及其模拟实现
  • 1. vector的使用
    • 1.1 构造函数construct
    • 1.2 获取当前存储的数据个数size()和最大容量capacity()
    • 1.3 访问
      • 1.3.1 operator[]运算符重载
      • 1.3.2 迭代器访问
      • 1.3.3 范围for
    • 1.4 容量相关reserve()和resize()
    • 1.5 增（插入数据）
      • 1.5.1 push_back() 尾插
      • 1.5.2 insert() 随机插入
    • 1.6 删（删除数据）
      • 1.6.1 pop_back() 尾删
      • 1.6.2 erase() 随机删除
  • 2. 模拟实现
    • 2.1 vector的内部结构
    • 2.2 部分细节的说明
      • 2.2.1 C++对内置类型的”升级“
      • 2.2.2 迭代器失效
      • 2.2.3 memcpy的浅拷贝问题
    • 2.3 模拟实现代码：

本章思维导图：
在这里插入图片描述注：本章思维导图对应的 .png文件已同步导入至 资源，可免费下载查阅。

1. vector的使用

template < class T, class Alloc = allocator<T> > class vector; // generic template
  • vector也是STL中的一大容器
  • 可以将vector视为C语言的顺序表
  • 他是一个类模板，因此在使用之前需要先用一个具体的类型对其进行实例化。例如vector<int>、vector<string>

1.1 构造函数construct

以下三种构造方式较为常用：

//用n个value构造
explicit vector (size_type n, const value_type& val = value_type(),const allocator_type& alloc = allocator_type());//用一段迭代器区间构造
template <class InputIterator>vector (InputIterator first, InputIterator last,const allocator_type& alloc = allocator_type());//用另一个vector拷贝构造
vector (const vector& x);

注：

迭代器是一个用来访问容器数据的对象，其提供了统一的方式来遍历容器中的数据

  • 对于vector类，我们可以将迭代器看成一个指针，其指向vector对象存储的某个数据
  • 我们可以通过迭代器来访问或者修改容器中的数据

使用示例：

#include <iostream>
#include <vector>using namespace std;int main()
{int a[] = { 1,2,3,4,5 };vector<int> v1(a, a + 5);	//可以认为只想一段连续空间的指针也是一个迭代器vector<string> v2(3, "111");	//三个字符串"111"构造vector<int> v3(v1);		//v1拷贝构造v3cout << "v1: ";for (auto& e : v1)cout << e << " ";cout << endl;cout << "v2: ";for (auto& e : v2)cout << e << " ";cout << endl;cout << "v3: ";for (auto& e : v3)cout << e << " ";cout << endl;return 0;
}

output:

v1: 1 2 3 4 5
v2: 111 111 111
v3: 1 2 3 4 5

1.2 获取当前存储的数据个数size()和最大容量capacity()

size_type size() const;	//获取存储的数据个数size_type capacity() const;	//获取最大容量

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v(5, 1);cout << "size: " << v.size() << endl;cout << "capacity: " << v.capacity() << endl;return 0;
}

output:

size: 5
capacity: 5

1.3 访问

1.3.1 operator[]运算符重载

      reference operator[] (size_type n);	//返回数据的引用
const_reference operator[] (size_type n) const;
  • 有了[]这个运算符的重载，我们就可以像利用下标访问数组那样来访问vector容器的数据了
  • 同时对于非const对象，我们还可以在访问的同时对其进行修改

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v({1,2,3});for (int i = 0; i < v.size(); i++)cout << ++v[i] << " ";cout << endl;return 0;
}

output:

2 3 4

1.3.2 迭代器访问

  • 由于vector存储的是一段连续的地址空间，因此我们可以将他的迭代器看作是一个指针
  • 同其他容器一样，vector也有正向迭代器和反向迭代器

正向迭代器：

      iterator begin();
const_iterator begin() const;iterator end();
const_iterator end() const;
  • begin()返回的迭代器指向vector存储的第一个元素，end()返回的迭代器返回指向vector存储的最后一个元素的后一个位置
  • 所以，begin(), end()包含的空间实际上是一个左闭右开的区间

在这里插入图片描述

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v({ 1,2,3 });vector<int>::iterator it = v.begin();while (it != v.end()){(*it)++;cout << *it << " ";it++;}cout << endl;return 0;
}

反向迭代器：

      reverse_iterator rbegin();
const_reverse_iterator rbegin() const;reverse_iterator rend();
const_reverse_iterator rend() const;
  • rbegin()返回的迭代器指向vector存储的最后一个元素，rend()返回的迭代器指向vector存储的第一个元素的前一个位置
  • rbegin(), rend()同样也是一个左闭右开区间

在这里插入图片描述

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v({ 1,2,3 });vector<int>::reverse_iterator it = v.rbegin();while (it != v.rend()){cout << *it << " ";it++;}cout << endl;return 0;
}

output:

3 2 1

1.3.3 范围for

范围for的内核实际上就是迭代器访问，只是书写起来较为方便简洁

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v({ 1,2,3 });for (auto& e : v)cout << e << " ";cout << endl;return 0;
}

output:

1 2 3

1.4 容量相关reserve()和resize()

void reserve (size_type n);void resize (size_type n, value_type val = value_type());

这里需要注意区分这两者的区别（VS 2019下）：

reserve：

  • 如果n < capacity，那么该函数将不会做任何处理
  • 如果n > capacity，reserve()只会为该容器重新开辟一块大小为n的空间，并将原来的capacity置为n，但并不会实际的创建对象（插入数据），即既不会改变原来的数据也不会加入新的数据。

resize：

  • 如果n < size，那么该函数就会只保留容器的前n个数据，但并不会影响capacity
  • 如果n > size && n <= capacity，那么该函数就会将后面n - size个空间初始化为val
  • 如果n > capacity，那么该函数首先会将capacity置为n，再进行初始化

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v(5, 1);for (auto& e : v)cout << e << " ";cout << endl;cout << "size: " << v.size() << endl;cout << "capacity: " << v.capacity() << "\n\n";v.reserve(1);cout << "after reserve(1)" << endl;cout << "size: " << v.size() << endl;cout << "capacity: " << v.capacity() << "\n\n";v.reserve(9);cout << "after reserve(9)" << endl;for (auto& e : v)cout << e << " ";cout << endl;cout << "size: " << v.size() << endl;cout << "capacity: " << v.capacity() << "\n\n";v.resize(1);cout << "after resize(1)" << endl;for (auto& e : v)cout << e << " ";cout << endl;cout << "size: " << v.size() << endl;cout << "capacity: " << v.capacity() << "\n\n";v.resize(11, 8);cout << "after resize(1)" << endl;for (auto& e : v)cout << e << " ";cout << endl;cout << "size: " << v.size() << endl;cout << "capacity: " << v.capacity() << "\n\n";return 0;
}

output:

1 1 1 1 1
size: 5
capacity: 5after reserve(1)
size: 5
capacity: 5after reserve(9)
1 1 1 1 1
size: 5
capacity: 9after resize(1)
1
size: 1
capacity: 9after resize(1)
1 8 8 8 8 8 8 8 8 8 8
size: 11
capacity: 13

1.5 增（插入数据）

1.5.1 push_back() 尾插

void push_back (const value_type& val);

vector的尾插就和顺序表的尾插一样，就是在最后面新增一个数据

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v;v.push_back(1);v.push_back(2);v.push_back(3);for (auto& e : v)cout << e << " ";cout << endl;return 0;
}

output:

1 2 3

1.5.2 insert() 随机插入

iterator insert (iterator position, const value_type& val);
  • 这里需要注意，和顺序表不同的是，position表示插入的位置，但是这里不是一个整数，而是一个迭代器。

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v(5, 1);v.insert(v.begin() + 1, 22);for (auto& e : v)cout << e << " ";cout << endl;return 0;
}

output:

1 22 1 1 1 1

1.6 删（删除数据）

1.6.1 pop_back() 尾删

void pop_back();
  • 该函数功能十分简单，就是删除vector的最后一个数据

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v({ 1,2,3 });v.pop_back();for (auto& e : v)cout << e << " ";cout << endl;return 0;
}

output:

1 2

1.6.2 erase() 随机删除

iterator erase (iterator position);
  • 和insert一样，position表示要删除的元素的位置，同样是一个迭代器

例如：

#include <iostream>
#include <vector>using namespace std;int main()
{vector<int> v({ 1,2,3 });v.erase(v.begin() + 1);for (auto& e : v)cout << e << " ";cout << endl;return 0;
}

output:

1 3

2. 模拟实现

2.1 vector的内部结构

  • 和C语言的顺序表不同，vector的内部并不是由一个指针start再加上两个整数size和capacity来实现的
  • 实际上，vector是靠三个迭代器来实现对数据的维护的：
template<class T>
class vector
{
private:        iterator _start = nullptr; // 指向数据块的开始iterator _finish = nullptr; // 指向有效数据的尾iterator _endOfStorage = nullptr; // 指向存储容量的尾
}

2.2 部分细节的说明

2.2.1 C++对内置类型的”升级“

在模拟实现中，在写插入函数的形参时，一般会这样写：

void push_back(const T& x = T())

我们知道，T()这样的对象我们称其为匿名对象。但是有些小伙伴就会有疑惑了：

vector、string这种自定义类型好说，他们有构造函数，但如果T是int这种内置类型呢，难道它们也有自己的构造函数吗？

答案确实如此，为了适应类和对象，我们可以认为C++对内置了类型进行了”升级“，使它们也有自己的构造函数。

例如：

#include <iostream>
using namespace std;int main()
{int a = int();double b = double();cout << a << endl;cout << b << endl;return 0;
}

output:

0
0

2.2.2 迭代器失效

首先，让我们先来看看reserve()的模拟实现：

void reserve(size_t n)
{if (n > capacity()){int length = size();T* tmp = new T[n];for (int i = 0; i < length; i++){tmp[i] = *(_start + i);}delete[] _start;_start = tmp;_finish = _start + length;_endOfStorage = _start + n;}
}

可以看到，这段代码的逻辑是：先new一块大小为n的空间，再将原来的数据复制过来，最后再释放原来的空间。如图：

在这里插入图片描述

接着，我们再来看看insert()的模拟实现：

iterator insert(iterator pos, const T& x = T())
{assert(pos <= end());assert(pos >= begin());//如果满了，就进行扩容if (_finish == _endOfStorage){size_t len = pos - begin();reserve(capacity() == 0 ? 1 : 2 * capacity());pos = begin() + len;}//将pos及其之后的元素向后移动一个auto end = _finish;while (end > pos){*end = *(end - 1);end--;}//插入*pos = x;_finish++;return pos;
}

可能有小伙伴对扩容部分的代码不是很理解：

扩容就扩容，为什么还要改变pos呢？

这里就涉及到迭代器失效的问题了：

pos是一个迭代器，其指向原始数据的某一个位置。但是如果要进行扩容操作，由上面的分析可以知道，如果要进行扩容，那么原始数据就会被释放，这就会导致pos这个迭代器就会变成一个野指针。

在这里插入图片描述

因此，需要先记录pos和_start的相对位置，扩容之后再对pos进行更新。

如果你认为这样就万无一失，那就大错特错了，我们可以来看一看下面的代码，看看结果如何：

#include <iostream>
#include <vector>
using namespace std;int main()
{vector<int> v({ 1,2,3,4 });vector<int>::iterator it = v.begin();cout << v.capacity() << "\n";v.insert(it, 100);cout << v.capacity() << "\n";cout << *it << "\n";return 0;
}

我们来进行调试：

在这里插入图片描述

可以发现，竟然还是有错误。并且，这也是一个迭代器失效的问题，也就说it这个迭代器失效了。为什么？

其实原因和上面所说的pos类似，因为扩容之后原来的空间和数据都被释放了，指向原来数据的迭代器it也就成为了野指针。

事实上，函数erase()也可能存在和insert()类似的迭代器失效的问题。因此，为了避免迭代器失效带来的影响，我们得遵循以下原则

凡是insert()或者erase()过的迭代器都不要使用

2.2.3 memcpy的浅拷贝问题

继续回到函数reserve()的实现：

void reserve(size_t n)
{if (n > capacity()){int length = size();T* tmp = new T[n];for (int i = 0; i < length; i++){tmp[i] = *(_start + i);}delete[] _start;_start = tmp;_finish = _start + length;_endOfStorage = _start + n;}
}

有同学会问：

for (int i = 0; i < length; i++) tmp[i] = *(_start + i);这段代码我可以用库函数memcpy()来替换吗

答案是不行。

假设替换为memcpy()，那我们来看下面代码的运行结果：

void reserve(size_t n)
{if (n > capacity()){int length = size();T* tmp = new T[n];memcpy(tmp, _start, sizeof(T) * length);delete[] _start;_start = tmp;_finish = _start + length;_endOfStorage = _start + n;}
}
void push_back(const T& x = T())
{if (_finish == _endOfStorage){reserve(capacity() == 0 ? 1 : 2 * capacity());}*_finish = x;_finish++;
}int main()
{vector<string> v2;v2.push_back("111");v2.push_back("111");v2.push_back("111");v2.push_back("111");v2.push_back("111");for (auto& e : v2)cout << e << " ";cout << endl;return 0;
}

我们来进行调试：

在这里插入图片描述

竟然在插入的时候就出问题了，这是为啥？

让我们来进行分析：

  • 众所周知，一个string对象可以由三部分构成：指向存储的字符序列的指针str、size、capacity
  • memcpy()拷贝的方式，是将每个字节的内容从源拷贝到目的地，是一种浅拷贝方式
  • 对于两个整数size和capacity自然没有大碍。但是对于一个指向了具体内容的指针，发生浅拷贝就意味着两个指针会指向相同的区域
  • 而扩容后原来的空间及其数据就会销毁，这就会使新的str成为野指针。之后当进行delete[]操作时就会触发释放野指针这一操作，从而报错。

在这里插入图片描述

2.3 模拟实现代码：

如有错误，欢迎指正

#pragma once
#include <iostream>
#include <vector>
#include <assert.h>using namespace std;namespace TEST
{template<class T>class vector{public:// Vector的迭代器是一个原生指针typedef T* iterator;typedef const T* const_iterator;iterator begin(){return _start;}iterator end(){return _finish;}const_iterator begin() const{return _start;}const_iterator end() const{return _finish;}// construct and destroyvector(){}vector(int n, const T& value = T()){resize(n, value);}template<class InputIterator>vector(InputIterator first, InputIterator last){while (first != last){push_back(*first);first++;}}vector(const vector<T>& v){reserve(v.size());for (auto& e : v){push_back(e);}}vector<T>& operator= (vector<T> v){swap(v);return *this;}~vector(){delete[] _start;}// capacitysize_t size() const{return _finish - _start;}size_t capacity() const{return _endOfStorage - _start;}void reserve(size_t n){if (n > capacity()){int length = size();T* tmp = new T[n];for (int i = 0; i < length; i++){tmp[i] = *(_start + i);}delete[] _start;_start = tmp;_finish = _start + length;_endOfStorage = _start + n;}}void resize(size_t n, const T& value = T()){if (n <= size()){_finish = _start + n;}else{reserve(n);while (_finish < _start + n){*_finish = value;_finish++;}}}///access///T& operator[](size_t pos){assert(pos < size());return _start[pos];}const T& operator[](size_t pos)const{assert(pos < size());return _start[pos];}///modify/void push_back(const T& x = T()){if (_finish == _endOfStorage){reserve(capacity() == 0 ? 1 : 2 * capacity());}*_finish = x;_finish++;}void pop_back(){assert(_start != _finish);_finish--;}void swap(vector<T>& v){std::swap(v._start, _start);std::swap(v._finish, _finish);std::swap(v._endOfStorage, _endOfStorage);}iterator insert(iterator pos, const T& x = T()){assert(pos <= end());assert(pos >= begin());size_t len = pos - begin();if (_finish == _endOfStorage){reserve(capacity() == 0 ? 1 : 2 * capacity());pos = begin() + len;}auto end = _finish;while (end > pos){*end = *(end - 1);end--;}*pos = x;_finish++;return pos;}iterator erase(iterator pos){assert(pos < end());assert(pos >= begin());auto end = pos + 1;while (end != _finish){*(end - 1) = *end;end++;}_finish--;return pos;}private:        iterator _start = nullptr; // 指向数据块的开始iterator _finish = nullptr; // 指向有效数据的尾iterator _endOfStorage = nullptr; // 指向存储容量的尾};
}

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

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

相关文章

数学建模常见算法的通俗理解（1）

数学建模常见算法的通俗理解（1）

目录 1.层次分析法&#xff08;结合某些属性及个人倾向&#xff0c;做出某种决定&#xff09; 1.1 粗浅理解 1.2 算法过程 1.2.1 构造判断矩阵 1.2.2 计算权重向量 1.2.3 计算最大特征根 1.2.4 计算C.I.值 1.2.5 求解C.R.值 1.2.6 判断一致性 1.2.7 计算总得分 2 神经…
阅读更多...
postman自动化接口测试

postman自动化接口测试

背景描述 有一个项目要使用postman进行接口测试&#xff0c;接口所需参数有&#xff1a; appid: 应用标识&#xff1b;sign&#xff1a;请求签名&#xff0c;需要使用HMACSHA1加密算法计算&#xff0c;签名串是&#xff1a;{appid}${url}${stamp}&#xff1b;stamp&#xff1…
阅读更多...
AcWing 102：最佳牛围栏 ← 二分+前缀和

AcWing 102：最佳牛围栏 ← 二分+前缀和

【题目来源】https://www.acwing.com/problem/content/104/【题目描述】 农夫约翰的农场由 N 块田地组成&#xff0c;每块地里都有一定数量的牛&#xff0c;其数量不会少于 1 头&#xff0c;也不会超过 2000 头。 约翰希望用围栏将一部分连续的田地围起来&#xff0c;并使得围起…
阅读更多...
JNI实例-Java和C互调

JNI实例-Java和C互调

目录 1. 背景2. Java调C-Demo代码JNI.javaMainActivity.javaAndroid.mkApplication.mkcom_stone_javacallc_JNI.hjavacallc.cbuild.gradle 3. C调Java-Demo代码3.1 查看JNI代码方法签名的方法3.2 代码结构3.3 JNI.class3.4 MainActivity.class3.5 Android.mk3.6 Application.mk…
阅读更多...
把Mybatis Generator生成的代码加上想要的注释

把Mybatis Generator生成的代码加上想要的注释

1 前言 在日常开发工作中&#xff0c;我们经常用Mybatis Generator根据表结构生成对应的实体类和Mapper文件。但是Mybatis Generator默认生成的代码中&#xff0c;注释并不是我们想要的&#xff0c;所以一般在Generator配置文件中&#xff0c;会设置不自动生成注释。带来的问题…
阅读更多...
全职技术开发外包2023年终复盘（开篇）

全职技术开发外包2023年终复盘（开篇）

掐指一算&#xff0c;我在技术外包的涛涛江水中搏浪前行已有一年半的时间。这期间&#xff0c;我逐渐完成了自我身份的认同&#xff0c;并冠以名号&#xff1a;野生码农一灯&#xff0c;醉心于帮助小企业用技术解决各种问题。 这一年半的时间&#xff0c;唏嘘与庆幸交错。唏嘘…
阅读更多...
通过代理如何调通openai的api

通过代理如何调通openai的api

调通openai的api 一、前提二、通过curl调通openai的api三、通过python调通openai的api 一、前提 会魔法上网本地运行代理软件&#xff0c;知道端口号&#xff08;如1081&#xff09;。 127.0.0.1:1081二、通过curl调通openai的api 如果在国外&#xff0c;没有qiang&#xff…
阅读更多...
（2024，VMamba，交叉扫描，线性复杂度，全局感受野，动态权重）视觉状态空间模型

（2024，VMamba，交叉扫描，线性复杂度，全局感受野，动态权重）视觉状态空间模型

VMamba: Visual State Space Model 公和众和号&#xff1a;EDPJ&#xff08;进 Q 交流群&#xff1a;922230617 或加 VX&#xff1a;CV_EDPJ 进 V 交流群&#xff09; 目录 0. 摘要 3. 方法 3.1 基础概念 3.2 2D 选择性扫描 3.3 VMamba 模型 3.3.1 整体架构 3.3.2 VSS…
阅读更多...
无偿分享一个很有用的看源码小技巧

无偿分享一个很有用的看源码小技巧

怎么在 idea 里面查看 git 提交记录呢&#xff1f;这个界面是藏在哪里的呢&#xff0c;我的 idea 里面怎么没有呢&#xff1f; 好的&#xff0c;是我疏忽了&#xff0c;我先入为主的认为这个大家应该都知道是怎么来的。 但是确实是有一些同学是不太清楚的&#xff0c;那我这篇…
阅读更多...
【控制篇 / 分流】(7.4) ❀ 02. 对不同运营商IP网段访问进行分流 ❀ FortiGate 防火墙

【控制篇 / 分流】(7.4) ❀ 02. 对不同运营商IP网段访问进行分流 ❀ FortiGate 防火墙

【简介】公司有两条宽带用来上网&#xff0c;一条电信&#xff0c;一条联通&#xff0c;访问常用的某些网站速度时快时慢。领导要求&#xff0c;根据上网流量的目标运营商IP归属&#xff0c;将流量送到相应的运营商出口去&#xff0c;避免跨运营商上网。那么应该怎么做&#xf…
阅读更多...
Python中二维数据(数组、列表)索引和切片的Bug

Python中二维数据(数组、列表)索引和切片的Bug

Python中有关数据结构索引和切片引起的Bug 一维数据索引和切片一维数组一维列表 二维数据的索引和切片二维数组二维(错误)列表 一维数据索引和切片 一维数组 对于一维数据进行索引和切片操作&#xff0c;大家都比较熟悉通过下面代码进行实现 import numpy as np data np.ra…
阅读更多...
三、基础篇 vue Class与Style绑定

三、基础篇 vue Class与Style绑定

操作元素的 class 列表和内联样式是数据绑定的一个常见需求。因为它们都是 attribute&#xff0c;所以我们可以用 v-bind 处理它们&#xff1a;只需要通过表达式计算出字符串结果即可。不过&#xff0c;字符串拼接麻烦且易错。因此&#xff0c;在将 v-bind 用于 class 和 style…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023