这个std::adjacent_find的等价实现是正确的吗?

Question

在ClassFoo网站看到std::adjacent_find的等价实现，感觉代码有一点点错误，不知道是不是我的错觉

---

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);
    }

其中for (_FwdIt _Firstb; (_Firstb = _First), ++_First != _Last; )循环的终止条件为++_First不等于_Last，先自增后比较，这样貌似提前一个元素结束了循环

改成for(_FwdIt _Firstb = _First ; _Firstb != _Last ; ++ _Firstb )貌似就正确了

---

是我理解错了还是代码错了? 求解答，可能这个问题很弱智，

Answer 1

是你的理解有一点问题。

++_First != _Last不成立的话，表明只剩下一个元素了，但是adjacent_find的目标是要在[_First, _Last)找一对相邻的元素满足_Pred规定的条件。只剩一个元素无论如何也凑不成一对了。

可以看看cpp官网的API说明：

http://www.cplusplus.com/reference/algorithm/adjacent_find/