std::ranges::take_view<V>::begin

constexpr auto begin() requires (!__SimpleView<V>);	(1)	(since C++20)
constexpr auto begin() const requires ranges::range<const V>;	(2)	(since C++20)

Возвращает итератор на первый элемент take_view.

1) Возвращает std::counted_iterator или ranges::iterator_t<V>.

2) Возвращает std::counted_iterator или ranges::iterator_t<const V>.

Перегрузка (1) не участвует в разрешении перегрузки, если V является простой представлением (то есть, если V и const V — представления с одинаковыми типами итераторов и конечных значений).

Параметры

(нет)

Возвращаемое значение

Результат зависит от понятий, удовлетворяемых, возможно, константным типом базового представления Base_, который представляет собой V (для перегрузки (1)) или const V (для перегрузки (2)).

Пусть base_ — базовое представление, а count_ — число, переданное конструктору (0 при инициализации по умолчанию).

Базовое представление удовлетворяет ...		`random_access_range`
Базовое представление удовлетворяет ...		да	нет
`sized_range`	да	`ranges::begin(base_)`	`std::counted_iterator(ranges::begin(base_), ranges::range_difference_t<Base_>(this->size()))`
`sized_range`	нет	`std::counted_iterator(ranges::begin(base_), count_)`

Пример

#include <concepts>
#include <forward_list>
#include <iostream>
#include <ranges>
#include <string_view>
#include <type_traits>
using namespace std::literals;
 
int main()
{
    {
        static constexpr auto v = {"∀x"sv, "∃y"sv, "ε"sv, "δ"sv};
        auto view = std::ranges::take_view(v, 8);
        auto iter = view.begin();
        std::cout << *iter << '\n';
        static_assert(
            std::ranges::sized_range<decltype(v)> and
            std::ranges::random_access_range<decltype(v)> and
            std::is_same_v<decltype(iter), decltype(std::ranges::begin(v))>
        );
    }
 
    {
        std::forward_list v = {"Ax"sv, "Ey"sv, "p"sv, "q"sv};
        auto view = std::ranges::take_view(v, 8);
        auto iter = view.begin();
        std::cout << *iter << '\n';
        static_assert(
            not std::ranges::sized_range<decltype(v)> and
            not std::ranges::random_access_range<decltype(v)> and
            std::is_same_v<decltype(iter),
                std::counted_iterator<
                    std::forward_list<std::string_view>::iterator>>
        );
    }
}

Вывод:

∀x
Ax

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применено к	Поведение, как опубликовано	Корректное поведение
P2393R1	C++20	неявные преобразования между знаковыми и беззнаковыми типами целых чисел могут завершиться неудачно	сделано явным

См. также

end (C++20)	возвращает итератор или конечное значение до конца (публичный член-функция)
counted_iterator (C++20)	адаптер итератора, отслеживающий расстояние до конца диапазона (шаблон класса)
operator== (C++20)	сравнивает конечное значение с итератором, возвращенным из `take_view::begin` (функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/ranges/take_view/begin