C++：iterator迭代器失效

说明：这里拿 vector 举例。

原因一：扩容导致迭代器失效

// 迭代器失效 void insert(iterator pos, const T& x) { assert(pos >= _start); assert(pos <= _finish); // 满了就扩容 if (_finish == _end_of_storage) { reserve(capacity() == 0 ? 4 : capacity() * 2); } iterator it = _finish - 1; while (it >= pos) { *(it + 1) = *it; --it; } *pos = x; ++_finish; }

正确写法：

void insert(iterator pos, const T& x) { assert(pos >= _start); assert(pos <= _finish); // 满了就扩容，导致pos失效，失效后不能使用，更新后才能使用 if (_finish == _end_of_storage) { size_t len = pos - _start; reserve(capacity() == 0 ? 4 : capacity() * 2); pos = _start + len; // 更新pos } iterator it = _finish - 1; while (it >= pos) { *(it + 1) = *it; --it; } *pos = x; ++_finish; }

原因二：insert后迭代器失效（野指针）

正确做法，最好是在insert之后不要使用它的迭代器！！！

原因三：erase后迭代器失效（强制检查）

// 迭代器失效 void erase(iterator pos) { assert(pos >= _start); assert(pos < _finish); iterator it = pos + 1; while (it < _finish) { *(it - 1) = *it; ++it; } --_finish; }

正确写法（系统的做法）：系统erase(it)后，会返回删除值的下一个位置；但我们要记住，虽然可以这样解决，但是erase(it)之后，不要再去访问it迭代器，它已经失效了

iterator erase(iterator pos) { assert(pos >= _start); assert(pos < _finish); iterator it = pos + 1; while (it < _finish) { *(it - 1) = *it; ++it; } --_finish; return pos; // 下一个位置还是pos }

完