为什么 std::list 上的 Push_back 会更改使用 rbegin 初始化的反向迭代器？

根据我发现的一些 STL 文档，在 std::list 中插入或删除元素不会使迭代器失效。这意味着允许循环列表（从begin() to end()），然后使用push_front添加元素。

例如，在下面的代码中，我用元素 a、b 和 c 初始化一个列表，然后循环遍历它并执行元素的 push_front。结果应该是 cbaabc，这正是我得到的：

std::list<std::string> testList;
testList.push_back("a");
testList.push_back("b");
testList.push_back("c");

for (std::list<std::string>::iterator itList = testList.begin(); itList != testList.end(); ++itList)
   testList.push_front(*itList);

for (std::list<std::string>::const_iterator itList = testList.begin(); itList != testList.end(); ++itList)
   std::cout << *itList << std::endl;

当我使用反向迭代器时（从rbegin() to rend()）并使用push_back，我期望类似的行为，即 abccba 的结果。但是，我得到了不同的结果：

std::list<std::string> testList;
testList.push_back("a");
testList.push_back("b");
testList.push_back("c");

for (std::list<std::string>::reverse_iterator itList = testList.rbegin(); itList != testList.rend(); ++itList)
   testList.push_back(*itList);

for (std::list<std::string>::const_iterator itList = testList.begin(); itList != testList.end(); ++itList)
   std::cout << *itList << std::endl;

结果不是abccba, but abcccba。没错，又多了一个c。

看起来第一个push_back也改变了用rbegin()初始化的迭代器的值。在push_back之后，它不再指向列表中的第三个元素（以前是最后一个），而是指向第四个元素（现在是最后一个）。

我使用 Visual Studio 2010 和 GCC 对此进行了测试，两者都返回相同的结果。

这是一个错误吗？或者我不知道的反向迭代器的一些奇怪行为？

该标准规定迭代器和引用在插入期间保持有效。它没有提及任何有关反向迭代器的内容。 :-)

The reverse_iterator由返回rbegin()内部保存的值end()。之后push_back()这个值显然和以前不一样了。我认为标准并没有说明它应该是什么。明显的替代方案包括列表的前一个最后一个元素，或者如果它是固定值（如哨兵节点），则它保留在末尾。

技术细节：返回的值rend()不能指向之前begin()，因为这是无效的。所以决定rend()应包含的值begin()并将所有其他反向迭代器进一步移动一位。这operator*对此进行补偿并无论如何访问正确的元素。

24.5.1 反向迭代器的第一段说：

类模板reverse_iterator是一个迭代器适配器，从定义的序列末尾开始迭代 通过其底层迭代器到该序列的开头。反向之间的基本关系 迭代器及其对应的迭代器 i 由恒等式建立：
&*(reverse_iterator(i)) == &*(i - 1).