底层元素被移动后STL迭代器是否仍有效？容器类型是否有影响？

核心结论 #

std::move(*iter)这类移动元素的操作，本身不会导致指向STL容器元素的迭代器失效——只要容器的结构没被修改（比如插入、删除、扩容等操作），迭代器就始终保持有效，也能正常用于erase这类方法。

容器类型对结果的影响 #

• 非连续容器（如std::list、std::map）：这类容器的元素存储在独立节点中，移动元素只是转移元素内部的资源（比如std::string的底层指针），不会改变容器的节点结构和迭代器的指向。哪怕原元素被移空，迭代器依然指向原来的容器节点，完全可以用来调用erase。
• 连续容器（如std::vector、std::array）：移动元素同样不会破坏容器的内存布局，迭代器依然有效。只有当容器发生扩容（vector插入元素触发内存重新分配）、删除元素（导致后续元素前移）这类结构修改时，才会让部分迭代器失效。但单纯的std::move(*iter)操作后，迭代器仍可正常用于erase。

示例代码合法性分析 #

你给出的代码：

std::list<std::string> l{"a", "b", "c"};
auto iter = l.begin();
auto s = std::move(*iter);
l.erase(iter);       // <----- 移动元素后使用该迭代器执行erase是否合法？

这段代码完全合法。std::move(*iter)仅转移了iter指向的std::string的内容，原位置的string变为合法的空状态，但iter依然指向list的对应节点。调用l.erase(iter)时，容器会正确删除该节点，不存在未定义行为。

内容的提问来源于stack exchange，提问作者for_stack