std::ranges::zip_transform_view(C++23)

namespace std::ranges {
  template<move_constructible F, input_range... Views>
    requires (view<Views> && ...) && (sizeof...(Views) > 0) && is_object_v<F> &&
              regular_invocable<F&, range_reference_t<Views>...> &&
              can-reference<invoke_result_t<F&, range_reference_t<Views>...>>
  class zip_transform_view : public view_interface<zip_transform_view<F, Views...>> { …… }; // (1)

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

概要

zip_transform_viewは複数のRangeから要素を1つずつ取得し、それらを引数として関数を呼び出した結果を要素とするview。

zip_transform_viewの要素を1つ取得するごとに、各Rangeの要素を1つずつ取得する。

zipするRangeのサイズが異なっている場合、zip_transform_viewのサイズはそれらの中で最小のサイズとなる。

• (1): zip_transform_viewのクラス定義
• (2): zip_transform_viewを生成するカスタマイゼーションポイントオブジェクト(Rangeアダプタオブジェクトではない)

Rangeコンセプト

• (1): zip_view<Views...>に従う

効果

• (2): Fを部分式、Es...を部分式のパックとする。式 views::zip_transform(F, Es...) の効果は以下の通り。
  • Es が空でないとき、zip_transform_view(F, Es...) と等しい
  • Es が空のとき、 FD を decay_t<decltype((F))>として、((void)F, auto(views::empty<decay_t<invoke_result_t<FD&>>>)) と等しい
    • ただし、 move_constructible<FD> && regular_invocable<FD&> が false、または decay_t<invoke_result_t<FD&>> がオブジェクト型でないとき、ill-formed

メンバ関数

継承しているメンバ関数

推論補助

例

#include <ranges>
#include <vector>
#include <print>

int main() {
  std::vector d = {1, 2, 3};
  std::vector p = {1, 10, 100, 1000};

  std::println("{}", std::views::zip_transform([](auto x, auto y){ return x * y; }, d, p));
  std::println("{}", std::views::zip_transform([](auto x, auto y){ return std::pair{x, y}; }, d, p));
}

出力

[1, 20, 300]
[(1, 1), (2, 10), (3, 100)]

バージョン

言語

• C++23

処理系

• Clang: 19 ✅
• GCC: 13 ✅
• Visual C++: 2022 Update 6 ✅

関連項目

• transform_view zipする範囲が1つの場合
• transform 2つのRangeから要素を1つずつ取り出して関数を呼び出し、結果を出力するアルゴリズム関数

参照

• N4950 26 Ranges library
• P2321R2 zip