std::ranges::adjacent_view<V,N>::iterator

template< bool Const >
class /*iterator*/

(начиная с C++23)
(только для пояснения*)

Тип возвращаемого значения adjacent_view::begin и adjacent_view::end, если базовое представление V является common_range.

Тип /*iterator*/<true> возвращается перегрузками с квалификатором const. Тип /*iterator*/<false> возвращается перегрузками без квалификатора const.

Типы-члены

Член	Определение
`Base` (закрытый)	`maybe-const` <Const,V> (тип-член, используемый только для пояснения*)
`iterator_category`	`std::input_iterator_tag`
`iterator_concept`	`std::random_access_iterator_tag`, если `Base` моделирует `random_access_range`. В противном случае `std::bidirectional_iterator_tag`, если `Base` моделирует `bidirectional_range`. В противном случае `std::forward_iterator_tag`.
`value_type`	`std::tuple</REPEAT/(ranges::range_value_t<Base>, N)...>;`
`difference_type`	`ranges::range_difference_t<Base>`

Члены-данные

Член	Описание
`std::array<ranges::iterator_t<Base>, N>` `current_` (закрытый)	массив итераторов (объект-член, используемый только для пояснения*)

Функции-члены

(конструктор)	создаёт итератор (открытая функция-член)
operator*	получает доступ к элементу (открытая функция-член)
operator[]	получает доступ к элементу по индексу (открытая функция-член)
operator++operator++(int)operator--operator--(int)operator+=operator-=	перемещает базовые итераторы вперёд или назад (открытая функция-член)

Функции, не являющиеся членами

operator==operator<operator>operator<=operator>=operator<=> (C++23)	сравнивает базовые итераторы (функция)
operator+operator- (C++23)	выполняет арифметические операции с итераторами (функция)
iter_move (C++23)	приводит результат разыменования базового итератора к соответствующему типу rvalue-ссылки (функция)
iter_swap (C++23)	меняет местами объекты, на которые указывают два базовых итератора (функция)

Пример

#include <cassert>
#include <concepts>
#include <list>
#include <ranges>
#include <tuple>
#include <utility>
#include <vector>

int main()
{
    auto v = std::vector{0, 1, 2, 3, 4, 5};
    auto i = (v | std::views::adjacent<3>).begin();
    using I = decltype(i);
    static_assert(std::same_as<I::value_type, std::tuple<int, int, int>>);
    static_assert(std::same_as<I::iterator_concept, std::random_access_iterator_tag>);
    // some of available operators:
    ++i; i++; --i; i--; i += 2; i -= 2;
    assert(i[2] == std::tuple(2, 3, 4));
    using DI = decltype(*i);
    static_assert(std::same_as<DI, std::tuple<int&, int&, int&>>);
    std::get<1>(*i) = 42; // modifies v[1] via iterator i
    assert(v[1] == 42);

    auto l = std::list{0, 1, 2, 3, 4, 5};
    auto j = (l | std::views::adjacent<3>).begin();
    using J = decltype(j);
    static_assert(std::same_as<J::value_type, std::tuple<int, int, int>>);
    static_assert(std::same_as<J::iterator_concept, std::bidirectional_iterator_tag>);
    ++j; --j; j++; j--; // some of available operators
    // j += 2; j -= 2;       // error: these operator are not available
    // std::ignore() = j[1]; //        for bidirectional iterator
}

Ссылки

Стандарт C++23 (ISO/IEC 14882:2024):

26.7.25.3 Шаблон класса adjacent_view::iterator [range.adjacent.iterator]

См. также

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