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

constexpr auto begin() requires (!/simple-view/<V>);	(1)	(начиная с C++20)
constexpr auto begin() const requires ranges::range<const V>;	(2)	(начиная с 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, если take_view был инициализирован по умолчанию).

Базовый тип представления удовлетворяет ...		`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++.

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

См. также

end	возвращает итератор или сентинел конца (открытая функция-член)
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/cpp/ranges/take_view/begin