Namespaces
Variants

    std::experimental::ranges:: search

    From zh.cppreference.net
    C++
    Experimental
    Ranges
    Algorithms library
    Non-modifying sequence operations
    Modifying sequence operations
    Partitioning operations
    Sorting operations
    Binary search operations
    Set operations (on sorted ranges)
    Heap operations
    Minimum/maximum operations
    Permutations
    template < ForwardIterator I1, Sentinel < I1 > S1,

    ForwardIterator I2, Sentinel < I2 > S2, class Pred = ranges:: equal_to <> ,
    class Proj1 = ranges:: identity , class Proj2 = ranges:: identity >
    requires IndirectlyComparable < I1, I2, Pred, Proj1, Proj2 >
    I1 search ( I1 first1, S1 last1, I2 first2, S2 last2,

    Pred pred = Pred { } , Proj1 proj1 = Proj1 { } , Proj2 proj2 = Proj2 { } ) ;
    		(1) (ranges TS)
    template < ForwardRange R1, ForwardRange R2, class Pred = ranges:: equal_to <> ,

    class Proj1 = ranges:: identity , class Proj2 = ranges:: identity >
    requires IndirectlyComparable < ranges:: iterator_t < R1 > , ranges:: iterator_t < R2 > ,
    Pred, Proj1, Proj2 >
    ranges:: safe_iterator_t < R1 > search ( R1 && r1, R2 && r2, Pred pred = Pred { } ,

    Proj1 proj1 = Proj1 { } , Proj2 proj2 = Proj2 { } ) ;
    		(2) (ranges TS)
    1) 在范围 [ first1 , last1 ) 中搜索元素序列 [ first2 , last2 ) 的首次出现。元素分别通过 proj2 和 proj1 投影后，使用 pred 进行比较。
    2) 与 (1) 相同，但使用 r1 作为第一源范围， r2 作为第二源范围，如同使用 ranges:: begin ( r1 ) 作为 first1 ， ranges:: end ( r1 ) 作为 last1 ， ranges:: begin ( r2 ) 作为 first2 ，以及 ranges:: end ( r2 ) 作为 last2 。

    尽管存在上述声明，算法声明的实际模板参数数量和顺序是未指定的。因此，若在调用算法时使用显式模板参数，程序很可能不具备可移植性。

    内容

    参数

    first1, last1 - 要检查的元素范围
    r1 - 要检查的元素范围
    first2, last2 - 要搜索的元素范围
    r2 - 要搜索的元素范围
    pred - 应用于投影元素的谓词
    proj1 - 应用于第一个范围元素的投影
    proj2 - 应用于第二个范围元素的投影

    返回值

    指向范围 [ first1 , last1 ) 中首次出现序列 [ first2 , last2 ) 起始位置的迭代器。若 [ first2 , last2 ) 为空序列，则返回 first1 。若未找到该序列，则返回与 last1 相等的迭代器。

    复杂度

    最多应用谓词和每个投影 S * N 次，其中 S = last2 - first2 且 N = last1 - first1 。

    可能的实现 

    template<ForwardIterator I1, Sentinel<I1> S1,
         ForwardIterator I2, Sentinel<I2> S2, class Pred = ranges::equal_to<>,
         class Proj1 = ranges::identity, class Proj2 = ranges::identity>
    requires IndirectlyComparable<I1, I2, Pred, Proj1, Proj2>
I1 search(I1 first1, S1 last1, I2 first2, S2 last2,
          Pred pred = Pred{}, Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{})
{
    for (; ; ++first1)
    {
        I1 it = first1;
        for (I2 it2 = first2; ; (void)++it, (void)++it2)
        {
            if (it2 == last2)
                return first1;
            if (it == last1)
                return it;
            if (!ranges::invoke(pred, ranges::invoke(proj1, *it),
                                      ranges::invoke(proj2, *it2)))
                break;
        }
    }
}

    示例

    本节内容不完整
    原因：缺少示例

    另见

    		 搜索一个元素范围的首次出现
    (函数模板 & 算法函数对象)
    (C++20)
    		在某个范围内查找元素的最后一个序列
    (函数模板)
    		返回 true 如果一个集合是另一个集合的子集
    (函数模板)
    		判断两个元素集合是否相同
    (函数模板)
    		查找第一个满足特定条件的元素
    (函数模板)
    		返回 true 如果一个范围按字典序小于另一个
    (函数模板)
    		查找两个范围第一个不同的位置
    (函数模板)
    		在范围内搜索一个元素的多个连续副本
    (函数模板)