c++ - std::list<>::splice 使迭代器无效。理由？

Question

我想知道制作 std::list<>::splice 背后的基本原理是什么使引用被拼接到新容器中的子序列的迭代器无效。这对我来说有点不合逻辑，尤其是考虑到标准 std::container::swap规范。根据语言标准std::container::swap不会使任何迭代器失效。这是一个完全合理的实用规范。但是，我会说 std::list<>::splice也会从保留迭代器的行为中受益匪浅。

我知道可能有一些基于迭代器可达性等概念的纯学术考虑。但同时splice是 std::list -特定操作，这意味着为其提供定制规范可能不会对一般的 STL 设计造成严重的概念性损害。

那是什么？它是否会使 std::list 的某些实际实现变得非法或过于复杂？ ，我没认出来？

Answer 1

在 C++11 中，splice 不会使迭代器无效，而是使它们引用 *this 容器中的适当元素。这在 23.3.5.5 中都有描述。