std::all_of, std::any_of, std::none_of

 

C++

言語

ヘッダ

コンセプト

言語サポートライブラリ

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

アルゴリズムライブラリ

イテレータライブラリ

数値演算ライブラリ

入出力ライブラリ

ローカライゼーションライブラリ

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

ファイルシステムライブラリ(C++17)

技術仕様書

 

アルゴリズムライブラリ

実行ポリシー (C++17)
is_execution_policy	execution::seqexecution::parexecution::par_unseq	execution::sequenced_policyexecution::parallel_policyexecution::parallel_unsequenced_policy
非変更シーケンス操作
all_ofany_ofnone_of (C++11)(C++11)(C++11) for_each for_each_n (C++17)	countcount_if mismatch equal adjacent_find	findfind_iffind_if_not (C++11) find_end find_first_of	search search_n lexicographical_compare lexicographical_compare_3way (C++20)
変更シーケンス操作
copycopy_if (C++11) copy_n (C++11) copy_backward move (C++11) move_backward (C++11) transform	fill fill_n generate generate_n swap iter_swap swap_ranges sample (C++17)	removeremove_if replacereplace_if reverse rotate unique random_shuffle (C++17以前)	remove_copyremove_copy_if replace_copyreplace_copy_if reverse_copy rotate_copy unique_copy shuffle (C++11)
未初期化記憶域の操作
uninitialized_copy uninitialized_move (C++17)	uninitialized_copy_n (C++11) uninitialized_move_n (C++17)	uninitialized_fill	uninitialized_fill_n
分割操作
is_partitioned (C++11) partition_point (C++11)	partition partition_copy (C++11)	stable_partition
ソート操作
is_sorted (C++11) is_sorted_until (C++11)	sort stable_sort	partial_sort partial_sort_copy	nth_element
バイナリサーチ操作
lower_bound	upper_bound	binary_search	equal_range
集合操作 (ソート済み範囲用)
merge inplace_merge	set_difference set_intersection	set_symmetric_difference set_union	includes
ヒープ操作
is_heap (C++11) is_heap_until (C++11)	make_heap sort_heap	push_heap pop_heap
最小/最大演算
max max_element	min min_element	minmax (C++11) minmax_element (C++11)	clamp (C++17) compare_3way (C++20)
順列
is_permutation (C++11)	next_permutation	prev_permutation
数値演算
iota (C++11) inner_product adjacent_difference	accumulate reduce (C++17) transform_reduce (C++17)	partial_sum inclusive_scan (C++17) exclusive_scan (C++17)	transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)
C のライブラリ
qsort	bsearch

 

ヘッダ <algorithm> で定義
	(1)
template<class InputIt, class UnaryPredicate > bool all_of( InputIt first, InputIt last, UnaryPredicate p );			(C++11およびそれ以降) (C++20以前)
template<class InputIt, class UnaryPredicate > constexprbool all_of( InputIt first, InputIt last, UnaryPredicate p );			(C++20およびそれ以降)
template<class ExecutionPolicy, class ForwardIt, class UnaryPredicate > bool all_of( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, UnaryPredicate p );		(2)	(C++17およびそれ以降)
		(3)
template<class InputIt, class UnaryPredicate > bool any_of( InputIt first, InputIt last, UnaryPredicate p );				(C++11およびそれ以降) (C++20以前)
template<class InputIt, class UnaryPredicate > constexprbool any_of( InputIt first, InputIt last, UnaryPredicate p );				(C++20およびそれ以降)
template<class ExecutionPolicy, class ForwardIt, class UnaryPredicate > bool any_of( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, UnaryPredicate p );			(4)	(C++17およびそれ以降)
			(5)
template<class InputIt, class UnaryPredicate > bool none_of( InputIt first, InputIt last, UnaryPredicate p );					(C++11およびそれ以降) (C++20以前)
template<class InputIt, class UnaryPredicate > constexprbool none_of( InputIt first, InputIt last, UnaryPredicate p );					(C++20およびそれ以降)
template<class ExecutionPolicy, class ForwardIt, class UnaryPredicate > bool none_of( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last, UnaryPredicate p );				(6)	(C++17およびそれ以降)

1) 範囲 [first, last) 内のすべての要素に対して単項述語 p が true を返すかどうかを調べます。

3) 範囲 [first, last) 内の少なくともひとつの要素に対して単項述語 p が true を返すかどうかを調べます。

5) 範囲 [first, last) 内のいずれの要素に対しても単項述語 p が true を返さないかどうかを調べます。

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

引数

first, last	-	調べる要素の範囲
policy	-	使用する実行ポリシー。 詳細は実行ポリシーを参照してください
p	-	単項述語。 述語関数のシグネチャは以下と同等なものであるべきです。  bool pred(const Type &a); シグネチャが const& を持つ必要はありませんが、関数は渡されたオブジェクトを変更してはなりません。 型 Type は InputIt 型のオブジェクトの逆参照から暗黙に変換可能なものでなければなりません。 ​
型の要件
- InputIt は InputIterator の要件を満たさなければなりません。
- ForwardIt は ForwardIterator の要件を満たさなければなりません。
- UnaryPredicate は Predicate の要件を満たさなければなりません。

戻り値

1-2) 範囲内のすべての要素に対して単項述語が true を返す場合は true、そうでなければ false。 範囲が空の場合は true を返します。

3-4) 範囲内の少なくともひとつの要素に対して単項述語が true を返す場合は true、そうでなければ false。 範囲が空の場合は false を返します。

5-6) 範囲内のいずれの要素に対しても単項述語が true を返さない場合は true、そうでなければ false。 範囲が空の場合は true を返します。

計算量

1,3,5) 多くとも last - first 回の述語の適用。

2,4,6)O(last-first) 回の述語の適用。

例外

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

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

実装例

1つめのバージョン
template<class InputIt, class UnaryPredicate >bool all_of(InputIt first, InputIt last, UnaryPredicate p){returnstd::find_if_not(first, last, p)== last;}
2つめのバージョン
template<class InputIt, class UnaryPredicate >bool any_of(InputIt first, InputIt last, UnaryPredicate p){returnstd::find_if(first, last, p)!= last;}
3つめのバージョン
template<class InputIt, class UnaryPredicate >bool none_of(InputIt first, InputIt last, UnaryPredicate p){returnstd::find_if(first, last, p)== last;}

例

Run this code

#include <vector>#include <numeric>#include <algorithm>#include <iterator>#include <iostream>#include <functional>   int main(){std::vector<int> v(10, 2);std::partial_sum(v.cbegin(), v.cend(), v.begin());std::cout<<"Among the numbers: ";std::copy(v.cbegin(), v.cend(), std::ostream_iterator<int>(std::cout, " "));std::cout<<'\n';   if(std::all_of(v.cbegin(), v.cend(), [](int i){return i %2==0;})){std::cout<<"All numbers are even\n";}if(std::none_of(v.cbegin(), v.cend(), std::bind(std::modulus<int>(), std::placeholders::_1, 2))){std::cout<<"None of them are odd\n";}struct DivisibleBy {constint d; DivisibleBy(int n): d(n){}bool operator()(int n)const{return n % d ==0;}};   if(std::any_of(v.cbegin(), v.cend(), DivisibleBy(7))){std::cout<<"At least one number is divisible by 7\n";}}

出力:

Among the numbers: 2 4 6 8 10 12 14 16 18 20 All numbers are even None of them are odd At least one number is divisible by 7