命名空间
变体
操作

std::ranges::views::take, std::ranges::take_view

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

class take_view

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

    inline constexpr /* unspecified */ take = /* unspecified */;

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

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

    take( R&& r, ranges::range_difference_t<R> count );
 (C++20 起)
template< class DifferenceType >
constexpr /* range adaptor closure */ take( DifferenceType&& count );
 (C++20 起)
1) 一个范围适配器，表示一个底层序列中从头开始并以给定边界结束的元素 view。
2) views::take 是一个 RangeAdaptorObject。表达式 views::take(e, f) 产生一个视图，表示 e 中的前 f 个元素。结果不一定是 take_view。

views::take(e, f) 表达式等价于（其中 T 是 std::remove_cvref_t<decltype((e))>，D 是 ranges::range_difference_t<decltype((e))>）

 (C++23 起)
  • 否则，take_view(e, f)。
在所有情况下，decltype((f)) 必须模型 std::convertible_to<D>。

当底层视图 V 模型相应的概念时，take_view 模型 contiguous_range、random_access_range、bidirectional_range、forward_range、input_range 和 sized_range 等概念。当底层视图 V 同时模型 random_access_range 和 sized_range 时，它模型 common_range。

目录

[编辑] 数据成员

成员 描述
V base_ (私有) 底层视图
(仅用于阐释的成员对象*)
ranges::range_difference_t<V> count_ (私有) 要获取的元素数量
(仅用于阐释的成员对象*)

[编辑] 成员函数

 构造一个 take_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> 的公共成员函数) [编辑]

[编辑] 推导指南

[编辑] 嵌套类

(C++20)
 哨兵类型
(仅用于说明的成员类模板*)

[编辑] 辅助模板

template< class T >

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

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

此 std::ranges::enable_borrowed_range 的特化使得 take_view 在底层视图满足时也满足 borrowed_range。

[编辑] 示例

运行此代码
#include <algorithm>
#include <iostream>
#include <ranges>
 
int main()
{
    namespace views = std::views;
    auto print = [](char x){ std::cout << x; };
 
    for (const char nums[]{'1', '2', '3'};
         int n : views::iota(0, 5))
    {
        std::cout << "take(" << n << "): ";
        // safely takes only upto min(n, nums.size()) elements:
        std::ranges::for_each(nums | views::take(n), print);
        std::cout << '\n';
    }
}

输出

take(0): 
take(1): 1
take(2): 12
take(3): 123
take(4): 123

[编辑] 缺陷报告

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

缺陷报告 应用于 发布时的行为 正确的行为
LWG 3407 C++20 views::take 有时无法
构造大小已知的随机访问范围		 调整了结果类型，以便
构造总是有效的
LWG 3494 C++20 take_view 从未成为 borrowed_range 如果其底层视图是 borrowed_range，则它也是 borrowed_range

[编辑] 参阅

(C++20)
 从迭代器和计数创建子范围
(自定义点对象)[编辑]
(C++20)
 一个 view，由另一个 view 的初始元素组成，直到第一个谓词返回 false 的元素
(类模板) (范围适配器对象)[编辑]
(C++20)
 将一定数量的元素复制到一个新位置
(算法函数对象)[编辑]
取自 "https://cppreference.cn/mwiki/index.php?title=cpp/ranges/take_view&oldid=181205"