命名空间
变体
操作

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

来自 cppreference.cn
< cpp‎ | ranges
 
C++
 
范围库 (Ranges library)
范围适配器 (Range adaptors)
 
std::ranges::drop_view
 
定义于头文件 <ranges>
template< ranges::view V >

class drop_view

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

    inline constexpr /* unspecified */ drop = /* unspecified */;

}
 (2) (C++20 起)
调用签名 (Call signature)
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 /* range adaptor closure */ drop( DifferenceType&& count );
 (C++20 起)
1) 一个范围适配器，由底层序列的元素组成，跳过前 N 个元素。
2) RangeAdaptorObject。给定 T 为 std::remove_cvref_t<decltype((e))> 且 D 为 ranges::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)) 否则，除了 e 和 f 的求值顺序不确定之外；
 (C++23 起)
  • 否则为 drop_view(e, f)。
在所有情况下，decltype((f)) 必须模型 std::convertible_to<D>。

drop_view 在底层视图 V 模型相应概念时，模型概念 contiguous_range、random_access_range、bidirectional_range、forward_range、input_range、common_range 和 sized_range。

目录

[编辑] 数据成员

成员 描述
V base_ (私有) 底层视图
(仅用于阐释的成员对象*)
ranges::range_difference_t<V> count_ (私有) 要跳过的元素数量
(仅用于阐释的成员对象*)
non-propagating-cache<ranges::iterator_t<V>> cache_ (私有)
（仅当 V 满足 forward_range 但不满足 random_access_range 和 sized_range 时存在） 		一个缓存 begin() 调用结果的对象
(仅用于阐释的成员对象*)

[编辑] 成员函数

 构造 drop_view
(公共成员函数) [编辑]
 返回底层（适配）视图的副本
(公共成员函数) [编辑]
 返回指向起始的迭代器
(公共成员函数) [编辑]
 返回一个迭代器或一个哨兵到末尾
(公共成员函数) [编辑]
 返回元素数量，仅当底层（适配的）范围满足 sized_range 时提供
(公共成员函数) [编辑]
继承自 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 则提供
(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 >

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 时也满足该概念。

[编辑] 示例

运行此代码
#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:

[编辑] 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 发布时的行为 正确的行为
LWG 3407 C++20 views::drop 有时无法
构造一个带大小的随机访问范围		 已调整构造方式
使其始终有效
LWG 3494 C++20 drop_view 从未成为 borrowed_range 如果其底层视图是 borrowed_range，则它也是 borrowed_range

[编辑] 参阅

(C++20)
 一个 view，由另一个 view 的元素组成，跳过初始的元素子序列，直到第一个谓词返回 false 的元素
(类模板) (范围适配器对象)[编辑]
取自“https://cppreference.cn/mwiki/index.php?title=cpp/ranges/drop_view&oldid=181226”