std::ranges::views::filter要求容器满足input_range概念且元素可被谓词访问，支持std::vector、std::list等标准容器，但原生数组需用std::span包装；返回惰性filter_view，不拥有数据，不可下标访问或调用size()，须显式物化为容器。
std::ranges::views::filter 要求容器支持 range 且元素可被谓词访问
直接对 std::vector、std::list、std::array 等标准容器使用 std::ranges::views::filter 是安全的，但不能用于原生数组（如 int arr[5]）或 C 风格字符串指针——它们不是 range，需先用 std::ranges::subrange 或 std::span 包装。另外，容器必须满足 std::ranges::input_range，且其迭代器需支持 operator* 和 operator++。
常见错误现象：error: no match for call to ‘(const std::ranges::views::_Filter) (...)’，多因传入了非 range 类型，或谓词签名不匹配（比如试图用 int& 接收 const int&）。
- 确保头文件已包含：
#include <ranges>（C++20 起） - 谓词应接受容器元素的 const 引用或值类型，避免强制取非 const 引用（如
int&） - 若容器是
const限定的，谓词参数必须为const T&或T
过滤后得到的是 view，不是新容器
std::ranges::views::filter 返回一个惰性计算的 std::ranges::filter_view，它不拥有数据，也不复制元素；只在遍历时按需判断并跳过不满足条件的项。这意味着你不能直接对结果调用 .size()（除非底层 range 是 sized_range），也不能用下标访问（view[3] 非法）。
使用场景：适合链式处理（如 filter → transform → take）、流式遍历、或配合 std::ranges::for_each 使用；不适合需要随机访问或多次重复使用的场合。
立即学习“C++免费学习笔记（深入）”；
- 要转成实际容器，得显式构造：
std::vector result{filtered_view.begin(), filtered_view.end()}; - 若原 range 是临时对象（如函数返回的
std::vector），绑定 view 时务必用auto&&或延长生命周期，否则出现悬垂 view -
filtered_view的迭代器是 input_iterator，不可多次遍历；遍历一次后需重新创建 view
谓词写法影响性能与可读性
lambda 是最常用方式，但要注意捕获和求值时机。捕获外部变量时，若该变量在 view 生命周期内被修改，后续遍历行为可能不符合预期（因为谓词是延迟求值的）。
std::vector<int> v = {1, 2, 3, 4, 5};
int threshold = 3;
auto filtered = v | std::ranges::views::filter([&](int x) { return x > threshold; });
// ✅ 安全：threshold 是引用捕获，但 v 和 threshold 都在作用域内
- 避免在 lambda 中做重操作（如文件读取、内存分配），filter 是每元素调用一次
- 若谓词逻辑固定且简单，考虑用函数对象或
std::function提前定义，便于复用和测试 - 注意短路：filter 不改变原容器，也不预分配内存，所以空间开销恒定 O(1)
和传统 std::copy_if / erase-remove 的关键区别
std::ranges::views::filter 是零拷贝、零分配、纯视图层抽象；而 std::copy_if 会分配新内存，erase-remove 会就地修改原容器。三者适用阶段不同：view 适合“看”，copy_if 适合“存一份”，erase-remove 适合“删掉不要的”。
- 想保留原容器不变，又只需遍历满足条件的元素 → 用
views::filter - 需要把结果存下来供后续多次使用 → 显式构造 vector/list 等
- 原容器很大，且确定之后不再需要被过滤掉的元素 →
erase-remove更省内存 - 编译器对 view 链式调用优化较好，但调试时无法直接 inspect view 内容（GDB 可能只显示未展开的 view 结构）
真正容易被忽略的是 view 的生命周期管理——它不持有数据，也不延长源 range 的生命，一旦源容器析构，继续用该 view 就是未定义行为。
