C++中std::remove其实并没有真正删除元素？ (Remove-Erase惯用法)

std::remove 不真正删除元素，仅将保留元素前移并返回新逻辑结尾迭代器；它不改变容器大小、不调用析构、不释放内存，必须配合 erase 才完成真正删除。

std::remove 为什么不会真正删掉元素

它根本不是删除函数，只是把要保留的元素往前挪，返回一个迭代器指向“新逻辑结尾”。原容器大小、内存布局全都不变，后面那些被覆盖的旧值还躺在那儿，只是被挤到末尾了。

• std::remove 是纯算法，不操作容器本身——它甚至不知道自己在处理 std::vector 还是裸数组
• 它只重排元素，不调用任何析构函数，也不释放内存
• 对 std::vector 来说，size() 完全不变；你看到的“删掉了”，其实是后续手动截断的结果

必须搭配 erase 才算真正删除

单独用 std::remove 后不跟 erase，等于白干：逻辑上没清理，内存没释放，还可能引发越界读或未定义行为（比如访问被“移走”但没销毁的临时对象）。

• 标准写法是：v.erase(std::remove(v.begin(), v.end(), value), v.end())
• 注意两个参数：第一个是 std::remove 返回的“新结尾”，第二个是容器真正的 end()
• 这个组合叫 Remove-Erase 惯用法，是 c++98 就确立的模式，不是可选项

用 std::remove_if 时容易漏掉谓词生命周期问题

传给 std::remove_if 的谓词如果捕获了局部变量或持有短命对象引用，而算法执行期间容器又发生 realloc（比如 std::vector 扩容），就可能访问野指针。

• 避免在 Lambda 中捕获栈变量地址，改用值捕获或静态数据
• 对自定义类型，确保谓词里不调用已失效对象的成员函数
• 调试时如果发现 std::remove_if 行为异常，先检查谓词是否意外依赖了外部状态

std::remove 不适用于关联容器和 list

std::remove 要求随机访问迭代器，所以不能直接用于 std::map、std::set 或 std::list（哪怕 list 有 remove() 成员函数）。

立即学习“C++免费学习笔记（深入）”；

• std::list::remove() 和 std::list::remove_if() 是成员函数，会真正删除节点并调用析构
• std::map 等只能用 erase 配合循环或 extract（C++17 起）
• 误把 std::remove 用在 std::list 上，编译不过；用在 std::map 上，连基本语义都错乱

最常被忽略的一点：Remove-Erase 惯用法对 std::vector 是 O(n) 时间 + 最多一次内存移动，但如果你反复对同一个容器做这个操作，性能会退化成 O(n²) —— 因为每次 erase 都要搬动后面所有元素。真要高频删，得换结构，比如用 std::deque 或带标记的延迟清理策略。