C++初阶学习第十弹——探索STL奥秘(五)——深入讲解vector的迭代器失效问题

简介: C++初阶学习第十弹——探索STL奥秘(五)——深入讲解vector的迭代器失效问题

前言:

在前面我们已经学习了vector的使用和其模拟实现,相信也帮助我们了解了vector这个容器的基本规则,但其实在我们讲解的过程中,有一些知识点我们还没提到,今天,我们就专门来讲一下vector在使用和模拟实现的过程中一个容易出错的知识点——迭代器失效问题

一、vector的迭代器失效问题的本质

迭代器的作用就是能让我们忽略变量的类型,方便我们访问,其本质其实还是指针,类如对于vector的类型的,++后往后访问其实也是将指针改为指向下一个数据的指针,迭代器失效就是迭代器底层使用的指针指向的空间被释放了,这样再使用这个迭代器就会造成程序崩溃,这就是迭代器失效(迭代器失效也与编译环境有一定关系)

二、vector迭代器失效的原因

vector容器可能会发生迭代器失效的操作有以下几种:

1、引起底层空间改变的操作

比如resize、reserve、insert、assign、push_back等

例如:

#include<iostream>
#include<vector>
using namespace std;
 
int main()
{
  vector<int> v{ 1,2,3,4,5,6 };
  auto it = v.begin();
  while (it != v.end())
  {
    cout << *it << " ";
    ++it;
  }
  cout << endl;
  return 0;
}

对于这样一个程序,我们定义了一个v,并用迭代器来实现全部访问,运行结果如下:

在这个程序中,我们记录下了v的begin迭代器,并一步步向后走,从而实现遍历,但我们知道vector的本质上与顺序表是类似的, 它是在内存上找一段能放下当前数据的空间,但是当我们进行扩容等操作的时候的时候,可能原空间下就不够用了,就需要找一个新的位置开辟空间并且销毁旧空间,这个时候迭代器指向的位置就会发生变化,而it还记录的原来begin指向原来的那段空间,所以就会导致程序崩溃,出现迭代器失效的现象

例如(错误示范):

#include<iostream>
#include<vector>
using namespace std;
 
int main()
{
  vector<int> v{ 1,2,3,4,5,6 };
  auto it = v.begin();
  v.resize(100, 8);            //这里会扩容
  while (it != v.end())
  {
    cout << *it << " ";
    ++it;
  }
  cout << endl;
  return 0;
}

运行结果:

2、进行指定元素删除的时候—erase

当进行指定位置删除时,最终返回的是删除元素的位置,当我们访问这个位置的时候,如果删除元素后面还有值,那么就会往前挪,我们就能访问到元素,但是当删除位置pos位于最后一个元素时,删除后我们访问就会访问到begin(),就会越界

代码实例:

#include <iostream>
using namespace std;
#include <vector>
int main()
{
  int a[] = { 1, 2, 3, 4 };
  vector<int> v(a, a + sizeof(a) / sizeof(int));
  // 使用find查找3所在位置的iterator
  vector<int>::iterator pos = find(v.begin(), v.end(), 3);
  // 删除pos位置的数据,导致pos迭代器失效。
  v.erase(pos);
  cout << *pos << endl; // 此处会导致非法访问
  return 0;
}

运行结果:

3、在其他编译环境下的失效情况

这一点并不是很重要,在上面我们也提到了vector的迭代器失效也与编译器环境有关,这里有关指的是报错情况及运行上,例如在Linux下,g++对于迭代器失效的检查就没有那么严格,一般迭代器失效也能运行,只不过运行结果会出错,并不会直接中断,总之,迭代器失效一定会导致错误,我们在平时使用迭代器的时候一定要注意这个问题

4、string的迭代器失效

string在内存中的存储情况有一点类似vector,也是在内存上先开辟空间,所以也会出现上面的哪些情况,出现迭代器失效的问题,具体原因与上面一样,下面我们给出一个例子观察一下

代码实例:

#include <iostream>
#include <string>
using namespace std;
 
int main()
{
  string s("hello");
  auto it = s.begin();
 
  // 放开之后代码会崩溃,因为resize到20会string会进行扩容
  // 扩容之后,it指向之前旧空间已经被释放了,该迭代器就失效了
  // 后序打印时,再访问it指向的空间程序就会崩溃
  //s.resize(20, '!');
 
  while (it != s.end())
  {
    cout << *it;
    ++it;
  }
  cout << endl;
  it = s.begin();
  while (it != s.end())
  {
    it = s.erase(it);
    // 按照下面方式写,运行时程序会崩溃,因为erase(it)之后
    // it位置的迭代器就失效了
    // s.erase(it);
    ++it;
  }
}

运行结果:

三、vector迭代器失效的解决方法

解决方法非常简单:在使用前重新赋值即可

例如1中的:

#include<iostream>
#include<vector>
using namespace std;
 
int main()
{
  vector<int> v{ 1,2,3,4,5,6 };
  auto it = v.begin();
  v.resize(100, 8);        //这里会扩容
  it = v.begin();          //使用前重新赋值
  while (it != v.end())
  {
    cout << *it << " ";
    ++it;
  }
  cout << endl;
  return 0;
}

运行结果:

四、总结

以上就是vector迭代器失效的问题,这个问题还是挺容易出现的,稍不留意就可能会出错,我们平时使用迭代器的时候要注意这点

感谢各位大佬观看,创作不易,还请各位大佬点赞支持!!!

相关文章
|
6月前
|
缓存 算法 程序员
C++STL底层原理:探秘标准模板库的内部机制
🌟蒋星熠Jaxonic带你深入STL底层:从容器内存管理到红黑树、哈希表,剖析迭代器、算法与分配器核心机制,揭秘C++标准库的高效设计哲学与性能优化实践。
C++STL底层原理:探秘标准模板库的内部机制
|
编译器 C++ 容器
【c++丨STL】基于红黑树模拟实现set和map(附源码)
本文基于红黑树的实现,模拟了STL中的`set`和`map`容器。通过封装同一棵红黑树并进行适配修改,实现了两种容器的功能。主要步骤包括:1) 修改红黑树节点结构以支持不同数据类型;2) 使用仿函数适配键值比较逻辑;3) 实现双向迭代器支持遍历操作;4) 封装`insert`、`find`等接口,并为`map`实现`operator[]`。最终,通过测试代码验证了功能的正确性。此实现减少了代码冗余,展示了模板与仿函数的强大灵活性。
343 2
|
存储 算法 C++
【c++丨STL】map/multimap的使用
本文详细介绍了STL关联式容器中的`map`和`multimap`的使用方法。`map`基于红黑树实现,内部元素按键自动升序排列,存储键值对,支持通过键访问或修改值;而`multimap`允许存在重复键。文章从构造函数、迭代器、容量接口、元素访问接口、增删操作到其他操作接口全面解析了`map`的功能,并通过实例演示了如何用`map`统计字符串数组中各元素的出现次数。最后对比了`map`与`set`的区别,强调了`map`在处理键值关系时的优势。
696 73
|
存储 算法 C++
【c++丨STL】set/multiset的使用
本文深入解析了STL中的`set`和`multiset`容器,二者均为关联式容器,底层基于红黑树实现。`set`支持唯一性元素存储并自动排序,适用于高效查找场景;`multiset`允许重复元素。两者均具备O(logN)的插入、删除与查找复杂度。文章详细介绍了构造函数、迭代器、容量接口、增删操作(如`insert`、`erase`)、查找统计(如`find`、`count`)及`multiset`特有的区间操作(如`lower_bound`、`upper_bound`、`equal_range`)。最后预告了`map`容器的学习,其作为键值对存储的关联式容器,同样基于红黑树,具有高效操作特性。
564 3
|
存储 算法 C++
【c++丨STL】priority_queue(优先级队列)的使用与模拟实现
本文介绍了STL中的容器适配器`priority_queue`(优先级队列)。`priority_queue`根据严格的弱排序标准设计,确保其第一个元素始终是最大元素。它底层使用堆结构实现,支持大堆和小堆,默认为大堆。常用操作包括构造函数、`empty`、`size`、`top`、`push`、`pop`和`swap`等。我们还模拟实现了`priority_queue`,通过仿函数控制堆的类型,并调用封装容器的接口实现功能。最后,感谢大家的支持与关注。
871 1
|
存储 缓存 C++
C++ 容器全面剖析:掌握 STL 的奥秘,从入门到高效编程
C++ 标准模板库(STL)提供了一组功能强大的容器类,用于存储和操作数据集合。不同的容器具有独特的特性和应用场景,因此选择合适的容器对于程序的性能和代码的可读性至关重要。对于刚接触 C++ 的开发者来说,了解这些容器的基础知识以及它们的特点是迈向高效编程的重要一步。本文将详细介绍 C++ 常用的容器,包括序列容器(`std::vector`、`std::array`、`std::list`、`std::deque`)、关联容器(`std::set`、`std::map`)和无序容器(`std::unordered_set`、`std::unordered_map`),全面解析它们的特点、用法
C++ 容器全面剖析:掌握 STL 的奥秘,从入门到高效编程
|
存储 算法 C++
深入浅出 C++ STL:解锁高效编程的秘密武器
C++ 标准模板库(STL)是现代 C++ 的核心部分之一,为开发者提供了丰富的预定义数据结构和算法,极大地提升了编程效率和代码的可读性。理解和掌握 STL 对于 C++ 开发者来说至关重要。以下是对 STL 的详细介绍,涵盖其基础知识、发展历史、核心组件、重要性和学习方法。
|
算法 编译器 C++
模拟实现c++中的vector模版
模拟实现c++中的vector模版
|
C++ 容器
【c++丨STL】stack和queue的使用及模拟实现
本文介绍了STL中的两个重要容器适配器:栈(stack)和队列(queue)。容器适配器是在已有容器基础上添加新特性或功能的结构,如栈基于顺序表或链表限制操作实现。文章详细讲解了stack和queue的主要成员函数(empty、size、top/front/back、push/pop、swap),并提供了使用示例和模拟实现代码。通过这些内容,读者可以更好地理解这两种数据结构的工作原理及其实现方法。最后,作者鼓励读者点赞支持。 总结:本文深入浅出地讲解了STL中stack和queue的使用方法及其模拟实现,帮助读者掌握这两种容器适配器的特性和应用场景。
387 21
|
C++ 开发者
C++学习之继承
通过继承,C++可以实现代码重用、扩展类的功能并支持多态性。理解继承的类型、重写与重载、多重继承及其相关问题,对于掌握C++面向对象编程至关重要。希望本文能为您的C++学习和开发提供实用的指导。
221 16