命名空间
变体
操作

std::ranges::views::drop_while, std::ranges::drop_while_view

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
 
在头文件 <ranges> 中定义
template< ranges::view V, class Pred >

    requires ranges::input_range<V> &&
             std::is_object_v<Pred> &&
             std::indirect_unary_predicate<const Pred, ranges::iterator_t<V>>
class drop_while_view

    : public ranges::view_interface<drop_while_view<V, Pred>>
(1) (自 C++20 起)
namespace views {

    inline constexpr /* unspecified */ drop_while = /* unspecified */;

}
(2) (自 C++20 起)
调用签名
template< ranges::viewable_range R, class Pred >

    requires /* see below */

constexpr ranges::view auto drop_while( R&& r, Pred&& pred );
(自 C++20 起)
template< class Pred >
constexpr /*range adaptor closure*/ drop_while( Pred&& pred );
(自 C++20 起)
1) 一个范围适配器,它表示来自底层序列的元素的 view,从第一个谓词返回 false 的元素开始。
2) RangeAdaptorObject。表达式 views::drop_while(e, f)drop_while_view(e, f) 相当,对于任何合适的子表达式 ef 都是如此。

drop_while_view 模型化了概念 contiguous_rangerandom_access_rangebidirectional_rangeforward_rangeinput_rangecommon_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_rangeforward_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_rangecommon_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>> =

    ranges::enable_borrowed_range<T>;
(自 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

[编辑] 另请参阅

一个由另一个 view 的元素组成的 view,跳过前 N 个元素
(类模板) (范围适配器对象)[编辑]