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 /* unspecified */ drop_while = /* unspecified */; |
(2) | (自 C++20 起) |
调用签名 |
||
template< ranges::viewable_range R, class Pred > requires /* see below */ |
(自 C++20 起) | |
template< class Pred > constexpr /*range adaptor closure*/ drop_while( Pred&& pred ); |
(自 C++20 起) | |
drop_while_view 模型化了概念 contiguous_range
、random_access_range
、bidirectional_range
、forward_range
、input_range
和 common_range
,当底层视图 V 模型化了各自的概念时。如果 ranges::forward_range<V> 和 std::sized_sentinel_for<ranges::sentinel_t<V>, ranges::iterator_t<V>> 都是模型化的,它也模型化了 sized_range
。
内容 |
[编辑] 数据成员
成员名称 | 定义 |
base_ (private) |
类型为 V 的底层 view (仅供说明*) |
pred_ (private) |
类型为 copyable-box <Pred> (直到 C++23)movable-box <Pred> (自 C++23 起) 的底层函数对象(仅供说明*) |
cache_ (private)(条件存在) |
TODO: 提到 L4$,参见 备注。 (仅供说明*) |
[编辑] 成员函数
构造一个 drop_while_view (公共成员函数) | |
返回底层(自适应)视图的副本 (公共成员函数) | |
返回对存储的谓词的引用 (公有成员函数) | |
返回指向开头的迭代器。 (公有成员函数) | |
返回指向末尾的迭代器或哨兵。 (公有成员函数) | |
继承自 std::ranges::view_interface | |
返回派生视图是否为空。 如果它满足 sized_range 或 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 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++ 标准。
DR | 应用于 | 已发布的行为 | 正确行为 |
---|---|---|---|
LWG 3494 | C++20 | drop_while_view 从未是 borrowed_range |
如果其底层视图是,则它是一个 borrowed_range |
[编辑] 另请参阅
(C++20) |
一个由另一个 view 的元素组成的 view ,跳过前 N 个元素(类模板) (范围适配器对象) |