C++迭代器失效

目录

前言

1、迭代器失效

1.1什么是迭代器失效

1.2迭代器失效的原因

2、迭代器失效实机演示及解决方案

2.1 insert

2.3erase 

总结

---

前言

在C++中，迭代器是一种方便遍历容器元素的工具，可以允许我们通过指针的方式来遍历容器，并在遍历的同时对容器的元素进行添加、删除、修改等操作。但是在对容器进行修改的过程中，很容易导致迭代器失效，从而引起程序崩溃或产生不可预期的结果。因此在使用迭代器遍历容器时，需要注意迭代器的有效性及时更新相关的迭代器。

本篇博客将以vector为例从以下三个方面来介绍迭代器失效以及如何避免迭代器失效：

1. 迭代器失效的原因以及怎样判断迭代器是否失效

2. 避免迭代器失效的方法：

   a. 通过使用一些操作，如swap()、emplace()、push_back()、pop_back()等，可以避免迭代器失效。

   b. 在遍历容器时，将元素的值赋值给变量，而不是访问迭代器本身。

   c. 利用erase()、insert()、clear()等函数返回值更新相关的迭代器或者使用基于下标的操作访问容器。

3. 实例演示迭代器的失效问题以及如何避免迭代器失效。

总之，了解如何避免迭代器失效对于编写高效、稳定的C++代码至关重要。同时，即使你已经运行了很多次，也要时刻注意迭代器的有效性，从而避免不必要的错误。

---

在开始正式的讲解之前，博主在这边实现了一个简单的vector以便讲解

template<class T>
    class vector
    {
    public:
        // Vector的迭代器是一个原生指针
		typedef T* iterator;
        typedef const T* const_iterator;

		iterator begin()
		{
			return _start;
		}

		iterator end()
		{
			return _finish;
		}

		const_iterator cbegin() const
		{
			return _start;
		}

		const_iterator cend() const
		{
			return _finish;
		}

            // construct and destroy
		vector()
			:_start(nullptr)
			,_finish(nullptr)
			,_endOfStorage(nullptr)
		{

		}
		vector(int n, const T& value = T())
			:_start(nullptr)
			,_finish(nullptr)
			,_endOfStorage(nullptr)
		{
			reserve(n);
			for (int i = 0; i < n; i++)
			{
				push_back(value);
			}
			
		}

        
		vector(const vector<T>& v)
		{
			_start = new T[v.capacity()];
			for (size_t i = 0; i < v.size(); ++i)
			{
				_start[i] = v._start[i];
			}

			_finish = _start + v.size();
			_endOfStorage = _start + v.capacity();
		}

		vector<T>& operator= (vector<T> v)
		{
			_start = new T[v.capacity()];
			for (size_t i = 0; i < v.size(); ++i)
			{
				_start[i] = v._start[i];
			}

			_finish = _start + v.size();
			_endOfStorage = _start + v.capacity();
			return *this;
		}

		~vector()
		{
			delete[] _start;
			_start = _finish = _endOfStorage = nullptr;
		}

        // capacity

		size_t size() const
		{
			return _finish - _start;
		}

		size_t capacity() const
		{
			return _endOfStorage - _start;
		}

		bool empty()
		{
			return _start == _fini