循环中调用std::list的remove方法引发段错误咨询

段错误的核心原因是范围for循环是迭代器遍历的语法糖，你以为没用到迭代器，实际上底层自动生成了迭代器遍历逻辑，删除元素时触发了迭代器失效。

你写的for(auto x : li)会被编译器展开为近似如下逻辑：

auto __begin = li.begin();
auto __end = li.end();
for (; __begin != __end; ++__begin) {
    auto x = *__begin;
    // 你编写的循环体逻辑
}

std::list是双向链表实现，调用成员函数remove(val)时，会遍历整个链表删除所有值等于val的节点，所有指向被删除节点的迭代器、指针、引用都会立即失效。
你的代码中，当遍历到值为4的节点时，隐藏的迭代器__begin正指向这个待删除节点，调用li.remove(x)后该节点被释放，__begin成为悬空迭代器，后续循环执行++__begin、解引用操作时就会触发未定义行为，段错误是这类未定义行为的典型表现。

根据需求选择对应写法即可：

• 如果你只是要删除链表中所有值为4的元素，完全不需要自己写外层循环：std::list::remove本身就会完成全链表遍历+匹配删除的逻辑，直接单独调用即可，性能最优也不会出错：

#include <iostream>
#include <list>

using namespace std;

int main() {
    list <int> li = {1, 2, 3, 4, 5};
    li.remove(4);
    return 0;
}

• 如果你需要在遍历过程中加入其他复杂判断逻辑，不要用remove，手动管理迭代器，配合erase成员函数的返回值更新迭代器：

#include <iostream>
#include <list>

using namespace std;

int main() {
    list <int> li = {1, 2, 3, 4, 5};
    for (auto it = li.begin(); it != li.end(); ) {
        if (*it == 4) {
            // erase返回被删除节点的下一个有效迭代器，不需要手动递增
            it = li.erase(it);
            // 可在此添加匹配到元素时的其他业务逻辑
        } else {
            ++it;
        }
    }
    return 0;
}

• 如果你使用C++20及以上标准，可以直接调用标准库提供的std::erase自由函数，写法更简洁，不需要手动处理迭代器：

#include <iostream>
#include <list>

using namespace std;

int main() {
    list <int> li = {1, 2, 3, 4, 5};
    std::erase(li, 4);
    return 0;
}

• 所有会修改容器内存结构的操作（插入、删除元素），都可能导致迭代器失效，不要因为没有显式声明迭代器就忽略这个规则：范围for、标准库算法的底层实现都依赖迭代器。
• 各容器的remove/erase成员函数迭代器失效规则不同，比如std::list的erase只会让被删元素的迭代器失效，而std::vector的erase会让被删元素之后的所有迭代器都失效，使用前需要确认对应规则。

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