std:: is_sorted
|
ヘッダーで定義
<algorithm>
|
||
|
template
<
class
ForwardIt
>
bool is_sorted ( ForwardIt first, ForwardIt last ) ; |
(1) |
(C++11以降)
(constexpr since C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt
>
bool
is_sorted
(
ExecutionPolicy
&&
policy,
|
(2) | (C++17以降) |
|
template
<
class
ForwardIt,
class
Compare
>
bool is_sorted ( ForwardIt first, ForwardIt last, Compare comp ) ; |
(3) |
(C++11以降)
(constexpr since C++20) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt,
class
Compare
>
bool
is_sorted
(
ExecutionPolicy
&&
policy,
|
(4) | (C++17以降) |
範囲
[
first
,
last
)
内の要素が非降順でソートされているかどうかをチェックします。
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> が true であること。 |
(C++20まで) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> が true であること。 |
(C++20以降) |
目次 |
パラメータ
| first, last | - | 検査する要素の範囲を定義するイテレータのペア |
| policy | - | 使用する実行ポリシー |
| comp | - |
比較関数オブジェクト(つまり
Compare
の要件を満たすオブジェクト)。最初の引数が2番目の引数より
小さい
(つまり
前に順序付けられる
)場合に
true
を返す。
比較関数のシグネチャは以下と同等であるべきです: bool cmp ( const Type1 & a, const Type2 & b ) ;
シグネチャが
const
&
を持つ必要はありませんが、関数は渡されたオブジェクトを変更してはならず、
値カテゴリ
に関係なく型(おそらくconstの)
|
| 型要件 | ||
-
ForwardIt
は
LegacyForwardIterator
の要件を満たさなければならない。
|
||
-
Compare
は
Compare
の要件を満たさなければならない。
|
||
戻り値
true 範囲内の要素が非減少順にソートされている場合、 false それ以外の場合。
計算量
与えられた N を std:: distance ( first, last ) として:
例外
ExecutionPolicy
という名前のテンプレートパラメータを持つオーバーロードは、
以下のようにエラーを報告します:
-
アルゴリズムの一部として呼び出された関数の実行が例外をスローした場合、
ExecutionPolicyが 標準ポリシー のいずれかであるとき、 std::terminate が呼び出されます。それ以外のExecutionPolicyについては、動作は実装定義です。 - アルゴリズムがメモリの確保に失敗した場合、 std::bad_alloc がスローされます。
実装例
実装例については libstdc++ および libc++ も参照してください。
| is_sorted (1) |
|---|
template<class ForwardIt> bool is_sorted(ForwardIt first, ForwardIt last) { return std::is_sorted_until(first, last) == last; } |
| is_sorted (3) |
template<class ForwardIt, class Compare> bool is_sorted(ForwardIt first, ForwardIt last, Compare comp) { return std::is_sorted_until(first, last, comp) == last; } |
注記
std::is_sorted
は空の範囲および長さ1の範囲に対して
true
を返します。
例
#include <algorithm> #include <cassert> #include <functional> #include <iterator> #include <vector> int main() { std::vector<int> v; assert(std::is_sorted(v.cbegin(), v.cend()) && "空の範囲は常にソート済み"); v.push_back(42); assert(std::is_sorted(v.cbegin(), v.cend()) && "サイズ1の範囲は常にソート済み"); int data[] = {3, 1, 4, 1, 5}; assert(not std::is_sorted(std::begin(data), std::end(data))); std::sort(std::begin(data), std::end(data)); assert(std::is_sorted(std::begin(data), std::end(data))); assert(not std::is_sorted(std::begin(data), std::end(data), std::greater<>{})); }
関連項目
|
(C++11)
|
最大のソート済み部分範囲を検索する
(関数テンプレート) |
|
(C++20)
|
範囲が昇順にソートされているかどうかをチェックする
(アルゴリズム関数オブジェクト) |