GeezerVison is showing cpprefjp.github.io — std::search - cpprefjp C++日本語リファレンス
最終更新日時:
2026年08月26日 16時18分05秒 (JST)
Akira Takahashi
が更新
function template
<algorithm>
std:: search
namespace std {
template < class ForwardIterator1 , class ForwardIterator2 >
ForwardIterator1
search ( ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
ForwardIterator2 last2 ); // (1) C++98
template < class ForwardIterator1 , class ForwardIterator2 >
constexpr ForwardIterator1
search ( ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
ForwardIterator2 last2 ); // (1) C++20
template < class ForwardIterator1 , class ForwardIterator2 , class BinaryPredicate >
ForwardIterator1
search ( ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
ForwardIterator2 last2 ,
BinaryPredicate pred ); // (2) C++98
template < class ForwardIterator1 , class ForwardIterator2 , class BinaryPredicate >
constexpr ForwardIterator1
search ( ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
ForwardIterator2 last2 ,
BinaryPredicate pred ); // (2) C++20
template < class ExecutionPolicy , class ForwardIterator1 , class ForwardIterator2 >
ForwardIterator1
search ( ExecutionPolicy && exec ,
ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
ForwardIterator2 last2 ); // (3) C++17
template < class ExecutionPolicy , class ForwardIterator1 , class ForwardIterator2 ,
class BinaryPredicate >
ForwardIterator1
search ( ExecutionPolicy && exec ,
ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
ForwardIterator2 last2 ,
BinaryPredicate pred ); // (4) C++17
template < class ForwardIterator , class Searcher >
ForwardIterator
search ( ForwardIterator first ,
ForwardIterator last ,
const Searcher & searcher ); // (5) C++17
template < class ForwardIterator , class Searcher >
constexpr ForwardIterator
search ( ForwardIterator first ,
ForwardIterator last ,
const Searcher & searcher ); // (5) C++20
}
概要
あるシーケンスの中から、特定のサブシーケンスを探す
(1) : イテレータ範囲[first1, last1)内からサブシーケンス[first2, last2)を検索する。各要素の等値比較としてoperator==を使用する
(2) : イテレータ範囲[first1, last1)内からサブシーケンス[first2, last2)を検索する。各要素の等値比較として二項述語関数オブジェクトpredを使用する
(3) : (1)の並列アルゴリズム版。第1パラメータとして実行ポリシーをとる
(4) : (2)の並列アルゴリズム版。第1パラメータとして実行ポリシーをとる
(5) : 対象となるサブシーケンスを包含するsearcher関数オブジェクトを使用して、範囲[first, last)から対象のサブシーケンスを検索する。
戻り値
(1), (3) :
[first1,last1 - (last2 - first2)] 内のイテレータ i があるとき、0 以上 last2 - first2 未満の整数 n について、それぞれ *(i + n) == *(first2 + n) であるようなサブシーケンスを探し、見つかった最初のサブシーケンスの先頭のイテレータを返す。そのようなイテレータが見つからない場合は last1 を返し、[first2,last2) が空である場合には first1 を返す。
(2), (4) :
[first1,last1 - (last2 - first2)] 内のイテレータ i があるとき、0 以上 last2 - first2 未満の整数 n について、それぞれ *(i + n) == *(first2 + n) であるようなサブシーケンスを探し、見つかった最初のサブシーケンスの先頭のイテレータを返す。そのようなイテレータが見つからない場合は last1 を返し、[first2,last2) が空である場合には first1 を返す。
(5) : 以下と等価
return searcher ( first , last ). first ;
計算量
最大で (last1 - first1) * (last2 - first2) 回の、対応する比較もしくは述語が適用される
備考
例
基本的な使い方
#include <algorithm>
#include <iostream>
#include <vector>
#include <list>
int main () {
std::vector < int > v = { 1 , 2 , 1 , 2 , 3 };
std::list < int > ls = { 1 , 2 };
// 1,2 と連続している最初のシーケンスを探す
std::vector < int >:: iterator it = std::search ( v.begin() , v.end() , ls.begin() , ls.end() );
// v[0] の位置を指すイテレータが見つかる。
if ( it == v.end() ) {
std::cout << "not found" << std::endl ;
} else {
std::cout << "found: index==" << std::distance ( v.begin() , it ) << std::endl ;
}
}
出力
found: index==0
検索器を指定する使い方
出力
4
abaa
実装例
template < class ForwardIterator1 , class ForwardIterator2 >
ForwardIterator1 search ( ForwardIterator1 first1 , ForwardIterator1 last1 ,
ForwardIterator2 first2 , ForwardIterator2 last2 ) {
for ( ; first1 != last1 ; ++ first1 ) {
ForwardIterator1 p1 = first1 ;
ForwardIterator2 p2 = first2 ;
while ( true ) {
if ( p2 == last2 ) return first1 ;
if ( p1 == last1 ) return last1 ;
if ( ! bool ( * p1 == * p2 )) break ;
++ p1 , ++ p2 ;
}
}
return first1 ;
}
template < class ForwardIterator1 , class ForwardIterator2 , class BinaryPredicate >
ForwardIterator1 search ( ForwardIterator1 first1 , ForwardIterator1 last1 ,
ForwardIterator2 first2 , ForwardIterator2 last2 , BinaryPredicate pred ) {
for ( ; first1 != last1 ; ++ first1 ) {
ForwardIterator1 p1 = first1 ;
ForwardIterator2 p2 = first2 ;
while ( true ) {
if ( p2 == last2 ) return first1 ;
if ( p1 == last1 ) return last1 ;
if ( ! bool ( pred ( * p1 , * p2 ))) break ;
++ p1 , ++ p2 ;
}
}
return first1 ;
}
関連項目
参照