为了方便大家理解我们边模拟实现vector容器的常用操作,然后根据代码讲解如何使用vector的这些功能,这样的话相信可以帮助大家更好的理解vector.
目录
一.vector的介绍
什么是vector以及同其他容器相比的优缺点:
1. vector是表示可变大小数组的序列容器.(因此其空间存在于堆上)
2. 就像数组一样,vector也采用的连续存储空间来存储元素,也就是意味着可以采用下标对vector的元素进行访问,和数组一样高效,但是又不像数组,它的大小是可以动态改变的,而且它的大小会被容器自动处理.(在我们向vector中插入元素的时候,该容器会在代码中判断容器的空间是否够用,不够则要进行扩容)
3. 本质讲,vector使用动态分配数组来存储它的元素,当新元素插入时候,这个数组需要被重新分配大小为了增加存储空间,其做法是,分配一个新的数组,然后将全部元素移到这个数组,就时间而言,这是一个相对代价高的任务,因此每当一个新的元素加入到容器的时候,vector并不会每次都重新分配大小.
4. vector分配空间策略: vector会分配一些额外的空间以适应可能的增长,因为存储空间比实际需要的存储空间更大,不同的库采用不同的策略权衡空间的使用和重新分配,但是无论如何,重新分配都应该是对数增长的间隔大小,以至于在末尾插入一个元素的时候是在常数时间的复杂度完成的.
5. 因此,vector占用了更多的存储空间,为了获得管理存储空间的能力,以一种有效的方式动态增长.
6. 与其它动态序列容器相比 (deques, lists and forward_lists) vector在访问元素的时候更加高效,在末尾添加和删除元素相对高效,对于其它不在末尾的删除和插入操作,效率更低,比起lists和forward_lists统一的迭代器和引用更好.
7.使用时主要包含头文件: #include <vector>
上面这几点没看懂也没关系,我们接下来会对其进行一一讲解.
二.vector模拟实现的讲解
1.vector的模块分类
c++底层在实现vector的时候是将其分成5个模块进行实现(而我们也是针对这5个模块中常用的内容进行实现和讲解):
分别为:
1.构造函数.(主要实现我们使用vector如何创建时初始化数组和结束时销毁数组)
在c++98的文档中的相关声明:
2.迭代器.(STL中的迭代器主要就是为了方便我们对容器进行遍历和操作才出现的,切记不同的容器都拥有自己的迭代器,不同的容器迭代器也不同,而对于vector的迭代器我们可以将其看做一个原生态的指针,指向vector所创建出来的数组的不同位置.)
在c++98的文档中的相关声明:
3.容量相关操作.(主要有获取数组的容量大小,数组的有效元素个数,判断数组是否为空,对数组进行手动扩容,改变数组的有效元素个数等等操作)
在c++98的文档中的相关声明:
4.访问数组元素.(对[ ]进行重载,让我们在使用vector的时候可以很方便的访问数组元素).
在c++98的文档中的相关声明:
5.数组中元素的修改.(主要包括了增删改查等方面的操作,查在上面模块已经出现,这里就不进行讲解了)
在c++98的文档中的相关声明:
2.模拟实现时vector的定义及成员变量.
我们得先了解一下vector模拟实现时的框架,这样才可以帮助我们更好的理解下面的内容.
1.在其中我们针对vector的5个模块的相关操作函数进行了声明,之后则会进行分别实现和讲解.
2.因为vector是一个可以针对于各个类型数据存储的容器,因此我们采用模板类的方式进行编写.(将数据的类型作为模板参数)
3.我们所实现的vector的类名是和c++系统中的vector冲突的,因此我们将其放到自己的命名空间中进行实现.
namespace lz {
template<class T>
class vector {
public:
// Vector的迭代器是一个原生指针
typedef T* iterator;
typedef const T* const_iterator;
iterator begin();
iterator end();
const_iterator cbegin() const;
const_iterator cend() const;
// construct and destroy
vector();
vector(int n, const T& value = T());
template<class InputIterator>
vector(InputIterator first, InputIterator last);
vector(const vector<T>& v);
vector<T>& operator= (vector<T> v);
~vector();
// capacity
size_t size() const;
size_t capacity() const;
void reserve(size_t n);
void resize(size_t n, const T& value = T());
///access///
T& operator[](size_t pos);
const T& operator[](size_t pos)const;
///modify/
void push_back(const T& x);
void pop_back();
void swap(vector<T>& v);
iterator insert(iterator pos, const T& x);
iterator erase(iterator pos);
void output();
private:
iterator _start; // 指向数据块的开始
iterator _finish; // 指向有效数据的尾
iterator _endOfStorage; // 指向存储容量的尾
};
}
三.vector的迭代器
1.T*和const T*
对T*和const T*这两个原生态指针类型我们就可以将其看做迭代器类型(在存储空间连续的容器中大都如此),首先将这两个重命名方便我们后续的使用,并与c++系统的vector保持一致.
typedef T* iterator;
typedef const T* const_iterator;
2.begin()和end()
我们使用begin()函数会返回一个指向容器首元素的迭代器,而使用end()则会返回一个指向容器最后一个元素后一位的迭代器.(因为vector中的迭代器等同于原生态的指针,因此迭代器指向某个元素则意味着其存储着这个元素的地址)
iterator begin() {
return _start;
}
iterator end() {
return _finish;
}
3.cbegin()和cend()
这里的cbegin()和cend()和我们前面看到的begin()和end()相同,区别在于其返回值类型,前面的是普通类型,而这里返回的则是const类型,只允许访问,不能修改.
const_iterator cbegin() const {
return _start;
}
const_iterator cend() const {
return _finish;
}
注意:
我们使用迭代器进行容器的相关操作虽然很方便,但是必须要注意迭代器失效的问题,在后面我们会根据实例,对vector中的迭代器失效问题进行一一讲解.
四.vector构造函数
1.无参的构造函数
a.说明:
我们使用vector<int> a; 创建一个对象a时,编译器会调用其构造函数对该对象进行初始化,三个指针都指向同一块空间,此时空间中没有元素,因为我们要求的是_start指向第一个元素,_finish指向最后一个元素的后一位,而这里_start和_finish在同一个位置,那我们就认为容器中元素个数为0.(_endOfStorage指向空间的最后一位)
b.测试:
代码: lz::vector<int> a1;
c.运行结果:
我们可以看到此时: a1中三个指针的值相同,说明其都指向同一块空间.
vector()
:_start(nullptr)
,_finish(nullptr)
,_endOfStorage(nullptr)
{
_start = new T[1];
_finish = _start;
_end