std::ranges::views::take, std::ranges::take_view - cppreference.com

2) views::take es un objeto adaptador de rango. La expresión views::take(e, f) resulta en una vista que representa los primeros f elementos de e. El resultado no es necesariamente un objeto take_view.

Es equivalente en expresión a (donde T es std::remove_cvref_t<decltype((e))> y D es ranges::range_difference_t<decltype((e))>):

• ((void)f, static_cast<T>(e)), si T es una vista ranges::empty_view, excepto que las evaluaciones de e y f están secuenciadas de manera indeterminada;
• U(ranges::begin(e), ranges::begin(e) + std::min<D>(ranges::distance(e), f)), si T es una especialización de std::span, std::basic_string_view, o ranges::subrange que modela tanto random_access_range como sized_range, donde U es

• std::span<typename T::element_type>, si T es una especialización de std::span;
• T, si T es una especialización de std::basic_string_view;
• ranges::subrange<ranges::iterator_t<T>>, si T es una especialización de ranges::subrange;

• ranges::iota_view(*ranges::begin(e), *(ranges::begin(e) + std::min<D>(ranges::distance(e), f))), si T es una especialización de ranges::iota_view que modela tanto random_access_range como sized_range;
• de lo contrario, take_view(e, f).

En todos los casos, decltype((f)) debe modelar std::convertible_to<D>.

#include <algorithm>
#include <iostream>
#include <ranges>

auto imprimir = [](char x) { std::cout << x; };

int main()
{
    constexpr char pi[] { '3', '.', '1', '4', '1', '5', '9', '2' };

    std::ranges::for_each(pi | std::ranges::views::take(6), imprimir);
    std::cout << '\n';

    std::ranges::for_each(std::ranges::take_view{pi, 42}, imprimir); // toma solo 8 chars
    std::cout << '\n';                                               // de manera segura
}

Salida: