有关vector容器迭代器失效的问题

考虑到有些读者还未接触到迭代器的问题,笔者先简单介绍,方便后面讲述。

迭代器(iterator)是C++访问某个容器通用手段,它的用法十分像指针,这里以vetor为例子,

int main()
{
	vector<int> v2;
	vector<int>::iterator it = v2.begin();
	return 0;
}

begin是v2的成员函数,它返回一个指向数据首部的迭代器。有了begin,当然也有end,end一般用于循环遍历的判断,请下面一段代码。

int main()
{
	vector<int> v2;
	vector<int>::iterator it = v2.begin();
	while (it != v2.end())
	{
		cout << *it << endl;
		it++;
	}
	return 0;
}

可以看到,我们遍历容器的时候,迭代器的使用十分类似指针,可以对它解引用,也可以对它进行后置++,前置++。实际上,vector迭代器的底层就是它的原生指针,但并不代表着所有的容器迭代器都是原生指针,一般来说如果是连续存储的空间,像string和vector,就是原生的指针。

既然对于vector来说是原生的指针,那么它就会存在指针的一系列问题,比如空指针,野指针的问题。

而这些问题常见于我们对于vector的操作中,比如insert,erase。由于这些操作使得迭代器成为野指针,访问越界的问题,称为迭代器的失效

我们以insert函数为例,不妨先来了解insert函数的底层实现的原理。首先insert函数是插入函数,它需要考虑到空间是否已经存满的问题,如果没有存满,那就直接挪动数据然后插入,否则就需要重新开辟一块足够的空间,然后将原来的数据拷贝到新空间,最后挪动数据插入。

但是,开辟的新空间未必是在原空间的基础上在尾部增加空间,C++可没有类似realloc功能的函数,所以往往新空间都是另一块空间,这时如果我们已经存在了一个指向原空间的迭代器,就会导致换空间后的迭代器失效了,因为原空间已经被释放掉了。

下面我们在linux下测试一段代码,各位需要了解到,linux下vector的扩容机制是以二倍的方式扩容,也就是1,2,4.....。

请看这样一段代码,我们首先push了三个数据,用find的函数找到2所在的位置,返回给一个迭代器it。

然后我们不断尾插,很显然这时候当数据超过4个时候,vector就会扩容,按照我们所说的,它应该指向了新的一块空间,所以最后对it进行解引用访问是无效的越界访问。

 最后报了一堆的错误,说明确实出了越界访问的问题,当然在erase函数中也会存在类似的问题,这个留给各位读者。

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值