如何重构反向迭代器删除方法以避免奇异迭代器拷贝警告？

1. 禁止拷贝奇异迭代器是否违反C++标准？ #

C标准并未禁止拷贝奇异迭代器，标准仅规定奇异迭代器（即不指向任何元素的失效迭代器）除了赋值和销毁外，不能执行其他合法操作。而libstdc在启用迭代器合法性校验的调试模式下，会额外添加sanity check，禁止拷贝奇异迭代器——这是库的扩展校验逻辑，目的是提前发现误用迭代器的错误，并非违反标准。

2. 代码重构方案 #

问题根源在于：删除元素后，原反向迭代器的底层正向迭代器失效，导致反向迭代器变为奇异迭代器，拷贝时触发libstdc++的校验。正确的做法是利用erase返回的有效正向迭代器，重新构造反向迭代器返回，避免依赖已失效的迭代器。

重构后的代码如下：

#include <vector>
#include <iterator> // 用于std::prev

std::vector<int> int_vector;
using ReverseIteratorType = decltype(int_vector)::reverse_iterator;

void do_stuff();

ReverseIteratorType erase_with_reverse_iter(ReverseIteratorType iter)
{
    do_stuff();
    // 定位到反向迭代器指向元素对应的正向迭代器
    auto forward_iter = std::prev(iter.base());
    // 执行删除，获取指向删除位置后续元素的有效正向迭代器
    auto updated_forward = int_vector.erase(forward_iter);
    // 用有效正向迭代器构造反向迭代器，返回指向原迭代器后续位置的反向迭代器
    return ReverseIteratorType(updated_forward);
}

逻辑说明： #

• 反向迭代器的base()方法返回的正向迭代器，指向反向迭代器所指元素的下一个位置，因此需要用std::prev定位到实际要删除的元素的正向迭代器。
• vector::erase会返回指向被删除元素之后的有效正向迭代器，用这个迭代器构造反向迭代器，就能得到原逻辑中需要返回的“后续元素迭代器”，且全程不依赖失效的迭代器，避免奇异迭代器问题。

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