Namespaces
Variants

std::ranges::views::slide, std::ranges::slide_view

Материал из ru.cppreference.net
 
 
Библиотека диапазонов
Адаптеры диапазонов
 
 
Определён в заголовке <ranges>
template< ranges::forward_range V >
    requires ranges::view<V>
class slide_view
    : public ranges::view_interface<slide_view<V>>
(1) (начиная с C++23)
namespace views {
    inline constexpr /* unspecified */ slide = /* unspecified */;
}
(2) (начиная с C++23)
Сигнатура вызова
template< ranges::viewable_range R >
constexpr ranges::view auto slide( R&& r, ranges::range_difference_t<R> n );
(начиная с C++23)
template< class DifferenceType >
constexpr /* range adaptor object */ slide( DifferenceType&& n );
(начиная с C++23)
Вспомогательные концепты
template< class V >
concept /*slide-caches-nothing*/ =
    ranges::random_access_range<V> && ranges::sized_range<V>;
(3) (только для пояснения*)
template< class V >
concept /*slide-caches-last*/ =
    !/*slide-caches-nothing*/<V> &&
    ranges::bidirectional_range<V> && ranges::common_range<V>;
(4) (только для пояснения*)
template< class V >
concept /*slide-caches-first*/ =
    !/*slide-caches-nothing*/<V> && !/*slide-caches-last*/<V>;
(5) (только для пояснения*)
1) slide_view — это адаптер диапазона, который принимает view и число n и создаёт представление, mth элемент (или «окно») которого является представлением над [m, m + n - 1] элементами исходного представления.
Пусть s — размер исходного представления. Тогда размер созданного представления равен:
  • s - n + 1, если s >= n,
  • 0 иначе, и результирующее представление пусто.
2) Имя views::slide обозначает RangeAdaptorObject. Для подвыражений e и n выражение views::slide(e, n) эквивалентно выражению slide_view(e, n).

Если n не больше, чем 0, поведение не определено.

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

Члены данных

Член Описание
V base_ базовое представление
( объект-член только для демонстрации* )
ranges:: range_difference_t < V > n_ размер "окна"
( объект-член только для демонстрации* )
non-propagating-cache < ranges:: iterator_t < V >> cached_begin_
(присутствует только если V моделирует slide-caches-first )
объект, кэширующий результат begin()
( объект-член только для демонстрации* )
non-propagating-cache < ranges:: iterator_t < V >> cached_end_
(присутствует только если V моделирует slide-caches-last )
объект, кэширующий результат end()
( объект-член только для демонстрации* )

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

создает slide_view
(публичная функция-член)
возвращает итератор на начало
(публичная функция-член)
возвращает итератор или страж на конец
(публичная функция-член)
возвращает количество элементов, предоставляется только если базовый (адаптированный) диапазон удовлетворяет sized_range
(публичная функция-член)
возвращает приблизительный размер результирующего approximately_sized_range
(публичная функция-член)
Унаследовано от ranges::view_interface
возвращает, пуст ли производной обзор, предоставлен только если он удовлетворяет sized_range или forward_range
(открытая функция-элемент std::ranges::view_interface<D>)
(C++23)
возвращает константный итератор на начало диапазона
(открытая функция-элемент std::ranges::view_interface<D>)
(C++23)
возвращает ограничитель для константного итератора диапазона
(открытая функция-элемент std::ranges::view_interface<D>)
возвращает, не пуст ли производной обзор, предоставлен только если ranges::empty применим к нему
(открытая функция-элемент std::ranges::view_interface<D>)
возвращает первый элемент в производном обзоре, предоставлен если он удовлетворяет forward_range
(открытая функция-элемент std::ranges::view_interface<D>)
возвращает последний элемент в производном обзоре, предоставлен только если он удовлетворяет bidirectional_range и common_range
(открытая функция-элемент std::ranges::view_interface<D>)
возвращает n-й элемент в производном обзоре, предоставлен только если он удовлетворяет random_access_range
(открытая функция-элемент std::ranges::view_interface<D>)

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

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

(C++23)
тип итератора
( демонстрационный шаблон класса-члена* )
(C++23)
тип sentinel, используемый когда slide_view не является common_range
( демонстрационный шаблон класса-члена* )

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

template < class V >

constexpr bool ranges:: enable_borrowed_range < slide_view < V >> =

ranges:: enable_borrowed_range < V > ;
(начиная с C++23)

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

Примечания

Существуют сходства между ranges::adjacent_view и ranges::slide_view :

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

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

Адаптер представления value_type Размер окна N
ranges:: adjacent_view std::tuple Параметр шаблона
ranges :: slide_view ranges:: range Аргумент времени выполнения
Макрос тестирования возможностей Значение Стандарт Возможность
__cpp_lib_ranges_slide 202202L (C++23) std::ranges::slide_view

Пример

#include <algorithm>
#include <initializer_list>
#include <iostream>
#include <ranges>
auto print_subrange = [](std::ranges::viewable_range auto&& r)
{
    std::cout << '[';
    for (char space[]{0,0}; auto elem : r)
        std::cout << space << elem, *space = ' ';
    std::cout << "] ";
};
int main()
{
    const auto v = {1, 2, 3, 4, 5, 6};
    std::cout << "All sliding windows of width:\n";
    for (const unsigned width : std::views::iota(1U, 1U + v.size()))
    {
        auto const windows = v | std::views::slide(width);
        std::cout << "W = " << width << ": ";
        std::ranges::for_each(windows, print_subrange);
        std::cout << '\n';
    }
}

Вывод:

All sliding windows of width W:
W = 1: [1] [2] [3] [4] [5] [6] 
W = 2: [1 2] [2 3] [3 4] [4 5] [5 6] 
W = 3: [1 2 3] [2 3 4] [3 4 5] [4 5 6] 
W = 4: [1 2 3 4] [2 3 4 5] [3 4 5 6] 
W = 5: [1 2 3 4 5] [2 3 4 5 6] 
W = 6: [1 2 3 4 5 6]

Ссылки

  • Стандарт C++23 (ISO/IEC 14882:2024):
  • 26.7.29 Представление скользящего окна [range.slide]

Смотрите также

представление, view состоящее из кортежей ссылок на смежные элементы адаптированного представления
(шаблон класса) (объект адаптера диапазона)
диапазон view 'ов , которые являются N -размерными неперекрывающимися последовательными фрагментами элементов другого view
(шаблон класса) (объект адаптера диапазона)