GeezerVison is showing cpprefjp.github.io — std::search_n - cpprefjp C++日本語リファレンス
最終更新日時:
2026年08月25日 12時11分17秒 (JST)
Akira Takahashi
が更新
function template
<algorithm>
std:: search_n
namespace std {
template < class ForwardIterator ,
class Size ,
class T >
ForwardIterator
search_n ( ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ); // (1) C++98
template < class ForwardIterator ,
class Size ,
class T >
constexpr ForwardIterator
search_n ( ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ); // (1) C++20
template < class ForwardIterator ,
class Size ,
class T = typename iterator_traits < ForwardIterator >:: value_type >
constexpr ForwardIterator
search_n ( ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ); // (1) C++26
template < class ForwardIterator ,
class Size ,
class T ,
class BinaryPredicate >
ForwardIterator
search_n ( ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ,
BinaryPredicate pred ); // (2) C++98
template < class ForwardIterator ,
class Size ,
class T ,
class BinaryPredicate >
constexpr ForwardIterator
search_n ( ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ,
BinaryPredicate pred ); // (2) C++20
template < class ForwardIterator ,
class Size ,
class T = typename iterator_traits < ForwardIterator >:: value_type ,
class BinaryPredicate >
constexpr ForwardIterator
search_n ( ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ,
BinaryPredicate pred ); // (2) C++26
template < class ExecutionPolicy ,
class ForwardIterator ,
class Size ,
class T >
ForwardIterator
search_n ( ExecutionPolicy && exec ,
ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ); // (3) C++17
template < class ExecutionPolicy ,
class ForwardIterator ,
class Size ,
class T = typename iterator_traits < ForwardIterator >:: value_type >
ForwardIterator
search_n ( ExecutionPolicy && exec ,
ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ); // (3) C++26
template < class ExecutionPolicy ,
class ForwardIterator ,
class Size ,
class T ,
class BinaryPredicate >
ForwardIterator
search_n ( ExecutionPolicy && exec ,
ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ,
BinaryPredicate pred ); // (4) C++17
template < class ExecutionPolicy ,
class ForwardIterator ,
class Size ,
class T = typename iterator_traits < ForwardIterator >:: value_type ,
class BinaryPredicate >
ForwardIterator
search_n ( ExecutionPolicy && exec ,
ForwardIterator first ,
ForwardIterator last ,
Size count ,
const T & value ,
BinaryPredicate pred ); // (4) C++26
}
概要
あるシーケンスの中から、特定のサブシーケンスを探す。
(1): イテレータ範囲[first, last)から、値valueがcount回連続しているサブシーケンスを検索する
(2): イテレータ範囲[first, last)から、pred(*it, value) == trueとなる要素がcount回連続しているサブシーケンスを検索する
(3): 実行ポリシーにしたがって、イテレータ範囲[first, last)から、値valueがcount回連続しているサブシーケンスを検索する
(4): 実行ポリシーにしたがって、イテレータ範囲[first, last)から、pred(*it, value) == trueとなる要素がcount回連続しているサブシーケンスを検索する
適格要件
Sizeは整数型に変換できる型である必要がある。
戻り値
[first,last-count) 内のイテレータ i があるとき、0 以上 count 未満の整数 n について、それぞれ *(i + n) == value もしくは pred(*(i + n),value) != false であるようなサブシーケンスを探し、見つかった最初のサブシーケンスの先頭のイテレータを返す。
そのようなイテレータが見つからない場合は last を返す。
計算量
最大で last - first 回の対応する比較もしくは述語が適用される。
備考
(1), (2), (3), (4) :
C++26 : パラメータvalueとして波カッコ初期化{}を受け付ける
例
基本的な使い方
#include <algorithm>
#include <iostream>
#include <vector>
int main () {
std::vector < int > v = { 1 , 2 , 3 , 2 , 1 , 3 , 3 , 2 , 3 , 3 , 1 };
// 3 が 2 つ連続している最初のシーケンスを探す
auto it1 = std::search_n ( v.cbegin() , v.cend() , 2 , 3 );
// v[5] の位置を指すイテレータが見つかる。
if ( it1 == v.cend() ) {
std::cout << "not found" << std::endl ;
} else {
std::cout << "found: index==" << std::distance ( v.cbegin() , it1 ) << std::endl ;
}
// 3 未満が 2 つ連続している最初のシーケンスを探す
auto it2 = std::search_n ( v.cbegin() , v.cend() , 2 , 3 , []( int x , int y ) { return x < y ; });
// v[0] の位置を指すイテレータが見つかる。
if ( it2 == v.cend() ) {
std::cout << "not found" << std::endl ;
} else {
std::cout << "found: index==" << std::distance ( v.cbegin() , it2 ) << std::endl ;
}
}
出力
found: index==5
found: index==0
波カッコ初期化を入力として使用する (C++26)
#include <algorithm>
#include <iostream>
#include <vector>
struct Point {
int x ;
int y ;
bool operator == ( const Point & other ) const = default ;
};
int main () {
std::vector < Point > v = {
{ 1 , 2 },
{ 3 , 4 },
{ 3 , 4 },
{ 5 , 6 },
};
// 値が {3, 4} が2回連続している場所を探す
auto it = std::search_n ( v.begin() , v.end() , 2 , { 3 , 4 });
if ( it != v.end() ) {
int index = std::distance ( v.begin() , it );
std::cout << "found: index==" << index << std::endl ;
}
}
出力
found: index==1
実装例
template < class ForwardIterator , class Size , class T >
ForwardIterator search_n ( ForwardIterator first , ForwardIterator last , Size count , T const & value )
{
if ( first == last || count <= 0 )
return first ;
while ( first != last ) {
if ( * first == value ) {
ForwardIterator it = first ;
++ it ;
Size i = 1 ;
for (; i < count && it != last && * it == value ; ++ i , ++ it )
;
if ( i == count )
return first ;
else if ( it == last )
return last ;
else
first = it ;
}
++ first ;
}
return last ;
}
template < class ForwardIterator , class Size , class T , class BinaryPredicate >
ForwardIterator search_n ( ForwardIterator first , ForwardIterator last ,
Size count , T const & value , BinaryPredicate pred )
{
if ( first == last || count <= 0 )
return first ;
while ( first != last ) {
if ( pred ( * first , value )) {
ForwardIterator it = first ;
++ it ;
Size i = 1 ;
for (; i < count && it != last && pred ( * it , value ); ++ i , ++ it )
;
if ( i == count )
return first ;
else if ( it == last )
return last ;
else
first = it ;
}
++ first ;
}
return last ;
}
関連項目
参照