文章《使用STL中通用算法或容器成员函数删除元素的方法二》里面的小错误

翻译做完了，下午没事，看了看《使用STL中通用算法或容器成员函数删除元素的方法二》，觉得里面有点小错误，在0 1 2 3 2 5 6 7数列中使用STL的remove方法删除元素2时，原文图示如下：
0  1  2  3  2  5  6  7
0  1  3  2  5  6  6  7
0  1  3  5  6  7

  我觉得如果是这样的话那么在后面元素的移动上就有点说不通，翻看了MSDN，也不是很详细，没有说明每一次删除选定元素时，后面的元素是如何覆盖前面空位的。没想清楚，还是非常郁闷，于是准备找STL库来看看到底remove是如何实现的，找到_algo.h文件打开看之，结果真相大白，原来remove函数调用了一个叫remove_copy的函数，remove先找到第一个匹配的元素p1，然后调用remove_copy函数，remove_copy中有一个循环，从第一个匹配元素p1的下一位p2开始到最后（这里就看是容器类还是一般数组，最后的含义是不同的），每次先看指针p2指向的元素是否匹配给定值，若不是，则将其值给p1，p1，p2同时后移一个元素；若匹配，则p1不动，p2继续后移，直到最后一个元素结束为止。上例正确图示应该如下：
0  1  2  3  2  5  6  7
remove找到p1指向第一个2的位置，调用remove_copy，p2指向3这个位置

0  1  3  3  2  5  6  7
p2指向的值覆盖了p1指向的值，p1，p2均向后移一步，p1指向第二个3，p2指向2，匹配，所以p1不动，p2继续后移一位，指向5

0  1  3  5  6  7  6  7
再经过3次覆盖后结束程序。

如有问题可以交流pisces.hb@gmail.com

附：STL中remove及remove_copy函数实现代码

template <class _InputIter, class _OutputIter, class _Tp>
_STLP_INLINE_LOOP _OutputIter
remove_copy(_InputIter __first, _InputIter __last,_OutputIter __result, const _Tp& __val) {
  _STLP_DEBUG_CHECK(__check_range(__first, __last))
  for ( ; __first != __last; ++__first)
    if (!(*__first == __val)) {
      *__result = *__first;
      ++__result;
    }
  return __result;
}

template <class _ForwardIter, class _Tp>
_STLP_INLINE_LOOP _ForwardIter
remove(_ForwardIter __first, _ForwardIter __last, const _Tp& __val) {
  _STLP_DEBUG_CHECK(__check_range(__first, __last))
  __first = find(__first, __last, __val);
  if (__first == __last)
    return __first;
  else {
    _ForwardIter __next = __first;
    return remove_copy(++__next, __last, __first, __val);
  }
}