// <algorithm> 
// 等价比较(1)
template <class ForwardIterator>
    ForwardIterator adjacent_find (ForwardIterator first,
​                                   ForwardIterator last);
// 自定义谓词比较(2)    
template <class ForwardIterator, class BinaryPredicate>
    ForwardIterator adjacent_find (ForwardIterator first, ForwardIterator last,
                                   BinaryPredicate pred);

查找两个相邻(Adjacent)的等价(Identical)元素。

该函数等价于:

template<class _FwdIt,
    class _Pr> inline
    _FwdIt _Adjacent_find(_FwdIt _First, _FwdIt _Last, _Pr _Pred)
    {    // find first satisfying _Pred with successor
        if (_First != _Last)
            for (_FwdIt _Firstb; (_Firstb = _First), ++_First != _Last; )
                if (_Pred(*_Firstb, *_First))
                    return (_Firstb);
        return (_Last);
    }
  • firstlast

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

    pred

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

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

    该函数不能修改其参数。

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

    返回

    指向在范围 [first,last) 中第一对匹配的相邻元素的第一个元素的迭代器。

    如果不存在相邻对满足条件,则返回 last

  • 例 1

    #include <iostream>
    #include <algorithm>
    #include <vector>
    
    #define CLASSFOO_VECTOR(type, name, ...) \
    static const type name##_a[] = __VA_ARGS__; \
    std::vector<type> name(name##_a, name##_a + sizeof(name##_a) / sizeof(*name##_a))
    
    namespace ClassFoo{
        bool IfEqual(int m, int n) {
            return (m == n);
        }
        void AdjacentFind_1() {
            CLASSFOO_VECTOR(int, BigVector, { 8, 23, 5, 5, 7, 29, 0, 7, 7, 7, 1, 1 });
            // 等价比较
            std::vector<int>::iterator it = std::adjacent_find(
                std::begin(BigVector),
                std::end(BigVector));
            if (it != std::end(BigVector)) {
                std::cout << "找到: " << *it << '\n';
                std::cout << "前一个元素是: " << *(it - 1) << '\n';
            }
            // 自定谓词比较
            it = std::adjacent_find(
                std::begin(BigVector),
                std::end(BigVector),
                IfEqual);
            if (it != std::end(BigVector)) {
                std::cout << "找到: " << *it << '\n';
                std::cout << "前一个元素是: " << *(it - 1) << '\n';
            }
        }
    }
    int main()
    {
        ClassFoo::AdjacentFind_1();
        return 0;
    }

    找到: 5
    前一个元素是: 23
    找到: 5
    前一个元素是: 23

    例 2

    C++11

    #include <iostream>
    #include <algorithm>
    #include <vector>
    
    namespace ClassFoo{
        void AdjacentFind_2() {
            std::vector<int> BigVector = { 8, 23, 5, 5, 7, 29, 0, 7, 7, 7, 1, 1 };
            // 等价比较
            auto it = std::adjacent_find(
                std::begin(BigVector),
                std::end(BigVector));
            if (it != std::end(BigVector)) {
                std::cout << "找到: " << *it << '\n';
                std::cout << "前一个元素是: " << *(it - 1) << '\n';
            }
            // 自定谓词比较
            it = std::adjacent_find(
                std::begin(BigVector),
                std::end(BigVector),
                [](int &m, int &n) { return m == n; });
            if (it != std::end(BigVector)) {
                std::cout << "找到: " << *it << '\n';
                std::cout << "前一个元素是: " << *(it - 1) << '\n';
            }
        }
    }
    int main()
    {
        ClassFoo::AdjacentFind_2();
        return 0;
    }

    找到: 5
    前一个元素是: 23
    找到: 5
    前一个元素是: 23

  • 复杂度

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

    数据争用相关

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

    异常安全性相关

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

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