C++如何使用std::ranges::views::filter过滤容器-C++-PHP中文网

std::ranges::views::filter要求容器满足input_range概念且元素可被谓词访问，支持std::vector、std::list等标准容器，但原生数组需用std::span包装；返回惰性filter_view，不拥有数据，不可下标访问或调用size()，须显式物化为容器。

c++如何使用std::ranges::views::filter过滤容器

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></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++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

要转成实际容器，得显式构造：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 都在作用域内
</int>

避免在 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 适合“删掉不要的”。