c++ - 迭代但不取消引用 C++ 中的无效迭代器

Question

当使用 Visual C++ 编译器在 Debug模式下编译时，此代码会调用一个断言。

std::vector<int> test;
++test.begin();

程序说:

Debug Assertion Failed!

...

Expression: vector iterator not incrementable.

对我来说，这段代码是完全合法的，因为我不会取消对迭代器的引用。问题:这种行为是否未被标准定义(或者可能是实现定义)？

Answer 1

基本上，您不能获取 container.end() 并递增它。

在这种情况下，因为你有一个空容器 container.begin() == container.end() 所以你也不能递增 begin() .

您可以在 C++ 2011 表 107 中找到对此的引用。它基本上说 ++iterator 仅在 iterator 可取消引用时才有效。

所以这是合法的未定义行为。