【C++ STL】手撕vector,深入理解vector的底层

于 2024-10-05 21:18:38 发布
阅读量352 收藏 11
点赞数 21
分类专栏： STL 文章标签： c++ 开发语言 数据结构 vector 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/2301_80176226/article/details/142686684
版权

vector的模拟实现

前言

vector是一个类模板,它本质是一个顺序表,通过我们之前的学习,我们一般会这样来定义一个顺序表:

template<class T>
class vector
{
	T* _a;
	size_t _size;
	size_t _capacity;
};

这种定义方式当然是可以的,但是我们通过看P.J.版本的stl的源码会发现,其中对vector的定义大概是这样的:

template<class T>
class vector
{
public:
	typedef T* iterator;
	typedef const T* const_iterator;
	private:
		iterator _start = nullptr;
		iterator _finish = nullptr;// 最后一个元素的下一个位置
		iterator _end_of_storage = nullptr;//当前容量的下一个位置
	};

他是通过三个指针来维护这个顺序表的,我们这篇博客也是采用这种定义方式来实现一个简易版vector的.

一.默认成员函数

1.1常用的构造函数

1.1.1默认构造函数

默认构造是实现一个空的vector，不分配任何内存。
代码实现:

vector():_start(nullptr),_finish(nullptr),_end_of_storage(nullptr){}
size_t size() const
{
	return _finish - _start;
}

size_t capacity() const
{
	return _end_of_storage - _start;
}

测试用例:

int main()
{
	vector<int> v;

	cout << "size:" << v.size() << endl;
	cout << "capacity:" << v.capacity() << endl;
	return 0;
}

输出结果:

size:0
capacity:0

1.1.2 n个 val值的构造函数

初始化一个vector,其中用n个val值得对象来填充.
代码示例:

		void reserve(size_t n)  
		{
			if (n > capacity())
			{
				size_t oldsize = size();

				T* tmp = new T[n];
				if (_start)
				{
					//不可以这样写,因为如果vector中存的类型是自定义类型,存在浅拷贝的问题
					//memcpy(tmp, _start, sizeof(T) * size());

					for (size_t i = 0; i < oldsize; i++)
					{
						tmp[i] = _start[i];
					}
					delete[] _start;
				}
					_start = tmp;
					_finish = _start + oldsize;
					_end_of_storage = _start + n;
			}
		}
		
		void push_back(const T& x)
		{
			if (_finish == _end_of_storage)
			{
				size_t newcapacity = capacity() == 0 ? 4 : capacity() * 2;
				reserve(newcapacity);
			}

			*_finish = x;
			++_finish;
		}
		
		vector(size_t n, const T& val = T())
		{
			//考虑到扩容带来的效率低下问题,我们可以提前开好足够大的空间
			reserve(n);
			for (size_t i = 0; i < n; i++)
			{
				push_back(val);
			}
		}

测试用例:

int main()
{
	vector<int> v2(10 , 1);
	cout << "size:" << v2.size() << endl;
	cout << "capacity:" << v2.capacity() << endl;
	return 0;
}

输出结果:

size:10
capacity:10

1.1.3 迭代器区间构造

代码实现:

		template <class InputIterator>
		vector(InputIterator first, InputIterator last)
		{
			while (first != last)
			{
				push_back(*first);
				++first;
			}
		}

测试用例:

int main()
{
	string s1 = "aaaaaaa";
	vector<char> v3(s1.begin(), s1.end());
	return 0;
}

输出结果:
在这里插入图片描述

1.1.4 initializer_list 的构造

用一个初始化列表来构造
代码实现:

		vector(initializer_list<T> il)
		{
			reserve(il.size());
			for (const auto& e : il)
			{
				push_back(e);
			}
		}

测试用例:

int main()
{
	vector<int> v4{ 1,2,3,4,5,6,7,8,9 };
 	return 0;
}

输出结果:
在这里插入图片描述

1.2析构函数

析构函数:完成对象中的资源的回收清理,防止出现内存泄露.

代码实现:

		~vector()
		{
			delete[] _start;
			_start = _finish = _end_of_storage = nullptr;
		}

1.3拷贝构造函数

代码实现:

		vector(const vector<T>& v)
		{
			reserve(v.capacity());
			for (auto e : v)
			{
				push_back(e);
			}
		}

测试用例:

int main()
{	
	vector<int> v4{ 1,2,3,4,5,6,7,8,9 };
	vector<int> v5 = v4;
	return 0;
}

输出结果:
在这里插入图片描述

1.4赋值运算符重载

代码实现:

		void swap(vector<int>& v)
		{
			std::swap(_start, v._start);
			std::swap(_finish, v._finish);
			std::swap(_end_of_storage, v._end_of_storage);

		}
		//依旧是熟悉的现代写法
		vector<T>& operator=(vector<T> v)
		{
			swap(v);
			return *this;
		}

这里复用的是拷贝构造,拷贝构造我们已经测试过了没有什么问题,这里应该也是正常的,这里就不测试了.

二.元素的插入,删除,查找操作

2.1 operator[]重载函数

这里我们需要重载两个版本,一个是普通对象调用,另一个是const对象调用.
代码实现:

		T& operator[](size_t i)
		{
			assert(i < size());
			return _start[i];
		}

		const T& operator[](size_t i) const
		{
			assert(i < size());
			return _start[i];
		}

测试用例:

int main()
{
	vector<int> v1{ 1,2,3,4,5,6,7,8,9 };
	for (size_t i = 0; i < v1.size(); i++)
	{
		cout << v1[i] << " ";
	}
	cout << endl;
	return 0;
}

输出结果:

1 2 3 4 5 6 7 8 9

2.2 push_back函数:尾插一个元素

代码实现:

		void push_back(const T& x)
		{
			if (_finish == _end_of_storage)
			{
				size_t newcapacity = capacity() == 0 ? 4 : capacity() * 2;
				reserve(newcapacity);
			}

			*_finish = x;
			++_finish;
		}

测试用例:

int main()
{
 	vector<int> v1;
	v1.push_back(1);
	v1.push_back(2);
	v1.push_back(3);
	v1.push_back(4);
	v1.push_back(5);

	for (size_t i = 0; i < v1.size(); i++)
	{
		cout << v1[i] << " ";
	}
	cout << endl;
	return 0;
}

输出结果:

1 2 3 4 5

2.3 pop_back函数:尾删一个元素

实现思路:
1.将_finish指针向前移动一位，即删除最后一个元素。
2.当size已经为0,即vector中已经没有数据时,就不再删除.
代码实现:

		void pop_back()
		{
			assert(size() > 0);
			--_finish;
		}

测试用例:

int main()
{
	vector<int> v1;
	v1.push_back(1);
	v1.push_back(2);
	v1.push_back(3);
	v1.push_back(4);
	v1.push_back(5);

	for (size_t i = 0; i < v1.size(); i++)
	{
		cout << v1[i] << " ";
	}
	cout << endl;
	v1.pop_back();
	
	for (size_t i = 0; i < v1.size(); i++)
	{
		cout << v1[i] << " ";
	}
	cout << endl;
	return 0;
}

输出结果:

1 2 3 4 5
1 2 3 4

2.4 insert函数:指定位置插入元素

这里需要注意迭代器失效的问题,如果不了解什么是迭代器失效的小伙伴,可以去:vector ,里面有迭代器失效场景的详细介绍.
代码实现:

iterator insert(iterator pos, const T& x)
{
	assert(pos >= _start);
	assert(pos <= _finish);

	if (_finish == _end_of_storage)
	{
		size_t len = pos - _start;

		size_t newcapacity = capacity() == 0 ? 4 : capacity() * 2;
		reserve(newcapacity);

		pos = _start + len;
	}

	iterator end = _finish - 1;
	while (end >= pos)
	{
		*(end + 1) = *end;
		--end;
	}

	*pos = x;
	++_finish;
	return pos;
}

测试用例:

int main()
{
	vector<int> v1;
	v1.push_back(1);
	v1.push_back(2);
	v1.push_back(3);
	v1.push_back(4);
	v1.push_back(5);
	
	for (size_t i = 0; i < v1.size(); i++)
	{
		cout << v1[i] << " ";
	}
	cout << endl;
	
	v1.insert(v1.begin() + 2, 1000);
	for (size_t i = 0; i < v1.size(); i++)
	{
		cout << v1[i] << " ";
	}
	cout << endl;
	return 0;
}

输出结果:

1 2 3 4 5
1 2 1000 3 4 5

2.5 erase:删除指定位置的元素

erase同样也要注意迭代器失效.我们要通过返回一个更新之后的迭代器来避免迭代器失效场景的出现.

代码实现:

		iterator erase(iterator pos)
		{
			assert(pos >= _start);
			assert(pos < _finish);

			iterator it = pos + 1;
			while (it < _finish)
			{
				*(it - 1) = *it;
				++it;
			}

			--_finish;

			return pos;
		}

测试用例:

int main()
{
		vector<int> v1;
		v1.push_back(1);
		v1.push_back(2);
		v1.push_back(3);
		v1.push_back(4);
		v1.push_back(5);

		for (size_t i = 0; i < v1.size(); i++)
		{
			cout << v1[i] << " ";
		}
		cout << endl;

		v1.erase(v1.begin() + 2);
		for (size_t i = 0; i < v1.size(); i++)
		{
			cout << v1[i] << " ";
		}
		cout << endl;
	}
	return 0;
}

输出结果:

1 2 3 4 5
1 2 4 5

三.front和back函数以及迭代器的实现

3.1 front函数: 获取第一个元素

代码实现:

		T& front()
		{
			assert(size() > 0);
			return _start[0];
		}

		const T& front() const
		{
			assert(size() > 0);
			return _start[0];
		}

3.2 back函数: 获取最后一个元素

代码实现:

		T& front()
		{
			assert(size() > 0);
			return _start[0];
		}

		const T& front() const
		{
			assert(size() > 0);
			return _start[0];
		}

3.3 begin和end函数

代码实现:

		iterator begin()
		{
			return _start;
		}

		const_iterator begin() const
		{
			return _start;
		}

		iterator end()
		{
			return _finish;
		}

		const_iterator end() const
		{
			return _finish;
		}

3.4 swap函数

代码实现:

		void swap(vector<int>& v)
		{
			std::swap(_start, v._start);
			std::swap(_finish, v._finish);
			std::swap(_end_of_storage, v._end_of_storage);

		}

希望对大家有所帮助,感谢观看!

VigorousVoyager‌
关注
专栏目录
C++手撕简易vector
2301_76219154的博客
08-03 752
本博文主要讲述手撕vector的实现
【C++标准库STL】实现简易vector（手撕vector）
weixin_43954810的博客
06-06 736
手撕C++标准库STL中的容器vector的简易版本。
【C++】手撕vector（vector的模拟实现）
小羊study_sheep的博客
10-01 1003
快来和我手撕vector！！
C++| STL之迭代器和vector
qq_40306845的博客
07-25 465
C++STL迭代器是介绍和使用，以及vector工具的理解和使用。
【C++初阶】一篇手撕vector类
2201_75642960的博客
08-21 1202
vector 是表示可变大小数组序列容器。就像数组一样，vector 也采用连续的存储空间来存储元素。也就意味着可以采用小标对 vector 的元素进行访问，和数组处理一样高效。但是又不像数组，它的大小是可以动态改变的，而且它的大小会被容器自动处理。本质讲，vector 使用动态分配数组来存储它的元素。当新元素插入时，为了增加存储空间，这个数组需要被重新分配大小。其做法是，分配一个新的数组，然后将全部元素移到这个数组。
【手撕STL】vector类
AI_ELF的博客
02-06 767
vector类标准库中的vector类vector的介绍vector的使用vector的定义vector iterator 的使用vector 增删查改vector的遍历vector 空间增长问题vector类的其他接口 标准库中的vector类 vector的介绍 vector是表示可变大小数组的序列容器。 就像数组一样，vector也采用的连续存储空间来存储元素。也就是意味着可以采用下标对vector的元素进行访问，和数组一样高效。但是又不像数组，它的大小是可以动态改变的，而且它的大小会被容器自动处理
手撕vector（简易版）
ccc_by的博客
08-06 170
【代码】手撕vector。
手撕大厂笔试之C++STL容器全家桶
QDQE232的博客
04-04 1428
个人介绍 各位CSDN的友友们，大家好，我是小熙，一个算法小透明，希望在CSDN的大舞台可以和大家一起取得进步（^_^） 个人现状：上个学期在学校的ACM小组学了一个学期的算法，但是世界很大，我的梦想很远，我希望在我年轻的时候可以走出国门，到世界的其他地方看一看，再加上我的算法功底可能真的不太足以支持我在ACM比赛上做出成绩。所以我选择逐渐淡出ACM小组，并把之前的知识整理成博客供大家分享。 学习算法的小方法：知道算法的基本原理——>知道代码实现——>总结出代码模板并熟练于心——>
STL之vector篇（下）（手撕底层代码，从零实现vector的常用指令，深度剖析并优化其核心代码）
suye050331的博客
09-26 1368
在编程的浩瀚星空中，数据结构如同指引方向的星辰，它们不仅是构建算法与程序大厦的基石，更是解决复杂问题、优化性能的关键所在。其中，vector作为C++标准模板库（STL）中的一颗璀璨明珠，凭借其灵活、高效的特点，在软件开发中占据了举足轻重的地位。vector，即向量容器，是一种能够存储任意类型对象的动态数组。它封装了动态数组的所有特性，包括自动的内存管理、灵活的元素访问方式以及高效的随机访问性能，同时还提供了丰富的成员函数来支持元素的插入、删除、遍历等操作。
C++面试题：介绍一下STL,STL如何实现vector
TOM的专栏
12-10 2789
STL（Standard Template Library），即标准模板库，是一个具有工业强度的，高效的C++程序库。它被容纳于C++标准程序库中，包括容器、算法、迭代器组件。 vector内部使用动态数组的方式实现的。如果动态数组的内存不够用，就要动态的重新分配，一般是当前大小的两倍，然后把原数组的内容拷贝过去。所以，在一般情况下，其访问速度同一般数组，只有在重新分配发生时，其性能才会下降。注
【手撕STL】stack&queue
AI_ELF的博客
02-19 633
stack&queue一级目录二级目录三级目录stack的介绍和使用stack的使用 一级目录 二级目录 三级目录 stack的介绍和使用 stack是一种容器适配器，专门用在具有后进先出操作的上下文环境中，其删除只能从容器的一端进行元素的插入与提取操作。 stack是作为容器适配器被实现的，容器适配器即是对特定类封装作为其底层的容器，并提供一组特定的成员函数来访问其元素，将特定类作为其底层的，元素特定容器的尾部(即栈顶)被压入和弹出。 stack的底层容器可以是任何标准的容器类模板或者一些其他特
【手撕STL】map和set
AI_ELF的博客
07-09 805
这里写目录标题setset的使用举例map三级目录 set set文档介绍 set是按照一定次序存储元素的容器 在set中，元素的value也标识它(value就是key，类型为T)，并且每个value必须是唯一的。set中的元素不能在容器中修改(元素总是const)，但是可以从容器中插入或删除它们。 在内部，set中的元素总是按照其内部比较对象(类型比较)所指示的特定严格弱排序准则进行排序。 set容器通过key访问单个元素的速度通常比unordered_set容器慢，但它们允许根据顺序对子集进行直接迭
使用socket编程来实现一个简单的C/S模型（TCP协议）
caiji0169的博客
10-02 1685
下图是基于TCP协议的客户端/服务器程序的一般流程：服务器调用socket()、bind()、listen()完成初始化后，调用accept()阻塞等待，处于监听端口的状态，客户端调用socket()初始化后，调用connect()发出SYN段并阻塞等待服务器应答，服务器应答一个SYN-ACK段，客户端收到后从connect()返回，同时应答一个ACK段，服务器收到后从accept()返回。数据传输的过程：建立连接后，TCP协议提供全双工的通信服务，但是一般的客户端/服务器程序的流程是由客户端主动发起请求，
【YOLOv8改进[SPPF]】使用SPPFCSPC替换SPPF模块 + 含全部代码和详细修改方式
静谧、淡雅
09-29 266
【YOLOv8改进[SPPF]】使用SPPFCSPC替换SPPF模块 + 含全部代码和详细修改方式
C++：图的最短路径问题
最新发布
han2205277149的博客
10-04 641
最短路径问题是图的一个比较典型的应用问题。例如，给定某公路网的n个城市以及这些城市之间相通公路的距离，能否找到城市A到城市B之间一条距离最近的通路呢？如果将城市用顶点表示城市间的公路用边表示，公路的长度作为边的权值，这个问题就归结为在网图中求顶点A和顶点B的最短路径。
C++的类型转换
2401_83427936的博客
09-27 1720
在自定义类型中重载string，这里涉及到文件的写入，string的str转c_str,弄成char类型才能插入直接重载int和bool的，就支持A转int值和bool了。这里加explcit不影响转换，更支持了与其他的相反，不加explcit，A不能转double，只能转int，加了就可以了。放宽了标准C++为了加强类型转换的可视性，引入了四种命名的强制类型转换操作符：static_cast用于非多态类型的转换（静态转换），编译器隐式执行的任何类型转换都可用。
AI驱动TDSQL-C Serverless数据库技术实战营--- 操作与电商可视分析
chasemydreamidea的博客
09-27 776
本文将基于腾讯云的高性能应用服务HAI和TDSQL-C MYSQL Serverless版构建AI电商数据分析系统。HAI作为一个面向AI和科学计算的GPU应用服务产品，它具有强大的计算能力，让复杂的AI模型的快速部署和运行的可行性加大，进而支持自然语言处理和图形生成等高级任务。TDSQL-C MYSQL版是一款云原生关系型数据库，其100%的MySQL兼容性，以及极致的弹性、高性能和高可用性，是电商业务中处理海量数据存储和查询的理想选择。本文实践除了使用TDSQL-C MYSQL外，通过python语言和
【C++】stack和queue的使用及注意事项
wangnaisheng的专栏
09-28 659
【C++】stack和queue的使用及注意事项
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值