vector类
1、vector简介
vector是表示可变大小数组的序列容器。vector采用的是连续存储空间来存储元素的,可以像数组一样通过下标来对vector的元素来进行访问,非常高效;但是和数组不同的是,vector的大小是可以动态变化的,可以随着元素的增加容器会自动进行扩容处理。
2、vector的使用
2.1 vector的定义
首先我们来看一下使用vector的时候,都可以如何来进行定义。
构造函数 | 接口说明 |
---|---|
vector() | 无参构造 |
vector(size_type n, const value_type& val = value_type()) | 构造并初始化n个val |
vector(const vector& x) | 拷贝构造 |
vector(InputIterator first, InputIterator last) | 使用迭代器构造 |
2.2 vector的迭代器(iterator)的使用
iterator的使用 | 接口说明 |
---|---|
begin() + end() | begin()获取第一个数据位置的迭代器,end()获取最后一个数据的下一个位置的迭代器 |
rbegin()+rend() | rbegin()获取最后一个数据位置的迭代器,rend()获取第一个数据的前一个位置的迭代器 |
在vector中,迭代器可以理解为和数组中的指针一样。
2.3 vector空间增长
容量空间 | 接口说明 |
---|---|
size() | 获取数据个数 |
capacity() | 获取容量大小 |
empty() | 判断vector是否为空 |
resize() | 改变vector的有效长度size |
reserve() | 改变vector的空间容量capacity |
通过上面的代码,可以测试在不同编译器下的空间增长的情况。
在VS下:
在g++下:
在最开始如果不对v1中的空间进行初始化,它的容量和有效长度都是0;可以使用resize和reserve函数来改变v1的长度size和容量capacity。
2.4 vector的增删查改
vector增删查改 | 接口说明 |
---|---|
push_back | 尾插 |
pop_back | 尾删 |
insert | 在position之前插入val |
erase | 删除position位置的值 |
operator[] | 重载[]运算符,像数组一样访问 |
上面是对push_back、pop_back和[]运算符重载的测试。
上面是对insert和erase的测试。
3、迭代器的失效问题
迭代器的主要作用就是让算法能够不用关心底层数据结构,其底层实际就是一个指针,或者是对指针进行了封装。
vector的迭代器就是原生指针T*,因此迭代器失效,实际就是迭代器底层对应指针所指向的空间被销毁了,而使用一块已经被释放的空间。如果继续使用已经失效的迭代器,就可能会造成系统的崩溃。
3.1 底层空间的改变
会引起其底层空间改变的操作,都有可能是迭代器失效。比如:resize、reserve、insert、push_back等等。
比如上面这段代码,通过对v1进行拷贝构造了v3,然后通过resize对v3的元素进行了改变,此时v3的底层进行了扩容。而vector的扩容是重新开辟一块新的空间,释放掉原空间。而此时迭代器it还是指向原空间的地址,在后面通过it来打印v3中的内容,就会出现迭代器失效的情况。
这种情况编译器可能会报错,也可能不会。
上图可以看出,编译器并没有报错,但是it迭代器却非法访问了很多不属于自己的空间,并没有得到我们想要的结果。
3.2 指定位置删除操作
erase删除pos位置元素后,pos位置之后的元素会往前搬移,没有导致底层空间的改变,理论上讲迭代器不应该会失效,但是:如果pos刚好是最后一个元素,删完之后pos刚好是end的位置,而end位置是没有元素的,那么pos就失效了。
比如上面的这段代码,a数组中存放的是3个数,我们通过find函数找到了3的位置,此时处于最后一个元素,我们将其删除,此时我们如果打印pos1位置,此时应该是没有元素的。
此时我们可以看到,该位置还是把3打印了出来,因此此时迭代器已经失效。
3.3 解决方法
想要防止迭代器失效,那么就必须在迭代器底层空间或者元素改变之后及时更新迭代器,这样就会避免迭代器失效的问题。