filter_view 类（C++ 标准库）
筛选出范围中与谓词不匹配的元素的视图。
语法
template<ranges::input_range V, indirect_unary_predicate<iterator_t<V>> Pred>
requires view<V> && is_object_v<Pred>
class filter_view : public view_interface<filter_view<V, Pred>>;
模板参数
V
基础范围的类型。
Pred
用于确定要删除的前导元素的谓词类型。
视图特征
有关下列条目的说明，请参阅视图类特征
| 特征 | 说明 |
|---|---|
| 范围适配器 | views::filter |
| 基础范围 | 必须满足 input_range 或更高范围 |
| 元素类型 | 与基础范围相同 |
| 视图枚举器类别 | input_range、forward_range或 bidirectional_range 取决于基础范围 |
| 已设置大小 | 否 |
是 const 可迭代 |
否 |
| 常见范围 | 仅当基础范围满足 common_range 要求时 |
| 借入范围 | 仅当基础范围满足 borrowed_range 要求时 |
成员
| 成员函数 | 描述 |
|---|---|
| 构造函数C++20 | 构造视图。 |
baseC++20 |
获取基础范围。 |
beginC++20 |
获取指向第一个元素的迭代器。 |
endC++20 |
获取视图末尾的 sentinel。 |
predC++20 |
获取对确定要删除哪些元素的谓词的引用。 |
| 继承自 view_interface | 描述 |
backC++20 |
获取最后一个元素。 |
emptyC++20 |
测试视图是否为空。 |
frontC++20 |
获取第一个元素。 |
operator boolC++20 |
测试视图是否不为空。 |
要求
标头： <ranges> （自C++20以来）
命名空间：std::ranges
编译器选项：/std:c++20或更高版本是必需的。
构造函数
构造 filter_view 的实例
1) constexpr filter_view(V base, P pred);
2) filter_view() requires default_initializable<V> && default_initializable<Pred> = default;
参数
base
基础视图。
pred
用于确定要从基础视图保留哪些元素的谓词。
有关模板参数类型的信息，请参阅模板参数。
返回值
一个 filter_view 实例。
注解
创建 filter_view 的最佳方法是使用 views::filter 范围适配器。 范围适配器是创建视图类的预期方法。 如果要创建自己的自定义视图类型，会公开视图类型。
1) 创建值初始化的 filter_view。 谓词和基础视图必须是可默认初始化的。
2) 对根据 base 视图和 pred 谓词构造 filter_view 进行移动。 通过 std::move() 移动 base 和 pred。
示例： filter_view
// requires /std:c++20 or later
#include <ranges>
#include <iostream>
#include <vector>
void print(auto v)
{
for (auto& x : v)
{
std::cout << x << ' ';
}
std::cout << '\n';
}
int main()
{
std::vector<int> v{0, 1, -2, 3, -4, -5, 6};
auto myView = std::views::filter(v, [](int i) {return i > 0; });
print(myView); // outputs 1 3 6
auto myView2 = v | std::views::filter([](int i) {return i < 3; });
print(myView2); // outputs 0 1 -2 -4 -5
}
1 3 6
0 1 -2 -4 -5
base
获取基础范围。
// Uses a copy constructor to return the underlying range
constexpr V base() const& requires std::copy_constructible<V>;
// Uses std::move() to return the underlying range
constexpr V base() &&;
参数
无。
返回
基础视图。
begin
获取指向视图中第一个元素的迭代器。
constexpr auto begin();
返回值
指向视图中第一个元素的迭代器。 如果视图没有谓词，则没有定义行为。
end
获取视图末尾的 sentinel。
constexpr auto end()
返回值
视图中最后一个元素后面的 sentinel：
pred
获取对确定要删除哪些前导元素的谓词的引用。
constexpr const Pred& pred() const;
返回值
对谓词的引用。
备注
如果类不存储谓词，则没有定义行为。
示例 pred
// requires /std:c++20 or later
#include <ranges>
#include <iostream>
#include <vector>
int main()
{
std::vector<int> v{0, 1, 2, 3, -4, 5, 6};
auto mv = v | std::views::filter(
[](int i) {return i < 5; }); // keep the elements < 5
std::cout << std::boolalpha << mv.pred()(v[6]); // outputs "false" because v[6] = 6 and 6 is not less than 5 (the predicate)
}