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).

这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

2)

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

原文：

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

这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

3)

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

原文：

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

这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

参数

first, last	-	检查的元素 原文： the range of elements to examine 这段文字是通过 Google Translate 自动翻译生成的。 您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。
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.

这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

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.

这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

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.

这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

复杂度

在最last - first谓词的应用

原文：

At most last - first applications of the predicate

这段文字是通过 Google Translate 自动翻译生成的。
您可以帮助我们检查、纠正翻译中的错误。详情请点击这里。

可能的实现

版本一
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