std::vector 迭代器失效

Question

之前有几个关于这个问题的问题；我的理解是，调用 std::vector::erase 只会使位于已擦除元素 之后 位置的迭代器无效。但是，在擦除元素后，该位置的迭代器是否仍然有效（当然，前提是它在擦除后不指向end()）？

我对如何实现向量的理解似乎表明迭代器绝对可用，但我不完全确定它是否会导致未定义的行为。

作为我正在谈论的示例，以下代码从向量中删除所有奇数。此代码是否会导致未定义的行为？

typedef std::vector<int> vectype;
vectype vec;

for (int i = 0; i < 100; ++i) vec.push_back(i);

vectype::iterator it = vec.begin();
while (it != vec.end()) {
    if (*it % 2 == 1) vec.erase(it);
    else ++it;
}

代码在我的机器上运行良好，但这并不能让我相信它是有效的。

Answer 1

删除一个元素后，该位置的迭代器是否仍然有效

没有；传递给erase 的迭代器处或之后的所有迭代器均无效。

但是，erase 返回一个新的迭代器，它指向紧跟在被擦除的元素之后的元素（如果没有这样的元素，则指向末尾）。您可以使用此迭代器来恢复迭代。

---

请注意，这种删除奇数元素的特殊方法效率很低：每次删除一个元素时，它之后的所有元素都必须在向量中向左移动一个位置（这是 O(n ²))。您可以使用erase-remove idiom (O(n)) 更有效地完成此任务。您可以创建一个is_odd 谓词：

bool is_odd(int x) { return (x % 2) == 1; }

那么这可以传递给remove_if:

vec.erase(std::remove_if(vec.begin(), vec.end(), is_odd), vec.end());

Answer 2

或者：

class CIsOdd
{
public:
    bool operator()(const int& x) { return (x % 2) == 1; }
};

vec.erase(std::remove_if(vec.begin(), vec.end(), CIsOdd()), vec.end());