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

 

C++

컴파일러 지원

Freestanding and hosted

언어

표준 라이브러리 헤더

명명된 요구사항

Feature test macros (C++20)

언어 지원 라이브러리

개념(C++20)

Diagnostics library

유틸리티 라이브러리

문자열 라이브러리

컨테이너 라이브러리

반복자 라이브러리

범위 라이브러리(C++20)

알고리즘 라이브러리

수치 라이브러리

지역화 라이브러리

입/출력 라이브러리

파일시스템 라이브러리(C++17)

정규 표현식 라이브러리(C++11)

아토믹 연산 라이브러리(C++11)

쓰레드 지원 라이브러리(C++11)

Technical specifications

Symbols index

외부 라이브러리들

 

Algorithm library

Functions
Non-modifying sequence operations
all_ofany_ofnone_of (C++11)(C++11)(C++11) for_each countcount_if mismatch equal	findfind_iffind_if_not (C++11) find_end find_first_of adjacent_find search search_n
Modifying sequence operations
copycopy_if (C++11) copy_n (C++11) copy_backward move (C++11) move_backward (C++11) fill fill_n transform generate generate_n removeremove_if remove_copyremove_copy_if	replacereplace_if replace_copyreplace_copy_if swap swap_ranges iter_swap reverse reverse_copy rotate rotate_copy random_shuffleshuffle  (C++11) unique unique_copy
Partitioning operations
is_partitioned (C++11) partition partition_copy (C++11)	stable_partition partition_point (C++11)
Sorting operations (on sorted ranges)
is_sorted (C++11) is_sorted_until (C++11) sort	partial_sort partial_sort_copy stable_sort nth_element
Binary search operations (on sorted ranges)
lower_bound upper_bound	binary_search equal_range
Set operations (on sorted ranges)
merge inplace_merge includes	set_difference set_intersection set_symmetric_difference set_union
Heap operations
is_heap is_heap_until (C++11) make_heap	push_heap pop_heap sort_heap
Minimum/maximum operations
max max_element min min_element minmax (C++11) minmax_element (C++11)	lexicographical_compare is_permutation (C++11) next_permutation prev_permutation
Numeric operations
iota (C++11) accumulate inner_product	adjacent_difference partial_sum
C library
qsort	bsearch

 

<algorithm> 에 정의되어 있음.
template<class InputIt, class UnaryPredicate > bool all_of( InputIt first, InputIt last, UnaryPredicate p );	(1)	(since C++11)
template<class InputIt, class UnaryPredicate > bool any_of( InputIt first, InputIt last, UnaryPredicate p );	(2)	(since C++11)
template<class InputIt, class UnaryPredicate > bool none_of( InputIt first, InputIt last, UnaryPredicate p );	(3)	(since C++11)

1) 단항 의문술어 p 가 지정된 범위 [first, last) 안의 모든 요소들에 대해서 true 를 반환하는지 검사한다.

2) 단항 의문술어 p 가 지정된 범위 [first, last) 안의 요소들에 대해서 하나라도 true 를 반환하는지 검사한다.

3) 단항 의문술어 p 가 지정된 범위 [first, last) 안의 요소들에 대해서 true 를 반환하는 요소가 없는지 검사한다.

파라미터

first, last	-	검사할 요소들의 범위.
p	-	단항 의문술어 . 의문술어 함수의 인자형식(signature)은 다음과 같아야 한다 :  bool pred(const Type &a); 인자형식(signature)이 const&일 필요는 없다, 하지만 넘겨받은 객체를 수정해서는 안된다. The type Type must be such that an object of type InputIt can be dereferenced and then implicitly converted to Type. ​
형식의 필요조건
- InputIt 는 다음 조건을 만족해야 한다 : InputIterator.
- UnaryPredicate 는 다음 조건을 만족해야 한다 : Predicate.

반환값

1) 단항 의문술어가 지정 범위안의 모든 요소에 대해서 true 를 반환하면 true, 그렇지 않으면 false. 범위가 비어있다면 true 를 반환한다.

2) 단항 의문술어가 지정 범위안의 한 요소라도 true 를 반환하면 true, 그렇지 않으면 false. 범위가 비어있다면 false 를 반환한다.

3) 단항 의문술어가 지정 범위안의 모든 요소에 대해서 true 를 반환하는 것이 없다면 true, 그렇지 않으면 false. 범위가 비어있다면 true 를 반환한다.

복잡도

의문술어 대비 최고 last - first 만큼 적용된다.

가능한 구현

First version
template<class InputIt, class UnaryPredicate >bool all_of(InputIt first, InputIt last, UnaryPredicate p){returnstd::find_if_not(first, last, p)== last;}
Second version
template<class InputIt, class UnaryPredicate >bool any_of(InputIt first, InputIt last, UnaryPredicate p){returnstd::find_if(first, last, p)!= last;}
Third version
template<class InputIt, class UnaryPredicate >bool none_of(InputIt first, InputIt last, UnaryPredicate p){returnstd::find_if(first, last, p)== last;}

예제

코드 실행

#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";}}

Output:

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

See also

틀:cpp/experimental/parallelism/dsc algorithm틀:cpp/experimental/parallelism/dsc algorithm틀:cpp/experimental/parallelism/dsc algorithm