C++ vector中的迭代器失效问题_c++ vector insert操作迭代器会失效吗

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以添加戳这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

	 pos=nums.erase(pos);
	//只要我们重新接收erase返回的迭代其位置，就可以了
	 *pos = 10;
	 
	 //此时不会报错

通过调试，我们会发现，pos的传入地址和传出的地址完全一样，并没有发生变化

为甚麽迭代器会失效
通过vs底层实现的，我们可以看到他返回的迭代器不仅仅是传入的位置，还进行了处理，可见vs在对迭代器进行了处理，以便于检查，只要迭代器被删除过后，就不能再使用，只能接受它返回的正确的迭代器。

从以下的底层代码可以看到vs对迭代器进行的检查，在每次使用迭代器之前都对迭代器进行检查。

将同样的代码放在Linux下进行运行

int main()                          
  7 {                                   
  8   int arr[] = { 1, 2, 3, 4, 5, 6  };
  9     vector<int> nums(arr, arr + size
    of(arr) / sizeof(int));             
 10                                     
 11                                     
 12       vector<int>::iterator pos;    
 13                                     
 14          pos = nums.insert(nums.begi
    n() + 1 , 9);                       
 15                                     
 16            nums.erase(pos);         
 17                                     
 18              *pos = 10;             
 19                                     
 20              for(auto& e: nums)     
 21                cout<<e<<" ";        
 22              cout<<endl;            
 23                                     
 24                                     
 25   return 0;

[wens@localhost test2]$ ./test 
1 10 3 4 5 6 

在linux 下，代码正常运行并不会报错，结果正确。这是因为在linux下对于迭代器的检查并不严格，所以只要不超过迭代器的访问区间，Linux下一般不会报错。但是有时候我们必须要注意所得结果的正确性。

linux下的erase 的底层源码

template<typename _Tp, typename _Alloc>
133	    typename vector<_Tp, _Alloc>::iterator
134	    vector<_Tp, _Alloc>::
135	    erase(iterator __position)
136	    {
137	      if (__position + 1 != end())
138		_GLIBCXX_MOVE3(__position + 1, end(), __position);
139	      --this->_M_impl._M_finish;
140	      _Alloc_traits::destroy(this->_M_impl, this->_M_impl._M_finish);
141	      return __position;
(gdb) 
142	    }
//我们可以看到传入和传出的是一个position,而且也没有太多的检查

而在Linux的底层中在返回时并没有对迭代器进行处理，在进入时也并没有对于原迭代器进行检查，只是对于迭代器的范围进行了检查。所以在不同的平台下，检查的方式不一样，严格程度不一样所以可能得出的结果也不同。

我们再来看这样一份代码

int main()
{


	int arr[] = { 1, 2, 3, 4, 5, 6 };
	vector<int> nums(arr, arr + sizeof(arr) / sizeof(int));

	vector<int>::iterator it = nums.begin();
	while (it != nums.end())
	{
		if (*it % 2 == 0)
			nums.erase(it);
		++it;
	}

	for (int i = 0; i<nums.size(); i++)
		cout << nums[i] << " ";
	return 0;
}

毫无疑问在vs地下会报错，在删完2后，对it进行++时就会报错。

但在linux下则会出现多种情况：

• 当我们所给删除序列为 1 2 3 4 5 6

程序会报出段错误

[wens@localhost test_erase]$ ./test 
Segmentation fault (core dumped)

通过gdb调试我们可以看到
在我们删除2，4，之后，在进行6的删除的时候因为，超出了迭代器的访问位置而导致的段错误。

• 当我们所给删除序列为 1 2 3 4 5

[wens@bogon test_erase]$ ./test
1 3 5 [wens@bogon test_erase]$

程序运行正常，且结果正确。

• 当我们所给删除序列为 1 2 8 4 6 5

[wens@bogon test_erase]$ ./test
1 8 6 5 [wens@bogon test_erase]$ 

可以看到，在删除的时候，并没有将偶数项全部删除完，是是因为在删除过程中，会将后面的向前覆盖，而返会的位置是当前的位置，下一次++时会将该位置跳过去，所以会出现这种错误。

在给出的三种错误种，我们可以看到有时侯结果运行正确，有时候错误，有时候程序挂掉。所以我们不能在有些时候因为结构正确就认为程序也是正确的。

所以erase 在配合循环使用时要注意
下面为正确的些法

int main()
{


	int arr[] = { 1, 2, 3, 4, 5, 6 };
	vector<int> nums(arr, arr + sizeof(arr) / sizeof(int));

	vector<int>::iterator it = nums.begin();
	while (it != nums.end())
	{
		if (*it % 2 == 0)
		    it=nums.erase(it);  //使用一个迭代器来对返回的迭代器进行接受 
		else 
		    ++it; //因为返回的还是原位置，所以进行判断的时候防止跳过
	}

	for (int i = 0; i<nums.size(); i++)
		cout << nums[i] << " ";
	return 0;
}

总结：以上所说即为vector中的迭代器失效问题，一种是因为空间更换后造成的迭代器失效，一种是因为删除后造成的迭代器失效。而在vs和linux下，因为对于底层的代码和检查机制与程度不同，所以运行得出的结果也不一样。所以，在对于erase进行使用时，要注意迭代器的位置方面的问题，防止因此引发的一些问题。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上C C++开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以戳这里获取

片转存中…(img-AKFrpGFC-1715734306742)]

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上C C++开发知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以戳这里获取