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

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 ) ) > ）：

• ( ( void ) f, decay-copy ( e ) ) ，如果 T 是 ranges:: empty_view ，除了 e 和 f 的求值顺序不确定；
• U ( ranges:: begin ( e ) , ranges:: begin ( e ) + std:: min < D > ( ranges:: distance ( e ) , f ) ) ，如果 T 是 std:: span 、 std::basic_string_view 或 ranges:: subrange 的特化，且同时满足 random_access_range 和 sized_range ，其中 U 是

• std:: span < typename T :: element_type > ，如果 T 是 std:: span 的特化；
• T ，如果 T 是 std::basic_string_view 的特化；
• ranges:: subrange < ranges:: iterator_t < T >> ，如果 T 是 ranges:: subrange 的特化；

• ranges:: iota_view ( * ranges:: begin ( e ) ,
  * ( ranges:: begin ( e ) + std:: min < D > ( ranges:: distance ( e ) , f ) ) ) ，如果 T 是 ranges:: iota_view 的特化，且同时满足 random_access_range 和 sized_range ；

否则，如果 T 是 ranges::repeat_view 的特化： views:: repeat ( * e. value_ , std:: min < D > ( ranges:: distance ( e ) , f ) ) ，如果 T 满足 sized_range ；在此情况下 e 仅被求值一次； views:: repeat ( * e. value_ , static_cast < D > ( e ) ) 否则；

(C++23 起)

• 否则， take_view ( e, f ) 。

在所有情况下， decltype ( ( f ) ) 必须满足 std:: convertible_to < D > 。

#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 << "): ";
        // 安全地仅获取最多 min(n, nums.size()) 个元素：
        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