Namespaces
Variants

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

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
all_of any_of none_of
(C++11) (C++11) (C++11)

Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
헤더 파일에 정의됨 <algorithm>
template < class InputIt, class UnaryPred >
bool all_of ( InputIt first, InputIt last, UnaryPred p ) ;
(1) (C++11부터)
(C++20부터 constexpr)
template < class ExecutionPolicy, class ForwardIt, class UnaryPred >

bool all_of ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, UnaryPred p ) ;
(2) (C++17부터)
template < class InputIt, class UnaryPred >
bool any_of ( InputIt first, InputIt last, UnaryPred p ) ;
(3) (C++11부터)
(C++20부터 constexpr)
template < class ExecutionPolicy, class ForwardIt, class UnaryPred >

bool any_of ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, UnaryPred p ) ;
(4) (C++17부터)
template < class InputIt, class UnaryPred >
bool none_of ( InputIt first, InputIt last, UnaryPred p ) ;
(5) (C++11부터)
(C++20부터 constexpr)
template < class ExecutionPolicy, class ForwardIt, class UnaryPred >

bool none_of ( ExecutionPolicy && policy,

ForwardIt first, ForwardIt last, UnaryPred p ) ;
(6) (C++17부터)
1) 범위 [ first , last ) 내의 모든 요소에 대해 단항 술어 p true 를 반환하는지 확인합니다.
3) 단항 술어 p 가 범위 [ first , last ) 내의 최소한 하나의 요소에 대해 true 를 반환하는지 확인합니다.
5) 범위 [ first , last ) 내의 어떤 요소에 대해서도 단항 술어 p true 를 반환하지 않는지 확인합니다.
2,4,6) (1,3,5) 와 동일하지만, policy 에 따라 실행됩니다.
다음 모든 조건이 만족될 때만 이 오버로드들이 오버로드 해결에 참여합니다:

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 - 사용할 실행 정책
p - 단항 predicate.

표현식 p ( v ) VT 타입의 (const 가능성 있는) 모든 인수 v 에 대해 bool 로 변환 가능해야 하며, 값 범주 와 관계없이 v 를 수정해서는 안 됩니다. 따라서 VT & 매개변수 타입은 허용되지 않으며, VT 에 대해 이동이 복사와 동등하지 않는 한 VT 타입도 허용되지 않습니다 (C++11부터) . ​

타입 요구사항
-
InputIt LegacyInputIterator 요구사항을 충족해야 합니다.
-
ForwardIt LegacyForwardIterator 요구사항을 충족해야 합니다.
-
UnaryPred Predicate 요구사항을 충족해야 합니다.

반환값

범위에 true 요소가 있음 아니오
범위에 false 요소가 있음 아니오 아니오 [1]
all_of false true false true
any_of true true false false
none_of false false true true
  1. 이 경우 범위는 비어 있습니다.

복잡도

1-6) 최대 std:: distance ( first, last ) 번의 술어 p 적용.

예외

ExecutionPolicy 라는 템플릿 매개변수를 사용하는 오버로드는 다음과 같이 오류를 보고합니다:

  • 알고리즘의 일부로 호출된 함수 실행 중 예외가 발생하고 ExecutionPolicy 표준 정책 중 하나인 경우, std::terminate 가 호출됩니다. 다른 ExecutionPolicy 의 경우 동작은 구현에 따라 정의됩니다.
  • 알고리즘이 메모리 할당에 실패할 경우, std::bad_alloc 이 throw됩니다.

가능한 구현

참고 구현:

all_of
template<class InputIt, class UnaryPred>
constexpr bool all_of(InputIt first, InputIt last, UnaryPred p)
{
    return std::find_if_not(first, last, p) == last;
}
any_of
template<class InputIt, class UnaryPred>
constexpr bool any_of(InputIt first, InputIt last, UnaryPred p)
{
    return std::find_if(first, last, p) != last;
}
none_of
template<class InputIt, class UnaryPred>
constexpr bool none_of(InputIt first, InputIt last, UnaryPred p)
{
    return std::find_if(first, last, p) == last;
}

예제

#include <algorithm>
#include <functional>
#include <iostream>
#include <iterator>
#include <numeric>
#include <vector>
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<>(),
                                                     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";
}

출력:

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

참고 항목

범위 내 모든 요소에 대해 조건자가 true 인지, 일부 요소에 대해 true인지, 또는 어떤 요소에도 true가 아닌지 검사합니다
(알고리즘 함수 객체)