std::ranges::minmax_element, std::ranges::minmax_element_result
| ヘッダ <algorithm>
|
||
| で定義 |
||
template< std::forward_iterator I, std::sentinel_for<I> S, class Proj = std::identity,
std::indirect_strict_weak_order<std::projected<I, Proj>> Comp = ranges::less >
constexpr minmax_element_result<I>
minmax_element( I first, S last, Comp comp = {}, Proj proj = {} );
|
呼び出しシグネチャ | (1) |
template< ranges::forward_range R, class Proj = std::identity,
std::indirect_strict_weak_order<
std::projected<ranges::iterator_t<R>, Proj>> Comp = ranges::less >
constexpr minmax_element_result<ranges::borrowed_iterator_t<R>>
minmax_element( R&& r, Comp comp = {}, Proj proj = {} );
|
(C++20以上) | (2) |
| (C++20以上) |
||
template< class I >
using minmax_element_result = ranges::min_max_result<I>;
|
ヘルパー型 | (3) |
[first, last) 範囲 r をソース範囲として使用する点が異なります。あたかも ranges::begin(r) を first として、ranges::end(r) を last として使用するかのように動作します。このページで説明されている関数のようなエンティティは、アルゴリズム関数オブジェクト（非公式には niebloid として知られています）であり、以下の通りです：
- それらを呼び出す際に明示的なテンプレート引数リストを指定することはできません。
- それらは 引数依存の名前検索 では見えません。
- それらのいずれかが関数呼び出し演算子の左側の名前として 通常の非修飾名検索 によって発見された場合、引数依存の名前検索 は抑制されます。
パラメータ
| first, last | - | 検査する要素の 範囲 を定義するイテレータ-センチネルペア |
| r | - |
検査する
range
|
| comp | - | 投影された要素に適用する比較関数 |
| proj | - | 要素に適用する投影関数 |
戻り値
最小要素へのイテレータを最初の要素、最大要素へのイテレータを2番目の要素とするオブジェクト。範囲が空の場合 { first, first } を返す。最小要素と等価な要素が複数ある場合、最初のそのような要素へのイテレータが返される。最大要素と等価な要素が複数ある場合、最後のそのような要素へのイテレータが返される。
計算量
最大で std:: max ( std:: floor ( 1.5 * ( N − 1 ) ) , 0.0 ) 回の比較と、その2倍の回数の射影が適用されます。ここで N = ranges:: distance ( first, last ) です。
実装例
struct minmax_element_fn { template<std::forward_iterator I, std::sentinel_for<I> S, class Proj = std::identity, std::indirect_strict_weak_order<std::projected<I, Proj>> Comp = ranges::less> constexpr ranges::minmax_element_result<I> operator()(I first, S last, Comp comp = {}, Proj proj = {}) const { auto min = first, max = first; if (first == last || ++first == last) return {min, max}; if (std::invoke(comp, std::invoke(proj, *first), std::invoke(proj, *min))) min = first; else max = first; while (++first != last) { auto i = first; if (++first == last) { if (std::invoke(comp, std::invoke(proj, *i), std::invoke(proj, *min))) min = i; else if (!(std::invoke(comp, std::invoke(proj, *i), std::invoke(proj, *max)))) max = i; break; } else { if (std::invoke(comp, std::invoke(proj, *first), std::invoke(proj, *i))) { if (std::invoke(comp, std::invoke(proj, *first), std::invoke(proj, *min))) min = first; if (!(std::invoke(comp, std::invoke(proj, *i), std::invoke(proj, *max)))) max = i; } else { if (std::invoke(comp, std::invoke(proj, *i), std::invoke(proj, *min))) min = i; if (!(std::invoke(comp, std::invoke(proj, *first), std::invoke(proj, *max)))) max = first; } } } return {min, max}; } template<ranges::forward_range R, class Proj = std::identity, std::indirect_strict_weak_order< std::projected<ranges::iterator_t<R>, Proj>> Comp = ranges::less> constexpr ranges::minmax_element_result<ranges::borrowed_iterator_t<R>> operator()(R&& r, Comp comp = {}, Proj proj = {}) const { return (*this)(ranges::begin(r), ranges::end(r), std::ref(comp), std::ref(proj)); } }; inline constexpr minmax_element_fn minmax_element; |
例
#include <algorithm> #include <iostream> #include <iterator> namespace ranges = std::ranges; int main() { const auto v = {3, 9, 1, 4, 1, 2, 5, 9}; const auto [min, max] = ranges::minmax_element(v); std::cout << "min = " << *min << ", at [" << ranges::distance(v.begin(), min) << "]\n" << "max = " << *max << ", at [" << ranges::distance(v.begin(), max) << "]\n"; }
出力:
min = 1, at [2] max = 9, at [7]
関連項目
|
(C++20)
|
範囲内の最小要素を返す
(アルゴリズム関数オブジェクト) |
|
(C++20)
|
範囲内の最大要素を返す
(アルゴリズム関数オブジェクト) |
|
(C++20)
|
2つの要素のうち小さい方と大きい方を返す
(アルゴリズム関数オブジェクト) |
|
(C++11)
|
範囲内の最小要素と最大要素を返す
(関数テンプレート) |