C++：如何解决迭代器失效问题

---

insert和eraser操作会使迭代器失效。

insert 导致的迭代器失效

insert操作在vector中会炸，而在list中不会。 比如下面这个代码运行会直接炸

int main() {
    vector<int> s{ 1,2,3,4,5,6,7,8 };
    
    for (auto i = s.begin(); i != s.end(); ++i) {
        if (*i == 3) s.insert(i, 30);
    }
    for (auto i : s) cout << i << " ";

	return 0;
}

需要修改为以下代码

int main() {
    vector<int> s{ 1,2,3,4,5,6,7,8 };
    
    for (auto i = s.begin(); i != s.end(); ++i) {
        //cout << *i << " ";
        if (*i == 3) {
            i = s.insert(i, 30);
            ++i;
        }
        
    }
    for (auto i : s)
        cout << i << " ";
}

• i = s.insert(i, 30)，insert操作会返回插入位置的迭代器。
• 下一行的++i，因为insert是插入参数i的前一个位置，如果不进行递增，会形成死循环。

erase 导致的迭代器失效

另一种erase的情况也是类似

int main() {
    vector<int> s{ 1,2,3,4,5,6,7,8 };
    
    for (auto i = s.begin(); i != s.end(); ++i) {
        if (*i == 3) {
            s.erase(i);
        }
    }
    for (auto i : s)
        cout << i << " ";
    
    return 0;
}

依旧是直接炸，需要改为

int main() {
    vector<int> s{ 1,2,3,4,5,6,7,8 };
    
    for (auto i = s.begin(); i != s.end();) {
        //cout << *i << " ";
        if (*i == 3) {
            i = s.erase(i);
        }
        else
            ++i;
        
    }
    for (auto i : s)
        cout << i << " ";

	return 0;
}

• 同之前一样需要获取删除后的迭代器。
• 将++i操作拿出来，因为不拿出来的话被擦除的数据的后一位会被直接跳过。

总结:

迭代器失效分三种情况考虑，也是分三种数据结构考虑，分别为数组型，链表型，树型数据结构。

• 数组型数据结构：该数据结构的元素是分配在连续的内存中，insert和erase操作，都会使得删除点和插入点之后的元素挪位置，所以，插入点和删除掉之后的迭代器全部失效，也就是说insert(*iter)(或erase(*iter))，然后再iter++，是没有意义的。解决方法：erase(*iter)的返回值是下一个有效迭代器的值。 iter =cont.erase(iter)
• 链表型数据结构：对于list型的数据结构，使用了不连续分配的内存，删除运算使指向删除位置的迭代器失效，但是不会失效其他迭代器。解决办法两种，erase(*iter)会返回下一个有效迭代器的值，或者erase(iter++)
• 树形数据结构： 使用红黑树来存储数据，插入不会使得任何迭代器失效；删除运算使指向删除位置的迭代器失效，但是不会失效其他迭代器。erase迭代器只是被删元素的迭代器失效，但是返回值为void，所以要采用erase(iter++)的方式删除迭代器。

注意：经过erase(iter)之后的迭代器完全失效，该迭代器iter不能参与任何运算，包括iter++,*ite