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

来自cppreference.com
 
C++
 
实验性
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS 功能特性
模式匹配
线性代数
std::execution
契约
2D 图形
 
范围
 
算法库
不修改序列的操作
                              
修改序列的操作
                              
划分操作
排序操作
二分搜索操作
集合操作（在已排序范围上）
                              
堆操作
最小/最大操作
排列
 
<tbody> </tbody>
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)
See More

返回范围 [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)
 查找首个满足特定条件的元素
(函数模板) [编辑]
寻找头两个相等（或满足给定谓词）的相邻项
(函数模板) [编辑]
在特定范围中寻找最后出现的元素序列
(函数模板) [编辑]
搜索元素集中的任何元素
(函数模板) [编辑]
寻找两个范围出现不同的首个位置
(函数模板) [编辑]
搜索一个元素范围
(函数模板) [编辑]