命名空间
变体
操作

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

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

class take_view

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

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

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

    requires /* see below */
constexpr ranges::view auto

    take( R&& r, ranges::range_difference_t<R> count );
 (since C++20)
template< class DifferenceType >
constexpr /* range adaptor closure */ take( DifferenceType&& count );
 (since C++20)
1) 范围适配器，表示来自底层序列的元素的 view，从开头开始，到给定边界结束。
2) views::take 是一个 范围适配器对象。表达式 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))>)

 (since 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_ (private) 底层视图
(仅为说明用途的成员对象*)
ranges::range_difference_t<V> count_ (private) 要获取的元素数量
(仅为说明用途的成员对象*)

[编辑] 成员函数

 构造一个 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>;
 (since 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++ 标准。

DR 应用于 已发布行为 正确行为
LWG 3407 C++20 views::take 有时未能
构造一个定大小的随机访问范围		 结果类型被调整，以便
构造始终有效
LWG 3494 C++20 take_view 从来不是 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”