C++ vector：一边使用iterator，一边erase会发生什么

今天看到了一段代码，觉得很神奇就仔细探究了一下，原代码如下：

#include <cstdlib>
#include <iostream>
#include <vector>

template<typename T>
void f(std::vector<T> & v, const T & d) {
  typename std::vector<T>::iterator it = v.begin();
  while (it != v.end()) {
    if (*it >= d) {
      break;
    }
    ++it;
  }
  v.insert(it, d);
}

template<typename T>
void g(std::vector<T> & v, const T & a, const T & b) {
  typename std::vector<T>::iterator it = v.begin();
  while (it != v.end()) {
    if (*it % a == b) {
      it = v.erase(it);
    }
    else {
      ++it;
    }
  }
}

int main(void) {
  std::vector<int> someNums;
  for (int i = 0; i < 5; i++) {
    someNums.push_back(i * i);
  }
  f<int>(someNums, 12);
  f<int>(someNums, 42);
  g<int>(someNums, 5, 4);
  std::vector<int>::const_reverse_iterator ri = someNums.rbegin();
  while (ri != someNums.rend()) {
    std::cout << *ri << "\n";
    ++ri;
  }
  return EXIT_SUCCESS;
}

其中g函数的写法能很好实现一边使用iterator一边erase，虽然非常说得通，但为了研究明白iterator中begin和end的内涵，我做了如下探究，在g函数中增加了几行输出来判别各个时间段begin和end分别代表了什么值：

template<typename T>
void g(std::vector<T> & v, const T & a, const T & b) {
  typename std::vector<T>::iterator it = v.begin();
  std::cout << *it << " "<<*(v.end()) <<std::endl;
  while (it != v.end()) {
    if (*it % a == b) {
      std::cout << *it << " "<<*(v.end()) <<std::endl;
      it = v.erase(it);
      std::cout << *(v.end()) <<std::endl;
    }
    else {
      ++it;
    }
  }
}

得到的输出为：

0 0
4 0
42
9 42
42

这就很让我想不通，为什么一开始end是0后面又变成了42，待有时间研究仔细后再对此篇文章进行补充。

----------------------------------分割线-----------------------------------------
原因为存储空间中原来是0 1 4 9 12 42，后面未定义的存储空间都是0；
把4删掉之后变成0 1 9 12 42，后面未定义的为 42 0 0 0。