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 lexicographical_compare	findfind_iffind_if_not (C++11) find_end find_first_of	adjacent_find search search_n
修改的序列操作
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)
重排
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>
template< class InputIt, class UnaryPredicate > bool all_of( InputIt first, InputIt last, UnaryPredicate p );	(1)	(C++11 起)
template< class InputIt, class UnaryPredicate > bool any_of( InputIt first, InputIt last, UnaryPredicate p );	(2)	(C++11 起)
template< class InputIt, class UnaryPredicate > bool none_of( InputIt first, InputIt last, UnaryPredicate p );	(3)	(C++11 起)

1)

一元谓词检查是否p回报true范围内的所有元素[first, last).

原文：

Checks if unary predicate p returns true for all elements in the range [first, last).

文本通过谷歌翻译机器翻译。
你可以帮忙校正和验证翻译。点击此处查看指示。

2)

一元谓词检查是否p回报true的范围内至少有一个元素[first, last).

原文：

Checks if unary predicate p returns true for at least one element in the range [first, last).

文本通过谷歌翻译机器翻译。
你可以帮忙校正和验证翻译。点击此处查看指示。

3)

一元谓词检查是否p回报true的范围内没有任何元素[first, last).

原文：

Checks if unary predicate p returns true for no elements in the range [first, last).

文本通过谷歌翻译机器翻译。
你可以帮忙校正和验证翻译。点击此处查看指示。

参数

first, last	-	检查的元素 原文： the range of elements to examine 文本通过谷歌翻译机器翻译。 你可以帮忙校正和验证翻译。点击此处查看指示。
p	-	一元谓词。 谓词函数签名应等价于如下者：  bool pred(const Type &a); 签名不必拥有 const & ，但函数必须不修改传递给它的对象。 类型 Type 必须使得 InputIt 类型对象能在解引用后隐式转换到 Type 。 ​
类型要求
- InputIt 必须满足 InputIterator 的要求。

返回值

1)

true如果一元谓词返回true范围内的所有元素，false不然。返回true的范围内是空

原文：

true if unary predicate returns true for all elements in the range, false otherwise. Returns true if the range is empty.

文本通过谷歌翻译机器翻译。
你可以帮忙校正和验证翻译。点击此处查看指示。

2)

true如果一元谓词返回true的范围内至少有一个元素，false不然。返回false的范围内是空

原文：

true if unary predicate returns true for at least one element in the range, false otherwise. Returns false if the range is empty.

文本通过谷歌翻译机器翻译。
你可以帮忙校正和验证翻译。点击此处查看指示。

3)

true如果一元谓词返回true的范围内没有任何元素，false不然。返回true的范围内是空

原文：

true if unary predicate returns true for no elements in the range, false otherwise. Returns true if the range is empty.

文本通过谷歌翻译机器翻译。
你可以帮忙校正和验证翻译。点击此处查看指示。

复杂度

在最last - first谓词的应用

原文：

At most last - first applications of the predicate

文本通过谷歌翻译机器翻译。
你可以帮忙校正和验证翻译。点击此处查看指示。

可能的实现

版本一
template< class InputIt, class UnaryPredicate > bool all_of(InputIt first, InputIt last, UnaryPredicate p) { for (; first != last; ++first) { if (!p(*first)) return false; } return true; }
版本二
template< class InputIt, class UnaryPredicate > bool any_of(InputIt first, InputIt last, UnaryPredicate p) { for (; first != last; ++first) { if (p(*first)) return true; } return false; }
版本三
template< class InputIt, class UnaryPredicate > bool none_of(InputIt first, InputIt last, UnaryPredicate p) { for (; first != last; ++first) { if (p(*first)) return false; } return true; }

示例

运行此代码

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

输出：

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