[range.take.overview]

take_view produces a view of the first N elements from another view, or all the elements if the adapted view contains fewer than N.

The name views::take denotes a range adaptor object ([range.adaptor.object]).

Let E and F be expressions, let T be remove_cvref_t<decltype((E))>, and let D be range_difference_t<decltype((E))>.

If decltype((F)) does not model convertible_to<D>, views::take(E, F) is ill-formed.

Otherwise, the expression views::take(E, F) is expression-equivalent to:

(2.1)
If T is a specialization of ranges::empty_view ([range.empty.view]), then ((void) F, decay-copy(E)).
(2.2)
Otherwise, if T models random_access_range and sized_range and is
- (2.2.1)
  a specialization of span ([views.span]) where T::extent == dynamic_extent,
- (2.2.2)
  a specialization of basic_string_view ([string.view]),
- (2.2.3)
  a specialization of ranges::iota_view ([range.iota.view]), or
- (2.2.4)
  a specialization of ranges::subrange ([range.subrange]),
then T{ranges::begin(E), ranges::begin(E) + min<D>(ranges::size(E), F)}, except that E is evaluated only once.
(2.3)
Otherwise, ranges::take_view{E, F}.

:

vector<int> is{0,1,2,3,4,5,6,7,8,9};
take_view few{is, 5};
for (int i : few)
  cout << i << ' '; // prints: 0 1 2 3 4

— end example

]

24 Ranges library [ranges]