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 的目标参数类型。
示例：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
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}- 务必传入
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 不负责内存管理——它只干活，不管饭碗够不够大。
