copy_if 不是“复制粘贴”，是带脑子的筛选搬运工

上周帮同事调一个老项目，他写了二十行循环手动过滤 vector 里的偶数，再 push 到新容器里。我顺手改成一行 copy_if，他盯着屏幕愣了三秒：“这玩意儿真能跳过不满足条件的？不会越界吧？”——这种疑虑很真实。很多人把 copy_if 当成语法糖，其实它是个有边界意识、不改原序列、还能和各种判断逻辑无缝咬合的轻量级筛选器。

copy_if 的核心任务就一个：从源区间里挑出符合条件的元素，按原始顺序拷贝到目标位置。它不排序、不去重、不修改源数据，只做“条件搬运”。标准写法长这样：

copy_if(first, last, d_first, pred);

其中 first 和 last 是输入迭代器范围（左闭右开），d_first 是输出起始位置（可以是空容器的 begin()，也可以是已存在容器的某个位置），pred 是可调用对象——可以是 lambda、函数指针、函数对象，只要它接受一个参数并返回 bool。

关键点来了：d_first 所指容器必须预留足够空间，或确保插入操作合法。这点常被忽略。比如你用 vector<int> dest; copy_if(..., dest.begin(), ...)，编译能过，运行却大概率写越界——因为 dest.begin() 指向空容器的“首地址”，但那里根本没内存。正确做法是用 back_inserter(dest)，或者提前 dest.resize()，或者用 reserve() + push_back 配合。

实际用的时候，pred 往往才是重心。有人习惯写个独立函数：

bool is_positive(int x) { return x > 0; }
copy_if(src.begin(), src.end(), back_inserter(positives), is_positive);

没问题，但多数场景下，lambda 更自然——尤其当判断逻辑带状态或依赖上下文时。比如筛出“绝对值大于阈值且非零”的数：

int threshold = 10;
copy_if(src.begin(), src.end(), back_inserter(filtered),
        [threshold](int x) { return x != 0 && abs(x) > threshold; });

这里捕获 threshold 比传全局变量或写宏干净得多。注意：如果 lambda 要修改捕获变量，得加 mutable，但 pred 要求 const-callable，所以通常别改。

另一个容易踩的坑：copy_if 不保证目标容器清空。假如 dest 原来有 5 个元素，你 copy_if(..., dest.begin(), ...)，新元素会覆盖前几个位置，后面留着旧数据。这不是 bug，是设计使然——它只负责“搬”，不管“擦”。所以常见组合是：

dest.clear();
copy_if(src.begin(), src.end(), back_inserter(dest), pred);

或者更高效一点：

dest.erase(std::remove_if(dest.begin(), dest.end(), [](int x) { return /*旧条件*/; }), dest.end());
// ……但这就不是 copy_if 的活了，别混用。

说到效率，copy_if 是单趟遍历，时间复杂度 O(n)，没有隐藏开销。但它不做任何优化假设——比如不会因为你 pred 总返回 true 就自动 memcpy。所以别指望它替代 copy；该用 copy 的时候，就老老实实用 copy。

真正体现 copy_if 价值的地方，是和其他算法配合。比如先按某字段分组，再从中抽子集：

vector<Person> people = {/*...*/};
vector<Person> engineers;
copy_if(people.begin(), people.end(), back_inserter(engineers),
        [](const Person& p) { return p.role == "engineer" && p.years_exp >= 3; });

这里 pred 同时检查两个字段，逻辑清晰，不用拆成两层循环。如果后续要对 engineers 排序，就 sort(engineers.begin(), engineers.end(), by_name)——职责分明，各干各的。

还有个少有人提但很实用的技巧：copy_if 可以用于“条件性填充”已有容器。比如你有一块预分配好的内存（如 array<int, 100>），只想填其中满足条件的部分：

array<int, 100> buf;
auto it = copy_if(src.begin(), src.end(), buf.begin(),
                  [](int x) { return x % 2 == 0; });
size_t count = it - buf.begin(); // 实际拷贝了多少个

这时候 it 就是有效终点，比 count_if + copy_n 更直接。

最后说句实在的：copy_if 不是银弹。如果你需要统计+搬运+转换三合一，transform_if（C++23）更合适；如果源数据极大且条件极苛刻，手写循环加 early-return 可能更快（但得实测）。copy_if 的定位很清晰——当你明确只需要“筛选+保持顺序+拷贝”这三件事时，它就是最短路径。

下次看到一堆 if-else 套循环在筛数据，不妨停下来问一句：这段逻辑，能不能交给 copy_if 带着 lambda 一起带走？省下的不只是代码行数，还有维护时少一次理解成本。