std::is_sorted

ヘッダ `<algorithm>` で定義
	(1)
template<class ForwardIt > bool is_sorted( ForwardIt first, ForwardIt last );			(C++11およびそれ以降) (C++20以前)
template<class ForwardIt > constexprbool is_sorted( ForwardIt first, ForwardIt last );			(C++20およびそれ以降)
template<class ExecutionPolicy, class ForwardIt > bool is_sorted( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last );		(2)	(C++17およびそれ以降)
		(3)
template<class ForwardIt, class Compare > bool is_sorted( ForwardIt first, ForwardIt last, Compare comp );				(C++11およびそれ以降) (C++20以前)
template<class ForwardIt, class Compare > constexprbool is_sorted( ForwardIt first, ForwardIt last, Compare comp );				(C++20およびそれ以降)
template<class ExecutionPolicy, class ForwardIt, class Compare > bool is_sorted( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, Compare comp );			(4)	(C++17およびそれ以降)

範囲 [first, last) の要素が非降順にソートされているかどうか調べます。

1) 要素は operator< を用いて比較されます。

3) 要素は指定された二項述語 comp を用いて比較されます。

2,4)(1,3) と同じですが、 policy に従って実行されます。これらのオーバーロードは、 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> が true でなければ、オーバーロード解決に参加しません。

first, last	-	調べる要素の範囲
policy	-	使用する実行ポリシー。詳細は実行ポリシーを参照してください
comp	-	最初の要素が2番目の要素より小さい (前に順序づけられる) 場合に true を返す、比較関数オブジェクト (`Compare` の要件を満たすオブジェクト)。比較関数のシグネチャは以下と同等なものであるべきです。 bool cmp(const Type1 &a, const Type2 &b); シグネチャが const& を持つ必要はありませんが、関数オブジェクトは渡されたオブジェクトを変更してはなりません。型 Type1 および Type2 は、どちらも ForwardIt 型のオブジェクトの逆参照から暗黙に変換可能なものでなければなりません。
型の要件
- `ForwardIt` は `ForwardIterator` の要件を満たさなければなりません。

[編集]戻り値

範囲内の要素が昇順にソートされていれば true。

[編集]計算量

first と last の距離に比例。

[編集]例外

テンプレート引数 ExecutionPolicy を持つオーバーロードは以下のようにエラーを報告します。

アルゴリズムの一部として呼び出された関数の実行が例外を投げ、 ExecutionPolicy が3つの標準のポリシーのいずれかの場合は、 std::terminate が呼ばれます。それ以外のあらゆる ExecutionPolicy については、動作は処理系定義です。
アルゴリズムがメモリの確保に失敗した場合は、 std::bad_alloc が投げられます。

[編集]実装例

1つめのバージョン

template<class ForwardIt>bool is_sorted(ForwardIt first, ForwardIt last){returnstd::is_sorted_until(first, last)== last;}

2つめのバージョン

template<class ForwardIt, class Compare>bool is_sorted(ForwardIt first, ForwardIt last, Compare comp){returnstd::is_sorted_until(first, last, comp)== last;}

[編集]例

Run this code

#include <iostream>#include <algorithm>#include <iterator>int main(){int digits[]={3, 1, 4, 1, 5};   for(auto i : digits)std::cout<< i <<' ';std::cout<<": is_sorted: "<<std::boolalpha<< std::is_sorted(std::begin(digits), std::end(digits))<<'\n';   std::sort(std::begin(digits), std::end(digits));   for(auto i : digits)std::cout<< i <<' ';std::cout<<": is_sorted: "<< std::is_sorted(std::begin(digits), std::end(digits))<<'\n';}

出力:

3 1 4 1 5 : is_sorted: false 1 1 3 4 5 : is_sorted: true

[編集]関連項目

is_sorted_until

(C++11)

最も大きなソート済みの部分範囲を探します
(関数テンプレート)[edit]

Dec	JUN	Jul
	01
2017	2018	2019

言語
ヘッダ
コンセプト
言語サポートライブラリ
診断ライブラリ
ユーティリティライブラリ
文字列ライブラリ
コンテナライブラリ
アルゴリズムライブラリ
イテレータライブラリ
数値演算ライブラリ
入出力ライブラリ
ローカライゼーションライブラリ
正規表現ライブラリ(C++11)
アトミック操作ライブラリ(C++11)
スレッドサポートライブラリ(C++11)
ファイルシステムライブラリ(C++17)
技術仕様書

cppreference.com

検索

名前空間

変種

表示

操作