Skip to content

filter_view.md

Latest commit

 

History

History
124 lines (97 loc) · 5.5 KB

filter_view.md

File metadata and controls

124 lines (97 loc) · 5.5 KB

filter_view

  • ranges[meta header]
  • std::ranges[meta namespace]
  • class template[meta id-type]
  • cpp20[meta cpp]
namespace std::ranges {
  template<input_range V, indirect_unary_predicate<iterator_t<V>> Pred>
    requires view<V> && is_object_v<Pred>
  class filter_view : public view_interface<filter_view<V, Pred>> { …… }; // (1)

  namespace views {
    inline constexpr /*unspecified*/ filter = /*unspecified*/;     // (2)
  }
}
  • input_range[link input_range.md]
  • indirect_unary_predicate[link /reference/iterator/indirect_unary_predicate.md]
  • iterator_t[link iterator_t.md]
  • view[link view.md]
  • is_object_v[link /reference/type_traits/is_object.md]
  • view_interface[link view_interface.md]

概要

  • (1): 指定された条件Predを満たす要素だけが要素となるview
  • (2): filter_viewを生成するRangeアダプタオブジェクト

元のRangeから条件を満たす要素を探す処理は遅延評価される。

  • 初めてメンバ関数beginが呼び出されたときに先頭の要素を決定し、残りはイテレータが進むときに求める。
  • beginは償却定数時間で実行できなければならないため、beginの値はキャッシュされる。

filter_viewの要素を書き換えてもよいが、書き換えた後の要素がPredを満たさない場合は未定義動作となる。

Rangeコンセプト

borrowed sized output input forward bidirectional random_access contiguous common viewable view
※ ○ ※ ※ ※ ○ ○

※ Vに従う

  • Predのオブジェクトを所有し、イテレータがそれを参照するため、borrowed_rangeではない
  • 条件を満たす要素を探す処理が必要なため、random_access_rangeにはならない

テンプレートパラメータ制約

効果

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

メンバ関数

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

継承しているメンバ関数

名前 説明 対応バージョン
operator bool Rangeが空でないかどうかを判定する C++20
front 先頭要素への参照を取得する C++20
back 末尾要素への参照を取得する 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, 4, 5};

  for (int& i : a | views::filter([](int x){ return x % 2 == 0; })) {
    cout << i;
    i *= 2; // filterした要素を2倍にする (2倍しても条件を満たすことに注意)
  }
  cout << '\n';
  for (int i : a) {
    cout << i;
  }
}
  • views::filter[color ff0000]

出力

24
14385

バージョン

言語

  • C++20

処理系

参照