命名空间
变体
操作

std::ranges::views::drop, std::ranges::drop_view

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

class drop_view

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

    inline constexpr /* 未指定 */ drop = /* 未指定 */;

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

    requires /* 见下文 */
constexpr ranges::view auto

    drop( R&& r, ranges::range_difference_t<R> count );
(自 C++20 起)
template< class DifferenceType >
constexpr /* 范围适配器闭包 */ drop( DifferenceType&& count );
(自 C++20 起)
1) 一个范围适配器,由底层序列中的元素组成,跳过前 N 个元素。
2) RangeAdaptorObject. 假设 Tstd::remove_cvref_t<decltype((e))> 并且 Dranges::range_difference_t<decltype((e))>, 表达式 views::drop(e, f) 等价于
  • views::repeat(*e.value_, ranges::distance(e) - inc), 如果 T 符合 sized_range;在这种情况下,e 仅被评估一次;
  • ((void)e, auto(f)) 否则,除了 ef 的评估顺序是不确定的;
(从 C++23 开始)
  • 否则,drop_view(e, f).
在所有情况下,decltype((f)) 必须符合 std::convertible_to<D>

当底层视图 V 符合相应的概念时,drop_view 符合概念 contiguous_rangerandom_access_rangebidirectional_rangeforward_rangeinput_rangecommon_rangesized_range

内容

[edit] 数据成员

成员名称 定义
base_ (私有) 底层(改编)view,类型为 V
(仅供说明,实现无需以这种方式定义实体。此实体的名称未指定。)
count_ (私有) 要跳过的元素数量,类型为 ranges::range_difference_t<V>
(仅供说明,实现无需以这种方式定义实体。此实体的名称未指定。)
cache_ (私有)
(条件存在)
TODO:提到 L4$
(仅供说明,实现无需以这种方式定义实体。此实体的名称未指定。)

[edit] 成员函数

构造 drop_view
(公有成员函数) [edit]
返回底层(改编)视图的副本
(公有成员函数) [edit]
返回指向开头的迭代器
(公有成员函数) [edit]
返回指向结尾的迭代器或哨兵
(公有成员函数) [edit]
返回元素数量。仅当底层(改编)范围满足 sized_range 时提供。
(公有成员函数) [edit]
std::ranges::view_interface 继承
返回派生视图是否为空。仅当它满足 sized_rangeforward_range 时提供。
(std::ranges::view_interface<D> 的公有成员函数) [edit]
(C++23)
返回指向范围开头的常量迭代器。
(std::ranges::view_interface<D> 的公有成员函数) [edit]
(C++23)
返回范围的常量迭代器的哨兵。
(std::ranges::view_interface<D> 的公有成员函数) [edit]
返回派生视图是否不为空。仅当 ranges::empty 对它适用时提供。
(std::ranges::view_interface<D> 的公有成员函数) [edit]
获取派生视图数据的地址。仅当它的迭代器类型满足 contiguous_iterator 时提供。
(std::ranges::view_interface<D> 的公有成员函数) [edit]
返回派生视图中的第一个元素。仅当它满足 forward_range 时提供。
(std::ranges::view_interface<D> 的公有成员函数) [edit]
返回派生视图中的最后一个元素。仅当它满足 bidirectional_rangecommon_range 时提供。
(std::ranges::view_interface<D> 的公有成员函数) [edit]
返回派生视图中的第 n 个元素。仅当它满足 random_access_range 时提供。
(std::ranges::view_interface<D> 的公有成员函数) [edit]

[edit] 推导指南

[edit] 辅助模板

template< class T >

constexpr bool enable_borrowed_range<std::ranges::drop_view<T>> =

    ranges::enable_borrowed_range<T>;
(自 C++20 起)

ranges::enable_borrowed_range 的这个特化使 drop_view 在底层视图满足它时满足 borrowed_range

[edit] 示例

#include <iostream>
#include <ranges>
 
int main()
{
    const auto nums = {1, 2, 3, 4, 5, 6, 7};
 
    std::cout << "drop " << 2 << ": ";
    for (int i : std::ranges::drop_view{nums, 2})
        std::cout << i << ' ';
    std::cout << '\n';
 
    std::cout << "drop " << 3 << ": ";
    for (int i : nums | std::views::drop(3))
        std::cout << i << ' ';
    std::cout << '\n';
 
    std::cout << "drop " << 4 << ": ";
    for (int i : std::views::iota(1, 8) | std::views::drop(4))
        std::cout << i << ' ';
    std::cout << '\n';
 
    // Note that dropping more than the number of elements is OK:
    for (int dp : {5, 6, 7, 890, 100500})
    {
        std::cout << "drop " << dp << ": ";
        for (int i : std::views::iota(1, 8) | std::views::drop(dp))
            std::cout << i << ' ';
        std::cout << '\n';
    }
}

输出

drop 2: 3 4 5 6 7
drop 3: 4 5 6 7
drop 4: 5 6 7
drop 5: 6 7
drop 6: 7
drop 7:
drop 890: 
drop 100500:

[edit] 缺陷报告

以下行为更改缺陷报告被追溯地应用于先前发布的 C++ 标准。

DR 应用于 已发布的行为 正确行为
LWG 3407 C++20 views::drop 有时无法
构造一个大小确定的随机访问范围
构造被调整
以便它始终有效
LWG 3494 C++20 drop_view 从未是 borrowed_range 如果它的底层视图是,它就是 borrowed_range

[edit] 参见

一个 view,它包含另一个 view 的元素,跳过直到谓词返回 false 的第一个元素为止的初始元素子序列
(类模板) (范围适配器对象)[edit]