std::experimental::ranges::find, std::experimental::ranges::find_if, std::experimental::ranges::find_if_not

< cpp‎ | experimental‎ | ranges
template< InputIterator I, Sentinel<I> S, class T, class Proj = ranges::identity >

    requires IndirectRelation<ranges::equal_to<>, projected<I, Proj>, const T*>

I find( I first, S last, const T& value, Proj proj = Proj{} );
 (1) (范围 TS)
template< InputRange R, class T, class Proj = ranges::identity >

    requires IndirectRelation<ranges::equal_to<>,
                              projected<ranges::iterator_t<R>, Proj>, const T*>

ranges::safe_iterator_t<R> find( R&& r, const T& value, Proj proj = Proj{} );
 (2) (范围 TS)
template< InputIterator I, Sentinel<I> S, class Proj = ranges::identity,

          IndirectUnaryPredicate<projected<I, Proj>> Pred >

I find_if( I first, S last, Pred pred, Proj proj = Proj{} );
 (3) (范围 TS)
template< InputRange R, class Proj = ranges::identity,

          IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred >

ranges::safe_iterator_t<R> find_if( R&& r, Pred pred, Proj proj = Proj{} );
 (4) (范围 TS)
template< InputIterator I, Sentinel<I> S, class Proj = ranges::identity,

          IndirectUnaryPredicate<projected<I, Proj>> Pred >

I find_if_not( I first, S last, Pred pred, Proj proj = Proj{} );
 (5) (范围 TS)
template< InputRange R, class Proj = ranges::identity,

          IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred >

ranges::safe_iterator_t<R> find_if_not( R&& r, Pred pred, Proj proj = Proj{} );
 (6) (范围 TS)

返回范围 [first, last) 中首个满足特定准则的元素：

1) find 搜索投射后的值等于 value 的元素（即 value == ranges::invoke(proj, *i)）。
3) find_if 搜索谓词 q 为其投射后的值返回 true 的元素（即 ranges::invoke(pred, ranges::invoke(proj, *i)) 为 true）。
5) find_if_not 搜索谓词 q 为其投射后的值返回 false 的元素（即 ranges::invoke(pred, ranges::invoke(proj, *i)) 为 false）。
2,4,6) 与 (1,3,5) 相同，但使用 r 为源范围，如同以 ranges::begin(r) 为 first 并以 ranges::end(r) 为 last。

尽管声明描述如上，算法声明的模板形参的实际数量和顺序是未指定的。从而若在调用算法时使用显式模板实参，则程序很可能不可移植。

参数

first, last - 要检验的元素范围
r - 要检验的元素范围
value - 与投射后元素比较的值
pred - 运用于投射后元素的谓词
proj - 运用于元素的投射

返回值

指向首个满足条件的元素的迭代器。如果未找到这种元素，则返回与 last 比较相等的迭代器。

复杂度

至多 last - first 次运用谓词和投射。

可能的实现

版本一 
template<InputIterator I, Sentinel<I> S, class T, class Proj = ranges::identity>
    requires IndirectRelation<ranges::equal_to<>, projected<I, Proj>, const T*>
I find(I first, S last, const T& value, Proj proj = Proj{})
{
    for (; first != last; ++first)
        if (ranges::invoke(proj, *first) == value)
            break;
    return first;
}
版本二 
template<InputIterator I, Sentinel<I> S, class Proj = ranges::identity,
         IndirectUnaryPredicate<projected<I, Proj>> Pred>
I find_if(I first, S last, Pred pred, Proj proj = Proj{})
{
    for (; first != last; ++first)
        if (ranges::invoke(pred, ranges::invoke(proj, *first)))
            break;
    return first;
}
版本三 
template<InputIterator I, Sentinel<I> S, class Proj = ranges::identity,
         IndirectUnaryPredicate<projected<I, Proj>> Pred>
I find_if_not(I first, S last, Pred pred, Proj proj = Proj{})
{
    for (; first != last; ++first)
        if (!ranges::invoke(pred, ranges::invoke(proj, *first)))
            break;
    return first;
}

示例

本节未完成
原因：暂无示例

参阅

(C++11)
 寻找首个满足特定判别标准的元素
(函数模板)
寻找头两个相等（或满足给定谓词）的相邻项
(函数模板)
在特定范围中寻找最后出现的元素序列
(函数模板)
搜索元素集中的任何元素
(函数模板)
寻找两个范围出现不同的首个位置
(函数模板)
搜索一个元素范围
(函数模板)