std::ranges::views::zip_transform, std::ranges::zip_transform_view

template< std::copy_constructible F, ranges::input_range... Views >
    requires (ranges::view<Views> && ...) && (sizeof...(Views) > 0) &&
              std::is_object_v<F> && std::regular_invocable<
                  F&, ranges::range_reference_t<Views>...> &&
              /*can-reference*/<std::invoke_result_t<
                  F&, ranges::range_reference_t<Views>...>>
class zip_transform_view
     : public ranges::view_interface<zip_transform_view<F, Views...>>

namespace views {
    inline constexpr /*unspecified*/ zip_transform = /*unspecified*/;
}

template< class F, ranges::viewable_range... Rs >
    requires /* see below */
constexpr auto zip_transform( F&& f, Rs&&... rs );

При вызове с одним аргументом f, пусть FD будет std::decay_t<decltype(f)>, если:

• FD моделирует copy_constructible,
• FD& моделирует regular_invocable, и
• std::invoke_result_t<FD&> — это тип объекта,

тогда views::zip_transform(f) эквивалентен выражению ((void)f, auto(views::empty<std::decay_t<std::invoke_result_t<FD&>>>)). В противном случае вызов views::zip_transform некорректен. При вызове с более чем одним аргументом f и rs..., views::zip_transform(f, rs...) эквивалентен выражению ranges::zip_transform_view(f, rs...).

zip_transform_view моделирует концепции random_access_range, bidirectional_range, forward_range, input_range, common_range и sized_range, когда базовый ranges::zip_view<Views...> моделирует соответствующие концепции.

Объекты кастомизации

Идентификатор views::zip_transform обозначает объект кастомизации, который является константным объектом-функцией типа класса литерального semiregular. Для наглядности, неквалифицированная версия его типа обозначается как __zip_transform_fn.

Все экземпляры __zip_transform_fn равны. Эффекты вызова различных экземпляров типа __zip_transform_fn с одними и теми же аргументами эквивалентны, независимо от того, является ли выражение, обозначающее экземпляр, lvalue или rvalue, и квалифицирован ли он как const или нет (хотя не требуется, чтобы экземпляр с квалификатором volatile был вызываемым). Таким образом, views::zip_transform можно свободно копировать, и его копии можно использовать взаимозаменяемо.

Учитывая набор типов Args..., если std::declval<Args>()... удовлетворяют требованиям аргументов для views::zip_transform выше, __zip_transform_fn моделирует

• std::invocable<__zip_transform_fn, Args...>,
• std::invocable<const __zip_transform_fn, Args...>,
• std::invocable<__zip_transform_fn&, Args...>, и
• std::invocable<const __zip_transform_fn&, Args...>.
  

В противном случае, ни один оператор вызова функции __zip_transform_fn не участвует в решении перегрузки.

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

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

Типы членов

Члены данных

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

Примечания

Пример

#include <array>
#include <iostream>
#include <list>
#include <ranges>
#include <vector>
 
void print(auto const rem, auto const& r)
{
    std::cout << rem << '{'; 
    for (char o[]{0,' ',0}; auto const& e : r)
        std::cout << o << e, *o = ',';
    std::cout << "}\n";
}
 
int main()
{
    auto v1 = std::vector<float>{1, 2, 3};
    auto v2 = std::list<short>{1, 2, 3, 4};
    auto v3 = std::to_array({1, 2, 3, 4, 5});
 
    auto add = [](auto a, auto b, auto c) { return a + b + c; };
 
    auto sum = std::views::zip_transform(add, v1, v2, v3);
 
    print("v1:  ", v1);
    print("v2:  ", v2);
    print("v3:  ", v3);
    print("sum: ", sum);
}

v1:  {1, 2, 3}
v2:  {1, 2, 3, 4}
v3:  {1, 2, 3, 4, 5}
sum: {3, 6, 9}

См. также