• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

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

    履歴 編集

    function template
    <algorithm>

    std::ranges::is_partitioned

    namespace std::ranges {
      template <input_iterator I,
                sentinel_for<I> S,
                class Proj = identity,
                indirect_unary_predicate<projected<I, Proj>> Pred>
      constexpr bool
        is_partitioned(I first,
                       S last,
                       Pred pred,
                       Proj proj = {}); // (1) C++20
    
      template <input_range R,
                class Proj = identity,
                indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred>
      constexpr bool
        is_partitioned(R&& r,
                       Pred pred,
                       Proj proj = {}); // (2) C++20
    }
    

    概要

    与えられた範囲が条件によって区分化されているか判定する。

    戻り値

    [first,last) が空、 または [first,last)pred によって区分化されているなら true 、そうでなければ false を返す。

    つまり、pred を満たす全ての要素が、pred を満たさない全ての要素より前に出現するなら true を返す。

    計算量

    線形時間。最大で last - firstpred が適用される。

    #include <iostream>
    #include <vector>
    #include <algorithm>
    
    int main()
    {
      std::vector<int> v = {1, 2, 3, 4, 5};
    
      auto pred = [](int x) { return x % 2 == 0; };
    
      // 偶数グループと奇数グループに分ける
      std::ranges::partition(v, pred);
    
      for (int x : v) {
       std::cout << x << std::endl;
      }
    
      // 偶数グループと奇数グループに分かれているか
      if (std::ranges::is_partitioned(v, pred)) {
        std::cout << "partitioned" << std::endl;
      }
      else {
        std::cout << "not partitioned" << std::endl;
      }
    }
    

    出力

    4
    2
    3
    1
    5
    partitioned
    

    バージョン

    言語

    • C++20

    処理系

    参照