向量中的无效迭代器

Question

我知道擦​​除将使迭代器在擦除点和之后失效。考虑：

std::vector<int> vec = {1, 2, 3, 4, 5};
std::vector<int>::iterator it = vec.end() - 1; //last element
vec.erase(vec.begin()); //shift everything one to the left, 'it' should be the new 'end()' ?
std::cout << (it == vec.end()); //not dereferencing 'it', just comparing, UB ?

比较（而不是取消引用）无效的迭代器（在这种情况下为it）是未定义的行为吗？如果不是，it == vec.end() 是否保证为真？

编辑：如果只有it 是奇异值，则从最上面的答案看来，这是 UB。但从What is singular and non-singular values in the context of STL iterators? 看来，it 似乎（或曾经）与容器相关联，因此使it 非单数。

感谢您对此进行进一步分析。

Answer 1

一旦你的迭代器失效，它甚至可能是 UB 将它与其他东西进行比较：

[C++14: 24.2.1/10]:一个无效迭代器是一个可能是单数的迭代器。

[C++14: 24.2.1/5]: [..] 大多数表达式的结果对于奇异值是未定义的；唯一的例外是销毁包含奇异值的迭代器，将非奇异值分配给包含奇异值的迭代器，并且对于满足DefaultConstructible 要求的迭代器，使用值初始化的迭代器作为复制或移动操作的来源。 [..]

请注意，这意味着您也无法将默认构造的迭代器与任何 .end() 进行比较。

与“指针只是内存地址”的普遍看法相反，这些规则在很大程度上也适用于指针。事实上，迭代器的规则是指针规则的概括。

Answer 2

形式上，任何指向被擦除元素上或之后的元素的迭代器都无效。所以

1. 是的，这是 UB（尽管它是引擎盖下的指针。）

2. 又是 UB，尽管有明显的合理性。