Namespaces
Variants

    std::ranges::views::adjacent_transform, std::ranges::adjacent_transform_view, std::ranges::views::pairwise_transform

    От ru.cppreference.net
     
    C++
    Поддержка компиляторов
    Автономное и размещенное выполнение
    Язык
    Стандартная библиотека
    Заголовки стандартной библиотеки
    Именованные требования
    Макросы проверки возможностей (C++20)
    Библиотека поддержки языка
    Библиотека концептов (C++20)
    Библиотека диагностики
    Библиотека управления памятью
    Библиотека метапрограммирования (C++11)
    Библиотека общих утилит
    Библиотека контейнеров
    Библиотека итераторов
    Библиотека диапазонов (C++20)
    Библиотека алгоритмов
    Библиотека строк
    Библиотека обработки текста
    Библиотека численных расчетов
    Библиотека даты и времени
    Библиотека ввода/вывода
    Библиотека файловой системы (C++17)
    Библиотека поддержки параллелизма (C++11)
    Библиотека управления исполнением (C++26)
    Технические спецификации
    Индекс символов
    Внешние библиотеки
     
    Библиотека диапазонов
    Адаптеры диапазонов
     
    std::ranges::adjacent_transform_view
    Функции-члены
    (C++26)
    Итератор
    Функции-члены
    ::Функции, не являющиеся членами
    Страж
    Функции-члены
    Функции, не являющиеся членами
     
    Определён в заголовке <ranges> 
    template< ranges::forward_range V, std::move_constructible F, std::size_t N >
  requires ranges::view<V> && (N > 0) && std::is_object_v<F> &&
           std::regular_invocable<F&,
               /*REPEAT*/(ranges::range_reference_t<V>, N)...> &&
           /*can-reference*/<std::invoke_result_t<F&,
               /*REPEAT*/(ranges::range_reference_t<V>, N)...>>
class adjacent_transform_view
    : public ranges::view_interface<adjacent_transform_view<V, F, N>>
    		(1) (начиная с C++23) 
    namespace views {
    template< std::size_t N >
    constexpr /* unspecified */ adjacent_transform = /* unspecified */;
}
    		(2) (начиная с C++23) 
    namespace views {
    inline constexpr auto pairwise_transform = adjacent_transform<2>;
}
    		(3) (начиная с C++23)
    Сигнатура вызова
    		 
    template< ranges::viewable_range R, class F >
    requires /* see below */
constexpr ranges::view auto adjacent_transform<N>( R&& r, F&& fun );
    		(начиная с C++23) 
    template< class F >
constexpr /*range adaptor closure*/ adjacent_transform<N>( F&& fun );
    		(начиная с C++23)
    1) adjacent_transform_view является адаптером диапазона, который принимает представление и вызываемый объект fun, и создаёт представление, чей i-й элемент является значением, которое является результатом применения fun к каждому элементу в [i, i + N) исходного представления. F всегда имеет арность N.
    Пусть S будет размером исходного представления. Тогда размер созданного представления равен:
    • S - N + 1, если S >= N, иначе
    • 0, и результирующее представление пусто.
    2) Имя views::adjacent_transform<N> обозначает объект-адаптер диапазона. Даны подвыражения e и f, и константное выражение N, выражение views::adjacent_transform<N>(e, f) является эквивалентным по выражению для:
    3) Имя views::pairwise_transform обозначает объект-адаптер диапазона, который ведёт себя точно так же, как views::adjacent_transform<2>. В частности, арность F также равна 2 и fun является бинарным вызываемым объектом.

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

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

    		создает adjacent_transform_view
    (публичная функция-член)
    		возвращает итератор на начало
    (публичная функция-член)
    		возвращает итератор или страж на конец
    (публичная функция-член)
    		возвращает количество элементов, предоставляется только если базовый (адаптированный) диапазон удовлетворяет sized_range
    (публичная функция-член)
    (C++26)
    		возвращает приблизительный размер результирующего 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>)

    Вложенные типы

    Тип Определение
    InnerView (приватный) ranges:: adjacent_view < V, N >
    ( тип-член только для демонстрации* )
    inner_iterator (приватный)
    inner_sentinel (приватный)

    Члены данных

    Участник Описание
    /*movable-box*/ < F > fun_ (private) преобразуемый вызываемый объект
    ( объект-участник только для демонстрации* )
    ranges:: adjacent_view < V,N > inner_ (private) хранимое представление
    ( объект-участник только для демонстрации* )

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

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

    Примечания

    views :: adjacent_transform принимает только forward ranges, даже когда N равен 0 .

    Макрос тестирования возможностей Значение Стандарт Функция
    __cpp_lib_ranges_zip 202110L (C++23) ranges:: zip_view ,
    ranges:: zip_transform_view ,
    ranges:: adjacent_view ,
    ranges::adjacent_transform_view

    Пример

    Запустить этот код 
    #include <array>
#include <iostream>
#include <ranges>
int main()
{
    constexpr static std::array data{1, 2, 3, 4, 5, 6};
    constexpr int window{3};
    auto Fun = [](auto... ints) { return (... + ints); };
    // Альтернативно, Fun может быть любым тернарным (если window == 3) вызываемым объектом, например:
    // auto Fun = [](int x, int y, int z) { return x + y + z; };
    constexpr auto view = data | std::views::adjacent_transform<window>(Fun);
    static_assert(
        view.size() == (data.size() - window + 1)
        && std::array{6, 9, 12, 15}
        == std::array{view[0], view[1], view[2], view[3]}
        && view[0] == Fun(data[0], data[1], data[2])
        && view[1] == Fun(data[1], data[2], data[3])
        && view[2] == Fun(data[2], data[3], data[4])
        && view[3] == Fun(data[3], data[4], data[5])
    );
    for (int x : view)
        std::cout << x << ' ';
    std::cout << '\n';
}

    Вывод: 

    6 9 12 15

    Отчёты о дефектах

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

    DR Applied to Behavior as published Correct behavior
    LWG 4098 C++23 views :: adjacent_transform < 0 > использовался для принятия диапазонов только для ввода сделан отклоненным

    Ссылки

    • Стандарт C++23 (ISO/IEC 14882:2024):
    • 26.7.27 Представление преобразования смежных элементов [range.adjacent.transform]

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

    (C++23)
    		представление, view состоящее из кортежей ссылок на смежные элементы адаптированного представления
    (шаблон класса) (объект адаптера диапазона)
    (C++20)
    		представление view последовательности, которое применяет функцию преобразования к каждому элементу
    (шаблон класса) (объект адаптера диапазона)
    (C++23)
    		представление, view состоящее из результатов применения функции преобразования к соответствующим элементам адаптированных представлений
    (шаблон класса) (объект точки настройки)
    (C++20)
    		применяет функцию к диапазону элементов
    (функциональный объект алгоритма)