c++ - 移动 vector 是否会使迭代器无效？

Question

如果我有一个指向 vector a 的迭代器，那么我从 a 移动构造或移动分配 vector b，该迭代器是否仍然指向同一个元素(现在在 vector b 中)？这就是我在代码中的意思:

#include <vector>
#include <iostream>

int main(int argc, char *argv[])
{
    std::vector<int>::iterator a_iter;
    std::vector<int> b;
    {
        std::vector<int> a{1, 2, 3, 4, 5};
        a_iter = a.begin() + 2;
        b = std::move(a);
    }
    std::cout << *a_iter << std::endl; // Is a_iter valid here?
    return 0;
}

a_iter 是否仍然有效，因为 a 已被移动到 b 中，还是迭代器因移动而失效？作为引用，std::vector::swap does not invalidate iterators .

Answer 1

虽然假设 iterator 可能是合理的s 在 move 之后仍然有效，我认为标准实际上并不能保证这一点。因此，迭代器在 move 之后处于未定义状态。 .

---

我在标准中找不到任何引用明确指出在 move 之前存在的迭代器在 move 之后 仍然有效.

从表面上看，假设 iterator 似乎是完全合理的。 通常被实现为指向受控序列的指针。如果是这种情况，那么迭代器在 move 之后仍然有效。 .

但是执行一个iterator是实现定义的。意思是，只要 iterator在特定平台上满足标准规定的要求，它可以以任何方式实现。理论上，它可以实现为返回 vector 的指针的组合。类和索引。如果是，那么迭代器将在 move 之后变得无效。 .

是否 iterator这种方式实际实现是无关紧要的。它可以以这种方式实现，因此没有标准的具体保证，即 move迭代器仍然有效，你不能假设它们是有效的。还要记住，在 swap 之后有这样的迭代器保证。 .这在之前的标准中得到了明确的说明。也许这只是标准委员会的疏忽，在 move 之后没有对迭代器做出类似的澄清。 ，但无论如何都没有这样的保证。

因此，总而言之，您不能假设您的迭代器在 move 之后仍然很好。 .

编辑:

n3242 草案中的 23.2.1/11 指出:

Unless otherwise specified (either explicitly or by defining a function in terms of other functions), invoking a container member function or passing a container as an argument to a library function shall not invalidate iterators to, or change the values of, objects within that container.

这可能会导致人们得出结论，迭代器在 move 之后是有效的。 ，但我不同意。在您的示例代码中，a_iter是 vector 的迭代器a .在 move 之后，那个容器，a肯定已经改变了。我的结论是上述条款不适用于这种情况。