如何从 stl 数据结构中删除反向迭代器？

Question

由于某种原因，以下代码失败。 您不能简单地通过使用其 base() 方法来擦除反向迭代器。

#include <set>
#include <iostream>

int main()
{
    std::set<int> setOfInts;
    setOfInts.insert(1);
    setOfInts.insert(2);
    setOfInts.insert(3);

    std::set<int>::reverse_iterator rev_iter = setOfInts.rbegin();
    std::set<int>::reverse_iterator nextRevIter = setOfInts.rbegin();
    ++nextIter;

    while ( rev_iter != setOfInts.rend())
    {
        // Find 3 and try to erase
        if (*rev_iter == 3)
        {
            // SEGFAULT HERE
            setOfInts.erase( rev_iter.base());
        }
        rev_iter = nextRevIter;
        ++nextRevIter;
    }

}

如何正确地执行上述操作？ 给定一个与您要删除的内容相对应的反向迭代器，如何删除它？

请注意，不幸的是，擦除不会使用reverse_iterators。 它想要真实的东西。

Answer 1

显然，解决方案是 base() 返回的是 1。 以下恒等式适用于反向迭代器：

&*(reverse_iterator(i)) == &*(i - 1) 

或者换句话说，反向迭代器始终是其基础的常规迭代器的一次传递。 不知道为什么。

在 GCC 中，

只需更改

        // SEGFAULT HERE
        setOfInts.erase( rev_iter.base());

为

        // WORKS!
        setOfInts.erase( --rev_iter.base());

我非常好奇为什么上面的身份有意义。

在 Visual Studio 中

回到工作并在 Visual Studio 中尝试此操作，我发现上述解决方案不太有效。 “nextIter”在擦除时变得无效。 相反，您需要保存擦除中的临时值以获取下一个迭代器，而不是像上面那样保留 nextIter。

  set<int>::iterator tempIter = setOfInts.erase(--rev_iter.base());
  rev_iter = setOfInts.erase(tempIter);

所以最终的解决方案是

int main()
{
    using namespace std;

    set<int> setOfInts;
    setOfInts.insert(1);
    setOfInts.insert(2);
    setOfInts.insert(3);

    set<int>::reverse_iterator rev_iter = setOfInts.rbegin();

    while ( rev_iter != setOfInts.rend())
    {
        // Find 3 and try to erase
        if (*rev_iter == 3)
        {
            cout << "Erasing : " << *rev_iter;
            set<int>::iterator tempIter = setOfInts.erase( --rev_iter.base());
            rev_iter = set<int>::reverse_iterator(tempIter);            
        }
        else
        {
            ++rev_iter;
        }
    }   

}

注意，关联容器不会从擦除返回迭代器。 所以这个解决方案不适用于地图、多重地图等。

Answer 2

当您使用反向迭代器进行迭代并想要使用 base() 修改其容器时，请始终记住，reverse_iterator 始终基于原始顺序的下一个迭代器。 这有点不直观，但它实际上使代码更简单：

#include <set>
int main()
{
    std::set<int> setOfInts;
    setOfInts.insert(1);
    setOfInts.insert(2);
    setOfInts.insert(3);

    typedef std::set<int>::reverse_iterator RevIter;

    RevIter rev_iter = setOfInts.rbegin();
    while (rev_iter != setOfInts.rend())
    {
        // Find 3 and try to erase
        if (*rev_iter == 3)
            setOfInts.erase(--rev_iter.base());

        ++rev_iter;
    }
}

在这个示例中，不需要保留“下一个”迭代器，因为基本迭代器没有失效！ （在处理普通迭代器时，我们确实需要它。）

反向迭代器的行为在处理单个项目时会产生奇怪的逐一困难，但实际上它简化了范围：

riValue = find(riEnd.base(), riBegin.base(), value);

使用与

iValue = find(riBegin, riEnd, value);

Answer 3

1 来自 map::erase，我们知道它只需要迭代器；

2 来自 reverse_iterator::base，我们知道 &*(reverse_iterator ( i ) ) == &*( i – 1 ).

因此，你可以用erase(--r_v.base())来擦除“”指向的元素r_v”（和“current-1”）：

            r_v+1            r_v          r_v-1
           current-2      current-1      current

Answer 4

使用迭代器本身调用erase（无需使用base）。

#include <set>
#include <iostream>

int main()
{
    std::set<int> setOfInts;
    setOfInts.insert(1);
    setOfInts.insert(2);
    setOfInts.insert(3);

    std::set<int>::reverse_iterator rev_iter = setOfInts.rbegin();

    while (rev_iter != setOfInts.rend())
    {
        // Find 3 and try to erase
        if (*rev_iter == 3)
        {
            rev_iter = setOfInts.erase(rev_iter);
        }
        else
        {
            ++rev_iter;
        }
    }
}

另外，您不需要单独的“下一个”迭代器（请参阅上面的更改）。 更好的方法是使用 std::remove_if （或类似的函数）。