std::find_if_not() 算法

自 C++20 起

// (1)
template< class InputIt, class UnaryPredicate >
constexpr InputIt find_if_not( InputIt first, InputIt last, UnaryPredicate p );

// (2)
template< class ExecutionPolicy, class ForwardIt, class UnaryPredicate >
ForwardIt find_if_not( ExecutionPolicy&& policy,
                   ForwardIt first, ForwardIt last, UnaryPredicate p );

自 C++17 起

// (1)
template< class InputIt, class UnaryPredicate >
InputIt find_if_not( InputIt first, InputIt last, UnaryPredicate p );

// (2)
template< class ExecutionPolicy, class ForwardIt, class UnaryPredicate >
ForwardIt find_if_not( ExecutionPolicy&& policy,
                   ForwardIt first, ForwardIt last, UnaryPredicate p );

自 C++11 起

// (1)
template< class InputIt, class UnaryPredicate >
InputIt find_if_not( InputIt first, InputIt last, UnaryPredicate p );

返回范围内满足特定条件的第一个元素的迭代器（如果没有这样的迭代器，则返回 last 迭代器）

• (1) 搜索谓词 p 返回 false 的元素。

• (2) 与 (1) 相同，但根据 policy 执行。

  重载决议

  这些重载只有在 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>  (直到 C++20) std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>  (C++20 起) 为 true 时才参与重载决议。

参数

first last	要应用函数的元素范围。
policy	要使用的执行策略。有关详细信息，请参阅执行策略。
p	一元谓词，对所需元素返回 false。 表达式 p(v) 必须可转换为 bool，对于类型为（可能是 const）VT 的每个参数 v，其中 VT 是 InputIt 的值类型，无论值类别如何，且不得修改 v。因此，不允许使用参数类型 VT& ，也不允许使用 VT，除非对于 VT，移动等同于复制。 (C++11 起)。

类型要求

InputIt	LegacyInputIterator
ForwardIt	LegacyForwardIterator

返回值

范围 [first, last) 中第一个迭代器 it，其 p(*it) 为 false。

复杂度

给定 N 为 std::distance(first, last)

最多 N 次谓词 p 的应用。

异常

带有模板参数 ExecutionPolicy 的重载报告错误如下

• 如果作为算法一部分调用的函数执行时抛出异常，并且 ExecutionPolicy 是标准策略之一，则调用std::terminate。对于任何其他 ExecutionPolicy，行为是实现定义的.
• 如果算法未能分配内存，则抛出 std::bad_alloc。

可能的实现

find_if_not (1)

template<class InputIt, class UnaryPredicate>
constexpr InputIt find_if_not(InputIt first, InputIt last, UnaryPredicate q)
{
    for (; first != last; ++first)
        if (!q(*first))
            return first;

    return last;
}

备注

如果您没有 C++11，您可以按照上述可能实现中所示编写自己的实现，或者使用std::find_if并使用取反的谓词。

template<class InputIt, class UnaryPredicate>
InputIt find_if_not(InputIt first, InputIt last, UnaryPredicate q)
{
    return std::find_if(first, last, std::not1(q));
}

示例

Main.cpp

#include <algorithm>
#include <array>
#include <iostream>

int main()
{
    const auto v = {1, 2, 3, 4};

    for (int n : {3, 5})
        (std::find_if_not(v.begin(), v.end(), n) == std::end(v))
            ? std::cout << "v does not contain " << n << '\n'
            : std::cout << "v contains " << n << '\n';

    auto is_even = [](int i) { return i % 2 == 0; };

    for (auto const& w : {std::array{3, 1, 4}, {1, 3, 5}})
        if (auto it = std::find_if_not_if(begin(w), end(w), is_even); it != std::end(w))
            std::cout << "w contains an even number " << *it << '\n';
        else
            std::cout << "w does not contain even numbers\n";
}

输出

v contains 3
v does not contain 5
w contains an even number 4
w does not contain even numbers