std::ranges::views::drop_while, std::ranges::drop_while_view
在标头 <ranges> 定义
|
||
template< ranges::view V, class Pred > requires ranges::input_range<V> && |
(1) | (C++20 起) |
namespace views { inline constexpr /* 未指定 */ drop_while = /* 未指定 */; |
(2) | (C++20 起) |
调用签名 |
||
template< ranges::viewable_range R, class Pred > requires /* 见下文 */ |
(C++20 起) | |
template< class Pred > constexpr /* 范围适配器闭包 */ drop_while( Pred&& pred ); |
(C++20 起) | |
drop_while_view 在底层视图 V 实现 contiguous_range
、random_access_range
、bidirectional_range
、 forward_range
、input_range
和 common_range
时实现对应概念。如果 ranges::forward_range<V> 与 std::sized_sentinel_for<ranges::sentinel_t<D>, ranges::iterator_t<D>> 都得到实现,那么它也实现 sized_range
。
数据成员
Member name | Definition |
base_ (私有)
|
V 类型的底层 view (仅用于阐述的成员对象*) |
pred_ (私有)
|
copyable-box <Pred> (C++23 前)movable-box <Pred> (C++23 起) 类型的底层函数对象(仅用于阐述的成员对象*) |
cache_ (私有) (有条件提供) |
TODO: mension L4$, see notes. (仅用于阐述的成员对象*) |
成员函数
构造 drop_while_view (公开成员函数) | |
返回底层(适配的)视图的副本 (公开成员函数) | |
返回到存储的谓词的引用 (公开成员函数) | |
返回指向起始的迭代器 (公开成员函数) | |
返回 指向末尾的迭代器或哨位 (公开成员函数) | |
继承自 std::ranges::view_interface | |
返回视图是否为空。仅当视图满足 forward_range 时提供。 ( std::ranges::view_interface<D> 的公开成员函数) | |
(C++23) |
返回指向范围起始的常量迭代器。 ( std::ranges::view_interface<D> 的公开成员函数) |
(C++23) |
返回对应于范围常量迭代器的哨位。 ( std::ranges::view_interface<D> 的公开成员函数) |
返回派生视图是否为非空。仅当 ranges::empty 可应用于它时提供。 ( std::ranges::view_interface<D> 的公开成员函数) | |
返回派生视图的数据的地址。若视图的迭代器类型满足 contiguous_iterator 则提供。 ( std::ranges::view_interface<D> 的公开成员函数) | |
返回派生视图中的元素数。若视图满足 forward_range 且其哨位与迭代器类型满足 sized_sentinel_for 则提供。 ( std::ranges::view_interface<D> 的公开成员函数) | |
返回派生视图中的首元素。仅当视图满足 forward_range 时提供。 ( std::ranges::view_interface<D> 的公开成员函数) | |
返回派生视图中的末元素。仅当视图满足 bidirectional_range 与 common_range 时提供。 ( std::ranges::view_interface<D> 的公开成员函数) | |
返回派生视图中的第 n 个元素。仅当视图满足 random_access_range 时提供。 ( std::ranges::view_interface<D> 的公开成员函数) |
推导指引
辅助模板
template< class T, class Pred > constexpr bool enable_borrowed_range<std::ranges::drop_while_view<T, Pred>> = |
(C++20 起) | |
std::ranges::enable_borrowed_range 的此特化使得 drop_while_view
在底层视图满足 borrowed_range
时满足它。
注解
为提供 range
概念所要求的均摊常数时间复杂度,begin
的结果缓存于 drop_while_view
对象内。如果在首次调用 begin() 修改底层范围,那么 drop_while_view
对象的后继使用可能导致非本意的行为。
示例
#include <iostream> #include <ranges> #include <string> #include <string_view> using std::operator""sv; [[nodiscard]] constexpr bool is_space(char p) noexcept { auto ne = [p](auto q) { return p != q; }; return !!(" \t\n\v\r\f" | std::views::drop_while(ne)); }; [[nodiscard("trims the output")]] constexpr std::string_view trim_left(std::string_view const in) noexcept { auto view = in | std::views::drop_while(is_space); return {view.begin(), view.end()}; } [[nodiscard("trims the output")]] constexpr std::string_view trim(std::string_view const in) { auto view = in | std::views::drop_while(is_space) | std::views::reverse | std::views::drop_while(is_space) | std::views::reverse ; return {view.begin(), view.end()}; } int main() { static_assert(trim_left(" \n C++23") == "C++23"sv); constexpr auto src{" \f\n\t\r\vHello, C++20!\f\n\t\r\v "sv}; static_assert(trim(src) == "Hello, C++20!"); static constexpr auto v = {0, 1, 2, 3, 4, 5}; for (int n : v | std::views::drop_while([](int i) { return i < 3; })) std::cout << n << ' '; std::cout << '\n'; }
输出:
3 4 5
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
LWG 3494 | C++20 | drop_while_view 始终不是 borrowed_range
|
在底层视图是 borrowed_range 时它是
|
参阅
(C++20) |
由另一 view 跳过前 N 个元素组成的 view (类模板) (范围适配器对象) |