使用std::remove_if处理std::string时lambda中pop_back导致结果异常

问题重现 #

尝试在std::remove_if的lambda内直接调用std::string::pop_back()删除匹配字符时，出现结果不符合预期的情况：

std::string s{"aabcdef"};
std::remove_if(s.begin(), s.end(), [&s](char a)
    {
        if (a == 'a')
        {
            s.pop_back();
            return true;
        }
        return false;
    });

预期输出：

bcdef
实际输出：
bcd

改用计数匹配次数后循环pop_back()的方式，能得到正确结果：

int removes{};
std::remove_if(s.begin(), s.end(), [&removes](char a)
    {
        if (a == 'a')
        {
                ++removes;
                return true;
        }
        return false;
    });
for (int i{}; i < removes; ++i) s.pop_back(); //s = "bcdef"

错误原因 #

std::remove_if的核心逻辑是遍历目标区间，把不需要移除的元素依次向前覆盖，最终返回新的逻辑结束迭代器。整个过程要求容器大小保持不变、迭代器始终有效——但你在lambda里调用s.pop_back()会直接修改std::string的长度，导致遍历过程中的迭代器失效，触发未定义行为，最终得到错误结果。

正确解决方式（erase-remove惯用法） #

C++标准库处理这类元素移除的标准姿势是erase-remove惯用法，无需手动计数或调用pop_back()：

std::string s{"aabcdef"};
// 用remove_if将保留元素移到区间前部，获取新的结束位置
auto new_end = std::remove_if(s.begin(), s.end(), [](char a) {
    return a == 'a';
});
// 调用erase截断字符串，真正移除冗余元素
s.erase(new_end, s.end());
// 此时s的值为"bcdef"

这种方式符合标准库设计逻辑，避免了手动操作带来的迭代器失效风险，代码更简洁安全。

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