Skip to content

Latest commit

 

History

History
147 lines (117 loc) · 5.69 KB

transform_view.md

File metadata and controls

147 lines (117 loc) · 5.69 KB
Raw

transform_view

  • ranges[meta header]
  • std::ranges[meta namespace]
  • class template[meta id-type]
  • cpp20[meta cpp]
namespace std::ranges {
  template<input_range V, copy_constructible F>
    requires view<V> && is_object_v<F> &&
             regular_invocable<F&, range_reference_t<V>> &&
             can-reference<invoke_result_t<F&, range_reference_t<V>>>
  class transform_view : public view_interface<transform_view<R>> { …… }; // (1) C++20

  template<input_range V, move_constructible F>
    requires view<V> && is_object_v<F> &&
             regular_invocable<F&, range_reference_t<V>> &&
             can-reference<invoke_result_t<F&, range_reference_t<V>>>
  class transform_view : public view_interface<transform_view<R>> { …… }; // (1) C++23

  namespace views {
    inline constexpr /*unspecified*/ transform = /*unspecified*/;         // (2)
  }
}
  • can-reference[link /reference/iterator/dereferenceable.md]

概要

  • (1): 指定した関数で各要素を変換した値のRangeとして振る舞うview
  • (2): transform_viewを生成するRangeアダプタオブジェクト

Rangeコンセプト

borrowed sized output input forward bidirectional random_access contiguous common viewable view
(1) (2) ○ (1) (1) (1) (1) ○ ○
  • (1): Vに従う
  • (2): 述語が参照を返す場合

効果

  • (2): 式views::transform(E, P)の効果はtransform_view(E, P)と等しい

メンバ関数

名前 説明 対応バージョン
(constructor) コンストラクタ C++20
base Vの参照を取得する C++20
begin 先頭を指すイテレータを取得する C++20
end 番兵を取得する C++20
size 要素数を取得する C++20

rを元のRangeとする。sizeはranges::size(r)が有効な式であるときに定義される。

継承しているメンバ関数

名前 説明 対応バージョン
empty Rangeが空かどうかを判定する C++20
operator bool Rangeが空でないかどうかを判定する C++20
front 先頭要素への参照を取得する C++20
back 末尾要素への参照を取得する C++20
operator[] 要素へアクセスする C++20
cbegin 定数イテレータを取得する C++23
cend 定数イテレータ（番兵）を取得する C++23

推論補助

名前 説明 対応バージョン
(deduction_guide) クラステンプレートの推論補助 C++20

例

#include <ranges>
#include <iostream>

int main() {
  using namespace std;
  int a[] = {1, 2, 3};

  for (int i : a | views::transform([](int x){ return x * x; })) {
    cout << i;
  }
}
  • views::transform[color ff0000]

出力

149

例 特定のメンバを選択する

#include <ranges>
#include <string>
#include <iostream>

struct Record {
  int id = 0;
  std::string name;
};

int main() {
  using namespace std;
  Record records[] = {
    {1, "Alice"},
    {2, "Bob"},
    {3, "Charlie"}
  };

  for (int id : records | views::transform(&Record::id)) {
    cout << id << '\n';
  }
}
  • views::transform[color ff0000]

出力

1
2
3

バージョン

言語

  • C++20

処理系

  • Clang: 13.0.0 [mark verified]
  • GCC: 10.1.0 [mark verified]
  • ICC: ?
  • Visual C++: 2019 Update 10 [mark verified]

関連項目

参照