C++迭代器失效问题

C++STL中的容器总共可以分为三大类：
1 顺序数组型 vector deque
2 链表型 list
3 树型 set map

迭代器可以看作是一个指针，指向谁？指向的是容器中元素的内存地址，当我们保存一个迭代器的时候，其实就是用迭代器保存了当前时刻下此元素的内存中的地址。所以，迭代器是否失效这个问题本质上就是等于内存地址是否发生变化？

1 顺序数组型

使用的是连续的内存地址空间，因此当插入元素或者删除元素的时候，当前位置后面所有的元素的内存地址都会变化。
此时，对应的当前位置后面所有元素的迭代器都失效！当前删除掉的元素的iter失效；

代码写法如下：

vector<int> nums;
for (auto iter = nums.begin(); iter != numbs.end(); ++iter) {
  if (*iter == target_num) {
     nums.erase(iter);  错误写法  
     nums.erase(iter++);  错误写法  此时++出来的地址是内存调整前的
     iter = nums.erase(iter); // 唯一正确写法 erase成员函数保证返回的迭代器是有效的下一个元素的位置，也就是调整了内存空间之后的下一个元素的位置
  }
}

2 链表型

链表型的内存空间并非连续，因此，当插入或者删除元素的时候，只有当前被变更的元素的迭代器会受失效，其他的元素因为内存空间没有动，所以迭代器不会失效；

list<int> nums;
for (auto iter = nums.begin(); iter != nums.end(); ++iter) {
  if (*iter == target_num) {
     nums.erase(iter); // 错误写法，当前元素的地址空间已经被释放，迭代器已经失效了！！！！！
    nums.erase(iter++); // 此时，失效的只有当前的iter，其他的迭代器都没有失效；
    iter = nums.erase(iter); // erase成员函数保证返回的地址是下一个有效地址
  }
}

3 树型

树跟链表很像，其上面的元素都是通过链表来指向的，也不是连续的内存空间。因此，当删除的时候只有当前的元素的迭代器会失效，其他元素的迭代器都不会失效。但是从内部来看很难做到取到下一个元素的指针，本身你怎么知道谁是下一个呢？

map<int, int> nums;
for (auto iter = nums.begin(); iter != nums.end(); ++iter) {
  if (iter->first == target_key) {
     nums.erase(iter); // 错误写法，迭代器本身会失效
     nums.erase(iter++); // 正确写法
     iter = nums.erase(iter); // 错误写法，这个成员函数的返回值是void
  }
}