std::ranges::views::drop, std::ranges::drop_view
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template< ranges::view V > class drop_view |
(1) | (自 C++20 起) |
namespace views { inline constexpr /* 未指定 */ drop = /* 未指定 */; |
(2) | (自 C++20 起) |
调用签名 |
||
template< ranges::viewable_range R > requires /* 见下文 */ |
(自 C++20 起) | |
template< class DifferenceType > constexpr /* 范围适配器闭包 */ 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) 等价于- ((void)f,
T
是 ranges::empty_view, 除了 e 和 f 的求值顺序是未定的; - 否则,T(ranges::begin(e) + inc, ranges::end(e),
/*to-unsigned-like*/(ranges::distance(e) - inc)), 如果T
是 ranges::subrange 的特化,它同时建模了random_access_range
和sized_range
,并且T
需要存储大小(有关详细信息,请参阅 ranges::subrange::subrange()),其中 inc 是 std::min<D>(ranges::distance(e), f); - 否则,U(ranges::begin(e) + inc, ranges::end(e)), 如果
T
是 std::span, std::basic_string_view, ranges::iota_view, 或 ranges::subrange 的特化,它同时建模了random_access_range
和sized_range
,其中U
是
|
(从 C++23 开始) |
- 否则,
drop_view(e, f)
.
decltype((f))
必须符合 std::convertible_to<D>
。当底层视图 V
符合相应的概念时,drop_view
符合概念 contiguous_range
、random_access_range
、bidirectional_range
、forward_range
、input_range
、common_range
和 sized_range
。
内容 |
[edit] 数据成员
成员名称 | 定义 |
base_ (私有) |
底层(改编)view ,类型为 V (仅供说明,实现无需以这种方式定义实体。此实体的名称未指定。) |
count_ (私有) |
要跳过的元素数量,类型为 ranges::range_difference_t<V> (仅供说明,实现无需以这种方式定义实体。此实体的名称未指定。) |
cache_ (私有)(条件存在) |
TODO:提到 L4$ (仅供说明,实现无需以这种方式定义实体。此实体的名称未指定。) |
[edit] 成员函数
构造 drop_view (公有成员函数) | |
返回底层(改编)视图的副本 (公有成员函数) | |
返回指向开头的迭代器 (公有成员函数) | |
返回指向结尾的迭代器或哨兵 (公有成员函数) | |
返回元素数量。仅当底层(改编)范围满足 sized_range 时提供。(公有成员函数) | |
从
| |
返回派生视图是否为空。仅当它满足 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> 的公有成员函数) |
[edit] 推导指南
[edit] 辅助模板
template< class T > constexpr bool enable_borrowed_range<std::ranges::drop_view<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 的第一个元素为止的初始元素子序列(类模板) (范围适配器对象) |