4

我正在阅读“ list::splice ”的工作原理，但我不明白：

  mylist1.splice (it, mylist2); // mylist1: 1 10 20 30 2 3 4
                                // mylist2 (empty)
                                // "it" still points to 2 (the 5th element)

  mylist2.splice (mylist2.begin(),mylist1, it);
                                // mylist1: 1 10 20 30 3 4
                                // mylist2: 2
                                // "it" is now invalid.
  it = mylist1.begin();
  std::advance(it,3);           // "it" points now to 30

  mylist1.splice ( mylist1.begin(), mylist1, it, mylist1.end());
                                // mylist1: 30 3 4 1 10 20

在第一个和第三个拼接中，it迭代器仍然有效，但为什么它在第二个拼接中不存在？

根据文档：

迭代器有效性

调用前与容器相关的迭代器、指针和引用没有变化。引用传输元素的迭代器、指针和引用继续引用那些相同的元素，但迭代器现在迭代到元素已被传输到的容器中。

因此它应该仍然有效

4

2 回答 2

4

这只是一个猜测，但他们可能已经写了这意味着它it现在是“无效的”，因为它不再是 的有效迭代器mylist1，而是成为 的有效迭代器mylist2。

但是，我猜你已经知道了，它是一个有效的迭代器，所以措辞具有误导性。但是，您需要小心，因为这意味着在第二次拼接操作之后，例如，您不能再执行以下操作：

std::distance( mylist1.begin(), it );

但需要使用

std::distance( mylist2.begin(), it );

因为第一个是非法的。

该标准在以下方面明确定义了它：

23.3.5.5 列表操作 [list.ops]

void splice(const_iterator position, list& x, const_iterator i);
void splice(const_iterator position, list&& x, const_iterator i);

7 效果：在前面插入一个ifrom 列表指向的元素，并从 中删除该元素。如果或，结果不变。指针和引用继续引用同一元素，但作为. 迭代器 to （包括它自己）继续引用同一个元素，但现在表现为迭代器 into ，而不是 into 。xpositionxposition == iposition == ++i*i*this*ii*thisx

因此，如果您的编译器/STL 使迭代器无效，这显然是一个错误。

于 2013-03-25T10:52:13.687 回答
1

显然（因为我使用的是 MSVC2012）行为是不同的：

http://msdn.microsoft.com/en-us/library/72fb8wzd.aspx

在所有情况下，只有指向拼接元素的迭代器或引用变得无效。

因此，当我对从一个容器移动到另一个容器的元素有迭代器时，这些迭代器变得无效。

不过，我很想知道这种行为是否是标准行为。

于 2013-03-25T11:15:24.927 回答