std:: all_of, std:: any_of, std:: none_of
|
定义于头文件
<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,
|
(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,
|
(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,
|
(6) | (C++17 起) |
[
first
,
last
)
中的所有元素返回
true
。
[
first
,
last
)
中的至少一个元素返回
true
。
[
first
,
last
)
中的所有元素均返回
true
。
|
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 | - |
一元谓词
表达式
p
(
v
)
必须可转换为
bool
,其中
|
| 类型要求 | ||
-
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 |
- ↑ 在此情况下该范围为空。
复杂度
异常
带有名为
ExecutionPolicy
模板参数的重载按以下方式报告错误:
-
如果作为算法一部分调用的函数执行抛出异常,且
ExecutionPolicy是某个 标准策略 ,则调用 std::terminate 。对于任何其他ExecutionPolicy,其行为由实现定义。 - 如果算法无法分配内存,则抛出 std::bad_alloc 。
可能的实现
另请参阅实现:
-
all_of在 libstdc++ 和 libc++ 中的实现。 -
any_of在 libstdc++ 和 libc++ 中的实现。 -
none_of在 libstdc++ 和 libc++ 中的实现。
| 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
参见
|
(C++20)
(C++20)
(C++20)
|
检查谓词是否对范围中的所有、任一或没有元素返回
true
(算法函数对象) |