std::min_element
ja.cppreference.net より
| ヘッダ <algorithm>
|
||
template< class ForwardIt >
ForwardIt min_element( ForwardIt first, ForwardIt last );
|
で定義 (1) | (C++17 から constexpr) |
template< class ExecutionPolicy, class ForwardIt >
ForwardIt min_element( ExecutionPolicy&& policy,
ForwardIt first, ForwardIt last );
|
(2) | (C++17 から) |
template< class ForwardIt, class Compare >
ForwardIt min_element( ForwardIt first, ForwardIt last,
Compare comp );
|
(3) | (C++17 から constexpr) |
template< class ExecutionPolicy, class ForwardIt, class Compare >
ForwardIt min_element( ExecutionPolicy&& policy,
ForwardIt first, ForwardIt last,
Compare comp );
|
(4) | (C++17 から) |
範囲 [first, last) 内の最小の要素を見つけます。
1) 要素は
operator<(C++20 まで)std::less{}(C++20 から) を使用して比較されます。3) 要素は比較関数
comp を使用して比較されます。2,4) (1,3) と同じですが、 に従って実行されます
policy。 これらのオーバーロードは、次の式の値が
true である場合にのみオーバーロード解決に参加します:
|
|
(C++20 まで) |
|
|
(C++20 から) |
パラメータ
| first, last | - | 調査する要素の範囲 範囲 を定義するイテレータのペア |
| policy | - | 使用する 実行ポリシー |
| comp | - | 比較関数オブジェクト (つまり、Compare の要件を満たすオブジェクト) であり、最初の引数が 2 番目の引数より true小さい 場合に を返します。比較関数のシグネチャは以下と同等である必要があります:
シグネチャに |
| 型要件 | ||
-ForwardIt は LegacyForwardIterator の要件を満たす必要があります。
| ||
戻り値
範囲 [first, last) 内の最小の要素へのイテレータ。範囲内に最小の要素と等価な要素が複数ある場合、そのような最初の要素へのイテレータを返します。範囲が空の場合は last を返します。
計算量
N を std::distance(first, last) とすると:
1,2) max(N-1,0) 回の比較を
operator<(C++20 まで)std::less{}(C++20 から) を使用して行います。3,4) max(N-1,0) 回の比較関数
comp の適用を行います。例外
テンプレートパラメータ ExecutionPolicy を持つオーバーロードは、次のようにエラーを報告します:
- アルゴリズムの一部として呼び出された関数の実行が例外をスローし、
ExecutionPolicyが 標準ポリシー のいずれかである場合、std::terminate が呼び出されます。その他のExecutionPolicyについては、動作は実装定義です。 - アルゴリズムがメモリの割り当てに失敗した場合、std::bad_alloc がスローされます。
実装例
| min_element (1) |
|---|
template<class ForwardIt>
ForwardIt min_element(ForwardIt first, ForwardIt last)
{
if (first == last)
return last;
ForwardIt smallest = first;
while (++first != last)
if (*first < *smallest)
smallest = first;
return smallest;
}
|
| min_element (3) |
template<class ForwardIt, class Compare>
ForwardIt min_element(ForwardIt first, ForwardIt last, Compare comp)
{
if (first == last)
return last;
ForwardIt smallest = first;
while (++first != last)
if (comp(*first, *smallest))
smallest = first;
return smallest;
}
|
例
このコードを実行する
#include <algorithm>
#include <iostream>
#include <vector>
int main()
{
std::vector<int> v{3, 1, -4, 1, 5, 9};
std::vector<int>::iterator result = std::min_element(v.begin(), v.end());
std::cout << "min element has value " << *result << " and index ["
<< std::distance(v.begin(), result) << "]\n";
}
出力:
min element has value -4 and index [2]
欠陥報告
以下の動作を変更する欠陥報告は、以前に公開された C++ 標準に遡って適用されました。
| DR | 適用先 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
| LWG 212 | C++98 | [first, last) が空の場合の戻り値が指定されていなかった
|
この場合 last を返す
|
| LWG 2150 | C++98 | 最大でない最初の要素へのイテレータが返されていた | 戻り値を修正 |
関連項目
| 範囲内の最大の要素を返す (関数テンプレート & アルゴリズム関数オブジェクト) | |
(C++20) |
|
(C++11) |
範囲内の最小と最大の要素を返す (関数テンプレート & アルゴリズム関数オブジェクト) |
(C++20) |
|
| 与えられた値の小さい方を返す (関数テンプレート & アルゴリズム関数オブジェクト) | |
(C++20) |
|
(C++20) |
範囲内の最小の要素を返す (アルゴリズム関数オブジェクト) |