// <algorithm> 
template <class InputIterator,
    class UnaryPredicate>
    InputIterator find_if (
        InputIterator first,
        InputIterator last,
        ​UnaryPredicate pred);

返回第一个值满足给定条件的元素。

该函数等价于:

template<class _InIt,
    class _Pr> inline
    _InIt _Find_if(_InIt _First, _InIt _Last, _Pr _Pred)
    {    // find first satisfying _Pred
        for (; _First != _Last; ++_First)
            if (_Pred(*_First))
                break;
        return (_First);
    }
  • firstlast

    分别指向一个序列中初始及末尾位置的输入迭代器。这个范围即 [first,last) ,包括 first 到 last 间的所有元素,包括 first 指向的元素,但不包括 last 指向的元素。

    pred

    一元谓词(Unary)函数,以范围中的一个元素为参数,然后返回一个可转换成 bool 类型的值。

    其返回值表明指定元素是否满足当前函数所检测的条件。

    该函数不能修改其参数。

    可以是函数指针(Function pointer)类型或函数对象(Function object)类型。

    返回

    返回指向范围中使谓词函数返回 true 的第一个元素的迭代器。

    如果 pred 对所有元素返回 false,则返回 last 迭代器。

  • 例 1

    #include "stdafx.h"
    #include <iostream>
    #include <algorithm>
    #include <functional>
    #include <vector>
    // 用在此处是为了方便简洁, 在实际编程中慎用
    using namespace std;
    namespace ClassFoo{
        bool BigThan5(int & n) { return n > 5; }
        void FindIf_1() {
            int iarray[] = { 0, 1, 2, 3, 4, 5, 6, 4, 6, 7, 8 };
            vector<int> foo1(iarray, iarray + sizeof(iarray) / sizeof(int));
            //找出foo1之中元素值大于 5 的第一个元素,并打印其值
            cout << *find_if(foo1.begin(), foo1.end(), BigThan5) << endl;
        }
    }
    int main()
    {
        ClassFoo::FindIf_1();
        return 0;
    }

    6

    例 2

    C++11

    #include <iostream>
    #include <algorithm>
    #include <vector>
    #include <iterator>
    
    namespace ClassFoo{
        void FindIf_2() {
            std::vector<int> v{ 0, 1, 2, 3, 4 };
            // 查找值大于 3 元素
            auto it = std::find_if(std::begin(v), std::end(v), [](int &n) { return n > 3; });
    
            if (it != std::end(v)) {
                std::cout << "I find it." << '\n';
            }
        }
    }
    int main()
    {
        ClassFoo::FindIf_2();
        return 0;
    }

    I find it.

  • 复杂度

    O(n)n 为 last first,对所有元素调用 pred,直到发现匹配。

    数据争用相关

    访问在范围 [first,last) 中的部份(或所有)元素,且每个元素确定只被访问一次。

    异常安全性相关

    如果 pred 或操作某个迭代器抛异常,该函数才会抛异常。

    注意 无效参数将导致未定义行为(Undefined behavior)