擦除-删除习语：当删除返回超过末尾的迭代器时会发生什么？

Question

当我阅读 Scott Meyers erase-remove idiom（第 32 项）时，我遇到了这个问题="nofollow noreferrer">“有效的STL”书。

vector<int> v; 
...
v.erase(remove(v.begin(), v.end(), 99), v.end());

remove基本上返回“新逻辑结束”以及从该范围的“新逻辑结束”开始的原始范围的元素并继续，直到范围的真正末尾是要从容器中删除的元素。

听起来不错。现在，让我问我的问题：

在上面的例子中，如果在向量 vremove 可以返回 v.end() >。它基本上是将past-the-end-iterator传递给erase方法。

1. 将 past-the-end-iterator 传递给 erase 方法时会发生什么？标准是否称其为 UB？
2. 如果这是未定义的行为，那么 Scott Meyer 书中的erase-remove idiom示例应该如下所示：

  vector<int> v; 
    ...
    vector<int>::iterator newEndIter = remove(v.begin(), v.end(), 99);
    if(newEndIter != v.end() )
    {
     v.erase(newEndIter, v.end();
    }  

对此有什么想法吗？

Answer 1

我认为 v.erase(v.end(), v.end()) 会被很好地定义并且不会删除任何内容。

Answer 2

C++ 标准规定，erase(q1,q2) 成员“擦除 [q1,q2) 范围内的元素”（参见第 23.1.1 节）。由于范围不包括最后一个元素，

v.erase(v.end(), v.end());

因此有效并且不会删除任何内容。

Answer 3

C++ 参考声明：

如果 first==last，则迭代器 first 不需要取消引用：擦除空范围是无操作。