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

template< ranges::view V >
class take_view
    : public ranges::view_interface<take_view<V>>

namespace views {
    inline constexpr /* unspecified */ take = /* unspecified */;
}

template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto
    take( R&& r, ranges::range_difference_t<R> count );

template< class DifferenceType >
constexpr /* range adaptor closure */ take( DifferenceType&& count );

1) Адаптер диапазона, представляющий представление элементов из исходной последовательности, начиная с начала и заканчивая заданной границей.

2) views::take — это RangeAdaptorObject. Выражение views::take(e, f) приводит к представлению, охватывающему первые f элементов из e. Результат не обязательно является 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