过滤序列：算法重排与容器删除分开理解

需求先于容器技巧

要从一串任务中去掉取消项，先问是否要保留原输入、是否保留幸存项的顺序、谁拥有结果。书中通过学生分类不断改变实现，展示同一个业务规则可以用不同容器和算法表达。接口契约没有变，成本和失效规则却会变。

本例把任务缩成整数，非负值为保留项。copy_if 写入另一个 vector，原序列完全不动；就地 remove_if 则把保留项稳定地搬到前部，适合允许修改原序列的场景。它们都使用同一谓词含义，不让存储细节决定业务规则。

逻辑终点不等于容器终点

remove_if 返回的是保留前缀的终点。调用后 size 尚未缩小，尾部元素仍然存在，但不能把其具体值解释成被删除项清单。随后调用容器 erase，才销毁尾部元素并更新大小；这是算法与容器各自承担一半职责的结果。

示例不检查尾部碰巧留下什么，而是检查 erase 之后的完整序列。空输入自然形成空区间，全部淘汰时逻辑终点等于 begin。不要先保留指向某个业务对象的迭代器，再假设重排和删除后它仍表示同一个任务：即便某个位置仍可访问，那个位置的值也可能已经换了。

现代简写不取代理解契约

C++20 的 std::erase_if(vector, predicate) 可以直接表达就地过滤；这里保留两步写法，是为了说明 remove 算法不拥有容器的结构。若要同时得到两组并保留组内顺序，可以复制到两个目标，或用 stable_partition 得到分界，再自行决定是否拆成两个容器。

原书是 C++98 时代作品，函数对象和迭代器协议仍有教学价值，但旧式适配器不应直接移植。lambda 让局部判断更直观，标准 copy_if 也已经提供；这并不意味着算法会替你检查输出范围，裸 begin 指向空目标时仍不能写入，示例通过 back_inserter 建立新元素。

最低标准 C++11 · 完整程序 · 下载 .cpp

#include <algorithm>
#include <cassert>
#include <iterator>
#include <vector>
void discard_negative(std::vector<int>& tasks) {
    const auto end = std::remove_if(tasks.begin(), tasks.end(),
        [](int value) { return value < 0; });
    tasks.erase(end, tasks.end());
}
int main() {
    const std::vector<int> original{3, -1, 0, -2, 3};
    std::vector<int> selected;
    std::copy_if(original.begin(), original.end(), std::back_inserter(selected),
        [](int value) { return value >= 0; });
    const std::vector<int> expected{3, 0, 3};
    assert(selected == expected);
    auto modified = original;
    discard_negative(modified);
    assert(modified == expected && original[1] == -1);
    std::vector<int> empty;
    discard_negative(empty);
    assert(empty.empty());
    std::vector<int> rejected{-1, -2};
    discard_negative(rejected);
    assert(rejected.empty());
}

在本地编译

g++ -std=c++11 -Wall -Wextra -Wpedantic -pthread books-accelerated-cpp.cpp -o example && ./example

预期结果

预期：正常退出、无输出；所有 assert 通过。

CHECK YOUR UNDERSTANDING

合上答案，试着解释。

改成删除偶数，保留奇数原有顺序，负奇数也应保留。

继续查证

• Accelerated C++：§5.3、§6.3 学生分类与删除
• std::remove / remove_if

标准草案链接会随工作草案更新；本文版本标记对应示例最低要求，不表示草案中的所有新规则都适用于旧标准。