std::ranges::views::adjacent, std::ranges::adjacent_view, std::ranges::views::pairwise

template< ranges::forward_range V, std::size_t N >
    requires ranges::view<V> && (N > 0)
class adjacent_view
    : public ranges::view_interface<adjacent_view<V, N>>

namespace views {
    template< std::size_t N >
    constexpr /* unspecified */ adjacent = /* unspecified */ ;
}

namespace views {
    inline constexpr auto pairwise = adjacent<2>;
}

template< ranges::viewable_range R >
    requires /* see below */
constexpr ranges::view auto adjacent<N>( R&& r );

• S - N + 1, если S >= N,
• 0 в противном случае, а результирующее представление пусто.

• ((void)e, auto(views::empty<tuple<>>)), если N равно 0 и decltype((e)) моделирует forward_range,
• adjacent_view<views::all_t<decltype((e))>, N>(e) в противном случае.

adjacent_view всегда моделирует forward_range, а также моделирует bidirectional_range, random_access_range или sized_range, если тип адаптированного view моделирует соответствующую концепцию.

Поля данных

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

Руководства по выводу типов

(отсутствуют)

Вложенные классы

Вспомогательные шаблоны

template< class V, size_t N >
constexpr bool ranges::enable_borrowed_range<adjacent_view<V, N>> =
    ranges::enable_borrowed_range<V>;

Эта специализация ranges::enable_borrowed_range позволяет adjacent_view удовлетворять концепции borrowed_range, если ей удовлетворяет базовое представление.

Примечания

views::adjacent принимает только диапазоны прямого доступа, даже если N равно 0.

Между ranges::adjacent_view и ranges::slide_view есть сходство:

• Оба создают «скользящее окно» размером N.
• Оба имеют одинаковый размер S - N + 1, где S — размер адаптированного view, такого что S >= N > 0.

В таблице ниже показаны различия между этими адаптерами:

Пример

#include <print>
#include <ranges>
#include <tuple>

int main()
{
    static constexpr auto v = {1, 2, 3, 4, 5, 6};
    std::println("v = {}", v);

    for (int i{}; std::tuple t : v | std::views::adjacent<3>)
    {
        const auto [t0, t1, t2] = t;
        std::println("e = {:<{}}[{}, {}, {}]", "", 3 * i++, t0, t1, t2);
    }
}

v = [1, 2, 3, 4, 5, 6]
e = [1, 2, 3]
e =    [2, 3, 4]
e =       [3, 4, 5]
e =          [4, 5, 6]

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

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

Ссылки

• Стандарт C++23 (ISO/IEC 14882:2024):
• 26.7.25 Соседнее представление [range.adjacent]

См. также