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

Определено в заголовке `<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 > inline 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 — это адаптер диапазонов, который принимает view и вызываемый объект fun, и генерирует view, чьим i-ым элементом является значение, полученное в результате применения fun к каждому элементу в [i, i + N) исходного диапазона. F всегда имеет арность N.

Пусть S — размер исходного диапазона. Тогда размер сгенерированного диапазона:

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

2) Имя views::adjacent_transform<N> обозначает RangeAdaptorObject. При заданных подвыражениях e и f, и константном выражении N, выражение views::adjacent_transform<N>(e, f) эквивалентно:

((void)e, views::zip_transform(f)), если N равно 0 (за исключением того, что оценки e и f имеют неопределённую последовательность),
adjacent_transform_view<views::all_t<decltype((e))>, std::decay_t<decltype((f))>, N>(e, f) в противном случае.

3) Имя views::pairwise_transform обозначает RangeAdaptorObject, который ведет себя точно так же, как views::adjacent_transform<2>. В частности, арность F также 2, а fun — это двоичный вызываемый объект.

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

Члены-функции

(конструктор) (C++23)	строит `adjacent_transform_view` (публичная функция-член)
begin (C++23)	возвращает итератор начала (публичная функция-член)
end (C++23)	возвращает итератор или сторож до конца (публичная функция-член)
size (C++23)	возвращает количество элементов. Предоставляется только в том случае, если базовый (адаптированный) диапазон удовлетворяет `sized_range`. (публичная функция-член)
Унаследовано от `std::ranges::view_interface`
empty (C++20)	возвращает, пустой ли производный диапазон. Предоставляется, если он удовлетворяет `sized_range` или `forward_range`. (публичная функция-член `std::ranges::view_interface<D>`)
cbegin (C++23)	возвращает постоянный итератор начала диапазона. (публичная функция-член `std::ranges::view_interface<D>`)
cend (C++23)	возвращает сторож для постоянного итератора диапазона. (публичная функция-член `std::ranges::view_interface<D>`)
operator bool (C++20)	возвращает, пуст ли производный диапазон. Предоставляется, если для него применимо `ranges::empty`. (публичная функция-член `std::ranges::view_interface<D>`)
front (C++20)	возвращает первый элемент в производном диапазоне. Предоставляется, если он удовлетворяет `forward_range`. (публичная функция-член `std::ranges::view_interface<D>`)
back (C++20)	возвращает последний элемент в производном диапазоне. Предоставляется, если он удовлетворяет `bidirectional_range` и `common_range`. (публичная функция-член `std::ranges::view_interface<D>`)
operator[] (C++20)	возвращает n-ый элемент в производном диапазоне. Предоставляется, если он удовлетворяет `random_access_range`. (публичная функция-член `std::ranges::view_interface<D>`)

Правила вывода

(нет)

Типы членов

Тип члена Определение

InnerView (приватный) ranges::adjacent_view<V, N>.
(только для иллюстрации*)

Тип члена	Определение
`InnerView` (приватный)	`ranges::adjacent_view<V, N>`. (только для иллюстрации*)
`inner_iterator` (приватный)	`ranges::iterator_t<const InnerView>`, если `Const` является `true`. В противном случае, `ranges::iterator_t<InnerView>`. (только для иллюстрации*)
`inner_sentinel` (приватный)	`ranges::sentinel_t<const InnerView>`, если `Const` является `true`. В противном случае, `ranges::sentinel_t<InnerView>`. (только для иллюстрации*)

inner_iterator (приватный)

ranges::iterator_t<const InnerView>, если Const является true. В противном случае,
ranges::iterator_t<InnerView>.

(только для иллюстрации*)

inner_sentinel (приватный)

ranges::sentinel_t<const InnerView>, если Const является true. В противном случае,
ranges::sentinel_t<InnerView>.

(только для иллюстрации*)

Данные члены

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

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

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

Примечания

Макрокоманда проверки наличия функции	Значение	Std	Функция
`__cpp_lib_ranges_zip`	202110L	(C++23)	`std::ranges::zip_view`, `std::ranges::zip_transform_view`, `std::ranges::adjacent_view`, `std::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); };
    // Alternatively, the Fun could be any ternary (if window == 3) callable, e.g.:
    // 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++23 (ISO/IEC 14882:2023):

26.7.27 Представление смежных преобразований [range.adjacent.transform]

См. также

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

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