take_while_view 类（C++ 标准库）
一个视图，其中包含与谓词匹配的范围的前导元素。
语法
template<view V, class Pred> requires
input_range<V> && is_object_v<Pred> &&
indirect_unary_predicate<const Pred, iterator_t<V>>
class take_while_view : public view_interface<take_while_view<V, Pred>>;
模板参数
Pred
谓词的类型，用于确定要放入视图中的前导元素。
V
基础视图的类型。
视图特征
有关下列条目的说明，请参阅视图类特征
| 特征 | 说明 |
|---|---|
| 范围适配器 | views::take_while |
| 基础范围 | 必须满足 input_range 或更高范围 |
| 元素类型 | 与基础范围相同 |
| 视图迭代器类别 | 与基础范围相同 |
| 已设置大小 | 否 |
是 const 可迭代 |
仅当基础范围是 const 可迭代，且谓词可使用 const 引用时。 |
| 常见范围 | 否 |
| 借入范围 | 否 |
成员
| 成员函数 | 描述 |
|---|---|
| 构造函数C++20 | 构造视图。 |
baseC++20 |
获取基础范围。 |
beginC++20 |
获取指向第一个元素的迭代器。 |
endC++20 |
获取视图末尾的 sentinel。 |
predC++20 |
获取对确定要获取哪些元素的谓词的引用。 |
从 view_interface 继承 |
描述 |
backC++20 |
获取最后一个元素。 |
dataC++20 |
获取指向第一个元素的指针。 |
emptyC++20 |
测试视图是否为空。 |
frontC++20 |
获取第一个元素。 |
operator[]C++20 |
获取指定位置的元素。 |
operator boolC++20 |
测试视图是否不为空。 |
size |
获取视图中的元素数。 |
要求
标头： <ranges> （自C++20以来）
命名空间：std::ranges
编译器选项：/std:c++20或更高版本是必需的。
构造函数
构造 take_while_view 的实例
1) take_while_view() requires
default_initializable<V> &&
default_initializable<Pred> = default;
2) constexpr take_while_view(V base, Pred pred);
参数
base
基础视图。
pred
，用于确定要放入视图中的前导元素的谓词。
有关模板参数类型的信息，请参阅模板参数。
返回值
take_while_view 对象。
备注
创建 take_while_view 的最佳方法是使用 views::take_while 范围适配器。 范围适配器是创建视图类的预期方法。 如果要创建自己的自定义视图类型，会公开视图类型。
1) 对根据 base 视图和 pred 谓词构造 take_while_view 进行移动。 通过 std::move() 移动 base 和 pred。
2) 构造空的 take_while_view。 基础视图和谓词是默认构造的。
示例： take_while_view
// 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 twv = std::views::take_while(v, [](int i) {return i >= 0; });
for (auto& e : twv)
{
std::cout << e << ' '; // 0 1 2 3
}
std::cout << '\n';
// Using the '|' operator to create a take_view
for (auto i : v | std::views::take_while([](int i) {return i < 5; }))
{
std::cout << i << ' '; // 0 1 2 3 -4
}
}
0 1 2 3
0 1 2 3 -4
base
获取基础视图的副本。
// Uses a copy constructor to return the underlying view
1) constexpr V base() const& requires std::copy_constructible<V>;
// Uses a move constructor to return the underlying view
2) constexpr V base() &&;
参数
无。
返回
基础视图的副本。
begin
获取指向视图中第一个元素的迭代器。
1) constexpr auto begin() requires (!Simple_view<V>);
2) constexpr auto begin() const requires
range<const V> &&
indirect_unary_predicate<const Pred, iterator_t<const V>>
参数
无。
返回值
指向视图中第一个元素的迭代器。 如果视图没有谓词，则没有定义行为。
注解
对于 1，Simple_view 要求意味着视图 V 和 const V 具有相同迭代器和 sentinel 类型。
end
获取视图末尾的 sentinel。
1) constexpr auto end() requires (!Simple_view<V>);
2) constexpr auto end() const requires
range<const V> &&
indirect_unary_predicate<const Pred, iterator_t<const V>
参数
无。
返回值
视图中最后一个元素后面的 sentinel。
注解
对于 1，Simple_view 要求意味着视图 V 和 const V 具有相同迭代器和 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::take_while(
[](int i) {return i < 5; });
std::cout << std::boolalpha << mv.pred()(v[6]); // outputs false because v[6] = 6 and 6 is not less than 5 (the predicate)
}