Namespaces
Variants

    std::experimental::ranges:: search

    From ja.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
    ヘッダーで定義 <experimental/ranges/algorithm>
    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 を第1ソース範囲として、 r2 を第2ソース範囲として使用します。具体的には、 ranges:: begin ( r1 ) を first1 として、 ranges:: end ( r1 ) を last1 として、 ranges:: begin ( r2 ) を first2 として、 ranges:: end ( r2 ) を last2 として使用するのと同じです。

    上記に示された宣言にかかわらず、アルゴリズム宣言の実際のテンプレートパラメータの数と順序は未規定です。したがって、アルゴリズムを呼び出す際に明示的なテンプレート引数を使用する場合、プログラムはおそらく移植性がありません。

    目次

    パラメータ

    first1, last1 - 検査対象の要素範囲
    r1 - 検査対象の要素範囲
    first2, last2 - 検索対象の要素範囲
    r2 - 検索対象の要素範囲
    pred - 投影された要素に適用する述語
    proj1 - 第1範囲の要素に適用する投影
    proj2 - 第2範囲の要素に適用する投影

    戻り値

    範囲 [ 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 ある集合が別の集合の部分集合である場合に
    (関数テンプレート)
    		2つの要素の集合が同じかどうかを判定する
    (関数テンプレート)
    		特定の条件を満たす最初の要素を検索する
    (関数テンプレート)
    		返す true ある範囲が別の範囲より辞書順で小さい場合に
    (関数テンプレート)
    		2つの範囲が異なる最初の位置を検索する
    (関数テンプレート)
    		範囲内で要素の連続したコピーを検索する
    (関数テンプレート)