std :: list - 移动时失效的迭代器是什么？

Question

std::list迭代器有一些非常好的属性 - 当删除任何其他元素，添加新元素时，甚至当交换2个列表时，它们仍然有效（ 迭代器失效规则 ）！

考虑以下代码行为并且迭代器是通过指向实际节点的指针形式实现的，当移动列表时它不会改变，我的猜测是当std::list是新的容器时，迭代器仍然有效。移动，但我也可以通过访问实际具有“预期”值的无效内存进入UB区域。

std::list<int> l1{3, 2, 1};
std::list<int> l2;

auto it = std::prev(l1.end());
std::cout<<l1.size()<<" "<<l2.size()<<" "<<*it<<std::endl;

l2 = std::move(l1);
std::cout<<l2.size()<<" "<<*it<<std::endl;

3 0 1
3 1

如果移动std::list时迭代器仍然有效，那么它是否由标准保证？ 其他容器怎么样？

Answer 1

对于通常的容器，只有swap保证迭代器保持有效（并指向交换的容器）。

对于std::list ，特殊成员函数splice()保证迭代器保持其预期含义。

通常，从rvalue构造容器不能保证迭代器; 唯一的一般要求是新容器与最初构造的容器具有“相同的值”。

（您可以想象调试迭代器实现，它存储对容器的引用，并且该引用在移动后将变为悬空。）