• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    class template
    <ranges>

    std::ranges::filter_view

    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)
      }
    }
    

    概要

    • (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)と等しい

    メンバ変数

    名前 説明 対応バージョン
    V base_ = V() 元のview (説明専用) C++20
    copyable-box<Pred> pred_ 述語 (説明専用) C++20
    C++23で削除
    movable-box<Pred> pred_ 述語 (説明専用) C++23

    メンバ関数

    名前 説明 対応バージョン
    (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

    メンバ型

    名前 説明 対応バージョン
    iterator イテレータ型(説明専用) C++20
    sentinel 番兵型(説明専用) C++20

    推論補助

    名前 説明 対応バージョン
    (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;
      }
    }
    

    出力

    24
    14385
    

    バージョン

    言語

    • C++20

    処理系

    参照