std::all_of, std::any_of, std::none_of
cppreference.com
<tbody>
</tbody>
| <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)은 다음과 같아야 한다 :
인자형식(signature)이 |
| 형식의 필요조건 | ||
-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)
{
return std::find_if_not(first, last, p) == last;
}
|
| Second version |
template< class InputIt, class UnaryPredicate >
bool any_of(InputIt first, InputIt last, UnaryPredicate p)
{
return std::find_if(first, last, p) != last;
}
|
| Third version |
template< class InputIt, class UnaryPredicate >
bool none_of(InputIt first, InputIt last, UnaryPredicate p)
{
return std::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
{
const int 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