std::ranges::copy_if 不自动扩容目标容器,必须用 std::back_inserter 或预先 reserve 空间;要求源可遍历、谓词可调用、目标迭代器可写;推荐 back_inserter 实现安全追加,支持视图组合,c++20 起可用。

std::ranges::copy_if 的基本用法和常见错误
直接调用 std::ranges::copy_if 不会自动扩容目标容器,这是最常踩的坑——结果“看不见”,不是逻辑错,是目标空间不足。它只复制满足条件的元素到已分配好空间的迭代器范围,不会像 std::vector::push_back 那样动态增长。
正确做法是先预留足够空间,或用插入迭代器(std::back_inserter)替代普通迭代器:
- 若目标容器已知最大可能大小(如原容器 size),可用
reserve()+begin(),但必须确保容量 ≥ 满足条件的元素个数,否则越界 - 更安全通用的做法是用
std::back_inserter(dest_vec),它自动调用push_back -
std::ranges::copy_if要求源范围可遍历、谓词可调用、目标迭代器可写,三者缺一不可
用 back_inserter 实现安全追加
这是实际项目中最推荐的方式,尤其当过滤后数量未知时。注意 std::back_inserter 返回的是插入迭代器,不能解引用或自增以外的操作,但完全兼容 std::ranges::copy_if 的目标参数类型。
示例:
std::vector<int> src = {1, 2, 3, 4, 5, 6};
std::vector<int> dest;
std::ranges::copy_if(src, std::back_inserter(dest), [](int x) { return x % 2 == 0; });
// dest 现在是 {2, 4, 6}</int></int>
- 务必传入
std::back_inserter(dest),而不是dest.begin()或dest.end() - 谓词 lambda 必须捕获正确(此处无捕获,没问题;若需外部变量,注意生命周期)
- C++20 起支持,编译需开启
-std=c++20,且标准库需较新(GCC 10+/Clang 13+/MSVC 19.30+)
与传统 std::copy_if 的关键差异
旧版 std::copy_if 接受三个迭代器(first, last, out),而 std::ranges::copy_if 接收一个范围(range)和一个输出迭代器,语义更清晰,也支持哨兵(sentinel)和子范围切片。
- 不用手动算
end():传src整个 vector 即可,无需src.begin(), src.end() - 支持视图组合:比如
std::ranges::copy_if(src | std::views::take(10), ...)直接作用于视图 - 不支持输出为裸数组(如
int arr[10]),因为 ranges 版本要求输出迭代器满足weakly_incrementable且能写入,裸指针虽满足但容易因长度误判导致溢出,编译器通常不报错但行为未定义
性能与容器选择的影响
用 std::back_inserter 时,目标容器的 push_back 效率直接影响整体性能。对 std::vector,若未 reserve,多次 realloc 可能带来 O(n²) 开销;对 std::list 或 std::deque,则无此问题,但随机访问代价高。
- 若已知大致过滤比例(如约 30% 保留),可先
dest.reserve(src.size() * 0.3 + 1)再用dest.begin()目标,避免重复分配 -
std::ranges::copy_if本身是单次遍历,复杂度 O(n),无额外拷贝开销(移动语义下,T 类型若支持移动则自动优化) - 若目标是固定大小缓冲区(如栈数组),必须自己确保长度足够,并用
std::ranges::copy_if+ 普通指针,但需手动检查是否溢出,不推荐用于生产逻辑
真正麻烦的从来不是怎么写那一行代码,而是没意识到 std::ranges::copy_if 不负责内存管理——它只干活,不管饭碗够不够大。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











