C/C++迭代器的失效问题详解

 更新时间:2022年03月27日 16:07:26   作者:贫僧爱用飘柔  
这篇文章主要为大家详细介绍了C/C++迭代器的失效问题,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下,希望能够给你带来帮助

前言

我今天在使用迭代器时发现了一个问题,这个问题就是我在使用的迭代器时发现莫名其妙的有越界访问和获取的位置跟预期不符,经过一天的排查我发现不是所有情况下会出现这种问题,而是在容器删除和扩容时会发生越界或结果和预期不符的情况。

下面是我今天做的一些代码测试:

Text1

该函数的功能是把数组里面的所有偶数删除,遍历方式使用的是迭代器。

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
int main()
 {
 	vector<int> v{ 1, 2, 3, 4, 5, 6 };
	auto it = v.begin();
 	while (it != v.end()) 
 	{
 		if (!(*it % 2)) 
		{
			v.erase(it);
 		}
		++it; 
	}

	return 0;
 }

当我运行起来时发现有越界访问和结果不符合预期这两种情况。

我们接着往下看下一个出问题的测试代码:

Test2

该函数的功能是想改变指定位置为30

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
int main(void)
{
 	vector<int> v{ 1, 2, 3, 4, 5 };
  	auto pos =find(v.begin(), v.end(), 3);
   	v.reserve(100);
    *pos = 30;
 	return 0;
}

当该程序运行起来我发现出现了越界问题!

上面的问题我思考了许久都没想明白于是我开始去网找答案我找了一天看了数篇文章,终于解开困扰我多天的问题出现上述情况是因为迭代器失效了!!! 。

迭代器失效

迭代器失效并不是说迭代器就是完全失效而是会出现以下两种情况:

1.迭代器的意义变了

2.迭代器完全失效

情况1是指迭代器没完全失效只是它表示的意义和原来的意思不同了,如果不做处理的话会导致运行结果会预期有偏差。如出现Test1那样的结果本来是想把所有偶数删掉结果迭代器失效了导致部分没删掉且还有越界访问风险。

那么,这种问题有什么较好的解决方案呢?其实很简单我们每次进行操作的时候都要更新下迭代器坐标即可

Test1修改后

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
int main()
 {
 	vector<int> v{ 1, 2, 3, 4, 5, 6 };
	auto it = v.begin();
 	while (it != v.end()) 
 	{
 		if (!(*it % 2)) 
		{
            //由于删除导致迭代器失效,所以我们重新更新下迭代器即可
			it = v.erase(it);
 		}
		else
        {
            //当迭代器不是偶数是才移动,如果所有情况都迭代的话会导致迭代器失效
			++it; 
        }
	}

	return 0;
 }

情况2是指迭代器完全不能用了,如果还坚持使用会发生越界访问,因为此时的迭代器已经是一个野指针了迭代器的底层都是一个指针来维护的,当迭代器完全失效意味着该迭代器成为了野指针。

Test2 是想修改指定位置的值,但是在修改前发生了一次扩容而该扩容就是导致迭代器失效的罪魁祸首,因为发生扩容的话原来的空间会被丢弃重新开辟一段内存来使用,而迭代器的底层是一个指针,它还指向之前的内存而该内存因为被释放了所以我们没有了使用权此时的迭代器也就成为了野指针。

那么,这种问题如何解决呢?其实和上一个问题的解决方案一样,当迭代器可能会发生变化时我们需要对迭代器进行一个更新确保它是有效的迭代器。

Test2修改后

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
int main(void)
{
 	vector<int> v{ 1, 2, 3, 4, 5 };
  	auto pos =find(v.begin(), v.end(), 3);
  	//扩容导致迭代器成为野指针
   	v.reserve(100);
   	//这时如果还想更改指定位置的值,那么我们需要进行一个迭代器的更新
  	pos =find(v.begin(), v.end(), 3);
    *pos = 30;
 	return 0;
}

总结

当使用迭代器时只要内存或迭代器会发生变化,那么我们需要对迭代器进行一次更新确保它每次操作都一定是有效的,从而避免迭代器失效造成的越界访问和预期不符的情况。

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注脚本之家的更多内容!    

相关文章

  • Qt中QScrollArea控件的实现

    Qt中QScrollArea控件的实现

    QScrollArea是Qt框架中用于提供一个滚动条区域,允许用户滚动查看比当前可视区域更大的内容的控件,本文主要介绍了Qt中QScrollArea控件的实现,感兴趣的可以了解一下
    2025-04-04
  • MATLAB中count函数用法示例代码

    MATLAB中count函数用法示例代码

    这篇文章主要介绍了MATLAB中的count函数,用于计算字符串中模式的出现次数,它可以处理单个模式和模式数组,并且可以忽略大小写,文中通过代码介绍的非常详细,需要的朋友可以参考下
    2025-02-02
  • C语言实现抢红包算法

    C语言实现抢红包算法

    这篇文章主要为大家详细介绍了C语言抢红包算法,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-09-09
  • C/C++程序设计的基本概念详解

    C/C++程序设计的基本概念详解

    这篇文章主要介绍了C++程序设计的基本概念详解,文中有非常详细的C语言使用教程及相关基础知识,对正在学习c语言的小伙伴们有非常好的帮助,需要的朋友可以参考下
    2021-09-09
  • Windows网络编程之winsock实现文件传输示例

    Windows网络编程之winsock实现文件传输示例

    这篇文章主要介绍了Windows网络编程之winsock实现文件传输示例,对于学习Windows网络程序设计来说具有很好的学习借鉴价值,需要的朋友可以参考下
    2014-08-08
  • QT圆形图像剪切功能实现

    QT圆形图像剪切功能实现

    这篇文章主要介绍了QT圆形图像剪切,实现代码包括剪切代码,完整QML源码,C++代码,代码简单易懂,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2022-10-10
  • C++异步操作future和aysnc与function和bind

    C++异步操作future和aysnc与function和bind

    这篇文章主要介绍了C++异步操作future和aysnc与function和bind,文章围绕主题展开详细的内容介绍,具有一定的参考价值,需要的小伙伴可以参考一下
    2022-09-09
  • C++设计模式之命令模式

    C++设计模式之命令模式

    这篇文章主要介绍了C++设计模式之命令模式,本文讲解了什么是命令模式、命令模式的使用场合等内容,并给出了一个代码实例,需要的朋友可以参考下
    2014-10-10
  • C语言数据结构堆的基本操作实现

    C语言数据结构堆的基本操作实现

    这篇文章主要为大家介绍了C语言数据结构堆的基本操作实现示例,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪
    2021-11-11
  • C++ std::make_unique和std::make_shared用法小结

    C++ std::make_unique和std::make_shared用法小结

    本文主要介绍了C++ std::make_unique和std::make_shared用法,使用std::make_unique和std::make_shared能够简化动态分配内存和构造对象的过程,提高代码的安全性和可读性,感兴趣的可以了解一下
    2023-11-11

最新评论