C++实现list删除大于前驱元素时erase不生效问题求解

• 函数参数使用了值传递：void deleteBigger(list<int> s) 传入函数的是原列表的临时拷贝，函数内所有erase操作都只作用在这个拷贝上，函数执行结束后拷贝会直接销毁，外部的原列表不会发生任何修改，这是删除逻辑不生效的核心原因。
• 迭代器使用存在未定义行为：
  1. 循环从首元素begin()位置启动，第一次执行test--时会越界到首节点之前的非法位置，行为完全不可控
  2. list::erase会使被删除节点对应的迭代器失效，原代码erase后没有更新迭代器，后续的迭代器偏移操作属于未定义行为
• 迭代器偏移逻辑混乱：循环本身已经在for语句里做了test++，循环内部又做了两次偏移，很容易跳过节点或者越界。

// 参数改为左值引用，直接操作原列表，避免拷贝
void deleteBigger(list<int>& s){
    // 列表元素少于2个时不存在前驱比较场景，直接返回
    if (s.size() < 2) {
        return;
    }
    // 从第二个元素开始遍历，第一个元素无前驱不需要判断
    list<int>::iterator it = next(s.begin());
    while (it != s.end()) {
        list<int>::iterator prev_it = prev(it);
        if (*it > *prev_it) {
            // erase返回被删除节点的下一个有效迭代器，直接赋值避免迭代器失效
            it = s.erase(it);
        } else {
            it++;
        }
    }
}

你在main函数中单独测试erase能正常工作，是因为测试时直接操作了原列表对象，没有经过值传递产生拷贝的步骤。原代码即使把参数改成引用，迭代器的越界和失效问题也会导致删除结果不符合预期。

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