Question

我的理解是关联容器的迭代器在插入或擦除期间不会失效（除非迭代器指向的节点被擦除）。但是在下面的程序中插入似乎使迭代器无效。我的理解错了吗？

typedef std::set<unsigned int> myset_t;

int main(int argc, char **argv)
{
    myset_t rs;
    myset_t::reverse_iterator rit;
    myset_t::reverse_iterator srit;
    int ii = 500;

    rs.insert(10);
    rs.insert(11);
    rs.insert(12);
    rs.insert(13);
    rs.insert(14);
    rs.insert(100000);
    rs.insert(102000);
    rs.insert(103000);

    rit = rs.rbegin();

    while(rit != rs.rend()) {
        srit = rit;
        if (*rit < 100000) {
            cout << "bailing here " << *rit << endl;
            return 0;
        } 
        rit++;
        cout << "Before erase " << *rit << endl;
        rs.erase(*srit);
        cout << "Before insert " << *rit << endl;
        rs.insert(ii);
        cout << "After insert " << *rit << endl;
        ii++;
    }
    cout << "Out of loop" << endl;
}
===

The output is 
Before erase 102000
Before insert 102000
After insert 14
bailing here 14

=====

Answer 1

标准容器的迭代器的承诺行为不适用于该容器的反向迭代器。

反向迭代器实际上存储正常（向前移动）迭代器作为成员，该迭代器在反向迭代器在解除引用时引用的元素之后来到。然后当你取消引用反向迭代器时，基本上它会减少这个存储的正常迭代器的副本并解除引用。所以这是一个问题：

rit = rs.rbegin(); // rit stores rs.end() srit = rit; // srit also stores rs.end() rit++; // rit stores a normal iterator pointing to the last element rs.erase(*srit); // this deletes the last element, invalidating the normal // iterator which is stored in rit. Funnily enough, the // one stored in srit remains valid, but now *srit is a // different value

反向迭代器的行为方式是这样的，因为没有“before begin”迭代器。如果他们将迭代器存储到它们实际引用的元素，那么rs.rend()会存储什么？我确信有办法解决这个问题，但我想他们需要妥协，标准委员会不愿意这样做。或许他们从未考虑过这个问题，或者认为它不够重要。

为什么insert使std :: set reverse迭代器无效

1 个答案: