C++20的范围库为容器操作带来了全新的范式，std::views::filter作为其中的核心过滤组件，配合管道操作符可以让我们用声明式的语法完成容器元素的筛选，避免编写冗长的循环判断逻辑。这种方式不仅代码可读性更高，还能利用范围库的惰性求值特性提升执行效率。
std::views::filter与管道操作符基础
std::views::filter是C++20标准库<ranges>头文件提供的视图适配器，它接收一个可调用对象作为过滤条件，返回一个只包含满足该条件元素的范围视图。管道操作符|则用于将原始范围和视图适配器连接起来，形成链式处理流程。
和传统的使用循环遍历容器、判断条件再插入新容器的做法相比，这种方式不需要额外创建临时容器，所有操作都是基于原始范围的视图，不会修改原始数据。
基础过滤示例
下面是一个过滤vector中偶数的简单示例，展示管道操作符和std::views::filter的基本配合方式：
#include <iostream>
#include <vector>
#include <ranges>
int main() {
std::vector<int> nums = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
// 使用管道操作符连接原始范围和filter视图
auto even_nums = nums | std::views::filter([](int n) {
return n % 2 == 0; // 过滤条件：元素为偶数
});
// 遍历过滤后的视图
for (int n : even_nums) {
std::cout << n << " ";
}
// 输出结果：2 4 6 8 10
return 0;
}
惰性求值特性说明
std::views::filter返回的视图是惰性求值的，也就是说只有在我们实际遍历视图的时候，过滤条件才会被执行，而不是在定义视图的时候就完成所有元素的筛选。这个特性在处理大规模数据的时候非常有用，可以避免不必要的计算开销。
下面的示例可以验证惰性求值的特性：
#include <iostream>
#include <vector>
#include <ranges>
int main() {
std::vector<int> nums = {1, 2, 3, 4, 5};
int call_count = 0; // 记录过滤条件的调用次数
auto filtered = nums | std::views::filter([&call_count](int n) {
call_count++;
std::cout << "判断元素：" << n << std::endl;
return n > 2;
});
std::cout << "定义视图后，调用次数：" << call_count << std::endl; // 输出0，此时还未执行过滤
// 遍历视图触发求值
for (int n : filtered) {
// 这里才会执行过滤条件
}
std::cout << "遍历后，调用次数：" << call_count << std::endl; // 输出5，遍历了所有元素
return 0;
}
结合其他范围适配器使用
管道操作符支持链式调用多个范围适配器，我们可以把std::views::filter和其他视图适配器结合使用，完成更复杂的处理需求。比如先过滤元素，再对过滤后的元素做转换：
#include <iostream>
#include <vector>
#include <ranges>
int main() {
std::vector<int> nums = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
// 先过滤出偶数，再把每个偶数乘以2
auto result = nums
| std::views::filter([](int n) { return n % 2 == 0; })
| std::views::transform([](int n) { return n * 2; });
for (int n : result) {
std::cout << n << " ";
}
// 输出结果：4 8 12 16 20
return 0;
}
使用注意事项
- std::views::filter返回的视图依赖于原始容器的生命周期，如果原始容器被销毁，再访问该视图会导致未定义行为，因此不要返回局部容器的过滤视图。
- 过滤条件中的可调用对象最好不要有副作用，因为惰性求值的特性可能导致副作用的执行时机不符合预期。
- 如果需要在过滤后获取一个独立的容器，而不是视图，可以用
std::ranges::to将视图转换为对应的容器类型，比如auto vec = even_nums | std::ranges::to<std::vector>();。 - 管道操作符的优先级较低，如果和其他运算符一起使用，建议加上括号明确执行顺序，避免语法错误。
与传统过滤方式对比
我们可以通过一个简单的对比来看两种方式的差异，传统循环过滤的写法如下：
#include <iostream>
#include <vector>
int main() {
std::vector<int> nums = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
std::vector<int> even_nums;
for (int n : nums) {
if (n % 2 == 0) {
even_nums.push_back(n);
}
}
for (int n : even_nums) {
std::cout << n << " ";
}
return 0;
}
对比可以看到，使用std::views::filter配合管道操作符的代码更简洁，逻辑更清晰，而且不需要额外的容器拷贝，在性能和代码可读性上都有优势。对于熟悉函数式编程风格的开发者来说，这种写法也会更加友好。
C++20std::views::filter管道操作符范围库修改时间：2026-06-15 18:36:44