C++ 参考明确指出，在迭代器上调用std::vector::erase(it) 将使所有指向和之后的迭代器失效已擦除元素。 http://en.cppreference.com/w/cpp/container/vector/erase
我确实理解为什么这样的迭代器在erase 调用之后变得不可取消引用，但我很好奇为什么它们需要变得无效，哪些实现细节需要它？
例如，标准规定 std::vector 必须使用连续存储的元素来实现，而 elements can be accessed not only through iterators, but also using offsets on regular pointers to elements 因此这样的容器的迭代器可能会被实现为指针似乎是合乎逻辑的 - 但是指针如何变得无效？
【问题讨论】：
标签： c++ c++11 vector stl iterator
iterator 的概念思想所依据的原则之一如下：只要迭代器保持非别名、可解引用和不可修改，它就应该引用同一个实体.换句话说，多次取消引用同一个迭代器应该产生相同的值。使用迭代器的算法可能依赖于此。
您提出的建议将导致迭代器“神奇地”改变它所引用的值，即使迭代器本身保持不变。这在迭代器的概念思想中是不可接受的。
再想一想，我上面所说的显然是有缺陷的，因为我们总是可以对移动元素的向量应用一些修改操作（例如std::random_shuffle）。这样的操作不会使任何迭代器失效，但很容易改变迭代器引用的值。这与erase 触发的元素移动有何不同？不是。
【讨论】：
std::vector 迭代器专门允许这样做，但这似乎不值得。迭代器概念的主要目的是充当算法和数据序列之间的抽象统一中介。出于这个原因，试图指定仅适用于非常狭窄的特定迭代器子集（向量迭代器）的东西对这个概念没有多大价值。
std::random_shuffle 以及它与erase 的不同之处：可以说，洗牌只是改变容器中元素的值，但保持其几何形状不变，因此从这个意义上说，std::random_shuffle() 之后的所有迭代器仍然指向完全相同的容器元素（但这些元素改变了值）。而在erase() case 函数中更改容器几何形状，所以旧迭代器不再指向相同的逻辑元素，这就是迭代器无效的原因......
"invalidated" can mean "no longer points to what it used to", not just "may not point to any valid element" 吗？
“invalidated”可以表示“不再指向它以前的位置”，而不仅仅是“可能不指向任何有效元素”
考虑（未编译的代码）：
vector<int> v = {0, 1, 2, 3, 4, 5};
vector<int>::iterator iter = v.begin() + 3; // "points to" 3
assert(*iter == 3);
v.erase(v.begin());
此时，iter 已失效。它不再像以前那样“指向”相同的元素。
【讨论】：
invalidated 迭代器的尝试都会导致未定义的行为。你是在暗示情况并非如此吗？如果是这样，您能否指出任何说明这一点的参考资料？
*iter可能具有值4。可能不会。它可能会使您的程序崩溃。
std::vector 必须使用连续存储的元素来实现
这就是原因。如果您擦除向量内的元素，则至少必须移动元素。你可以，不用调试保护：
std::vector< int > test= {1,2,3,4,5,6,7};
auto it= test.begin( ) + 2;
test.erase( it );
std::cout << *it << std::endl;
它可能会打印“4”。但是没有保证。如果向量重新分配怎么办？如果你删除 test.begin( ) + 6 怎么办？如果你改变一个向量的大小，它就可以被移动。
【讨论】：
std::vector 不允许在 erase 上重新分配，直到它为空。 （显然，如果重新分配是可能的，它将使所有迭代器无效，包括那些指向已擦除迭代器之前的迭代器。） OP 似乎完全意识到这一点。
我根本看不出迭代器在我开始擦除元素时变得无效的原因。 vector::erase( ... ) 确实使用了赋值操作符，因此向量中的对象永远不会失效。如果我对自己的代码做同样的事情......
template<typename T>
void vector_erase( vector<T> &v, typename vector<T>::iterator first, typename vector<T>::iterator last )
{
typename vector<T>::iterator shiftOld,
shiftNew;
for( shiftOld = last, shiftNew = first; shiftOld != v.end(); ++shiftOld, ++shiftNew )
*shiftNew = move( *shiftOld );
v.resize( shiftNew - v.begin() );
}
...迭代器在我切割向量之前一直有效。
【讨论】：