C++ - begin() 返回带有非空列表的 end() 迭代器

Question

正如问题所暗示的，我对迭代器和列表有一种非常奇怪的行为。 因此，（类）问题要求一个函数从列表中删除满足条件的所有元素，当我试图涵盖我有一个所有元素都相同的列表的情况时，我发现最后一个元素仍然存在.

代码如下：

void esborra_tots(list<Estudiant>& t, int x) {
    list<Estudiant>::iterator it;
    list<Estudiant>::iterator itend = t.end();

    for (it = t.begin(); it != t.end(); it++) {
        if ((*it).consultar_DNI() == x) {

            t.erase(it);
            if (t.empty()) return;
            else it = t.begin();
        }
    }
}

我使用 itend 只是为了在调试时查看值。 这是会议：

这怎么可能？ PD：我不是在寻找解决问题的其他方法。

Answer 1

这是因为您在 it = t.begin() 之后执行 it++（循环后操作）。

删除它，并在你的循环体中粘贴一个else it++（虽然我更喜欢++it）；它只需要在您不进行擦除时发生。

这类似于erasing from a map while iterating over it的方法。

从该方法中得到提示，我们可以注意到您的 else it = t.begin() 是浪费的：您每次都从循环的开头开始，这增加了算法的算法复杂度。

改为使用the iterator returned by erase。

void esborra_tots(list<Estudiant>& t, int x) {
    list<Estudiant>::iterator it;
    list<Estudiant>::iterator itend = t.end();

    for (it = t.begin(); it != t.end(); ) {
        if ((*it).consultar_DNI() == x) {
            it = t.erase(it);
        }
        else {
            ++it;
        }
    }
}

注意我们也不再需要检查列表是否为空；如果它现在是空的，it 将是 t.end() 并且循环无论如何都会结束。

---

目前，您没有使用itend。出于显而易见的原因，您不能只是将其交换到循环条件中，但是如果您在它失效时将其重置，那么它可能是值得的：

void esborra_tots(list<Estudiant>& t, int x) {
    for (auto it = t.begin(), end = t.end(); it != end; ) {
        if (it->consultar_DNI() == x) {
            it = t.erase(it);
            end = t.end();
        }
        else {
            ++it;
        }
    }
}

但是，坚持使用原始代码但删除未使用的 itend 声明可能更清楚。

Answer 2

函数中使用的方法

void esborra_tots(list<Estudiant>& t, int x) {
    list<Estudiant>::iterator it;
    list<Estudiant>::iterator itend = t.end();

    for (it = t.begin(); it != t.end(); it++) {
        if ((*it).consultar_DNI() == x) {

            t.erase(it);
            if (t.empty()) return;
            else it = t.begin();
        }
    }
}

无效。调用erase方法后迭代器失效。

你可以这样写函数

void esborra_tots(list<Estudiant>& t, int x) {
    for ( auto it = t.begin(); it != t.end(); ) {
        if ((*it).consultar_DNI() == x) {

            it = t.erase(it);
        }
        else {
            ++it;
        } 
    }
}

但这太复杂了。如果使用 remove_if 方法，函数看起来会简单得多。

例如

void esborra_tots(list<Estudiant>& t, int x) {
    t.remove_if( [&x]( const auto &item ) { return item.consultar_DNI() == x; } );
}

这是一个演示程序。

#include <iostream>
#include <list>

int main() 
{
    std::list<int> list = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };

    for ( const auto &item : list ) std::cout << item << ' ';
    std::cout << '\n';

    list.remove_if( []( const auto &item ){ return item % 2 == 0; } );

    for ( const auto &item : list ) std::cout << item << ' ';
    std::cout << '\n';

    return 0;
}

它的输出是

0 1 2 3 4 5 6 7 8 9 
1 3 5 7 9