GeezerVison is showing cpprefjp.github.io — std::equal - cpprefjp C++日本語リファレンス
最終更新日時:
2026年09月11日 13時06分31秒 (JST)
Akira Takahashi
が更新
function template
<algorithm>
std:: equal
namespace std {
template < class InputIterator1 , class InputIterator2 >
bool equal ( InputIterator1 first1 ,
InputIterator1 last1 ,
InputIterator2 first2 ); // (1) C++98
template < class InputIterator1 , class InputIterator2 >
constexpr bool equal ( InputIterator1 first1 ,
InputIterator1 last1 ,
InputIterator2 first2 ); // (1) C++20
template < class InputIterator1 , class InputIterator2 , class BinaryPredicate >
bool equal ( InputIterator1 first1 ,
InputIterator1 last1 ,
InputIterator2 first2 ,
BinaryPredicate pred ); // (2) C++98
template < class InputIterator1 , class InputIterator2 , class BinaryPredicate >
constexpr bool equal ( InputIterator1 first1 ,
InputIterator1 last1 ,
InputIterator2 first2 ,
BinaryPredicate pred ); // (2) C++20
template < class InputIterator1 , class InputIterator2 >
bool equal ( InputIterator1 first1 ,
InputIterator1 last1 ,
InputIterator2 first2 ,
InputIterator2 last2 ); // (3) C++14
template < class InputIterator1 , class InputIterator2 >
constexpr bool equal ( InputIterator1 first1 ,
InputIterator1 last1 ,
InputIterator2 first2 ,
InputIterator2 last2 ); // (3) C++20
template < class InputIterator1 , class InputIterator2 , class BinaryPredicate >
bool equal ( InputIterator1 first1 ,
InputIterator1 last1 ,
InputIterator2 first2 ,
InputIterator2 last2 ,
BinaryPredicate pred ); // (4) C++14
template < class InputIterator1 , class InputIterator2 , class BinaryPredicate >
constexpr bool equal ( InputIterator1 first1 ,
InputIterator1 last1 ,
InputIterator2 first2 ,
InputIterator2 last2 ,
BinaryPredicate pred ); // (4) C++20
template < class ExecutionPolicy , class ForwardIterator1 , class ForwardIterator2 >
bool equal ( ExecutionPolicy && exec ,
ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ); // (5) C++17
template < class ExecutionPolicy , class ForwardIterator1 , class ForwardIterator2 ,
class BinaryPredicate >
bool equal ( ExecutionPolicy && exec ,
ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
BinaryPredicate pred ); // (6) C++17
template < class ExecutionPolicy , class ForwardIterator1 , class ForwardIterator2 >
bool equal ( ExecutionPolicy && exec ,
ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
ForwardIterator2 last2 ); // (7) C++17
template < class ExecutionPolicy , class ForwardIterator1 , class ForwardIterator2 ,
class BinaryPredicate >
bool equal ( ExecutionPolicy && exec ,
ForwardIterator1 first1 ,
ForwardIterator1 last1 ,
ForwardIterator2 first2 ,
ForwardIterator2 last2 ,
BinaryPredicate pred ); // (8) C++17
}
概要
2つのイテレータ範囲を等値比較する。
(1) : イテレータ範囲[first1, last1)とイテレータ範囲[first2, first2 + (last1 - first1))が等値かを判定する
(2) : (1)の等値比較を任意の2引数関数オブジェクトで行う
(3) : イテレータ範囲[first1, last1)とイテレータ範囲[first2, last2)が等値かを判定する
(4) : (3)の等値比較を任意の2引数関数オブジェクトで行う
2つのイテレータ範囲が異なる要素数であった場合、falseを返す。
2つのイテレータ範囲が要素数および各要素が等値であった場合、trueを返す。
事前条件
(1), (2), (5), (6) : [first2, first2 + (last1 - first1))が妥当なイテレータ範囲であること
(3), (4), (7), (8) : [first2, last2)が妥当なイテレータ範囲であること
戻り値
last2 が与えられている形式の場合、もし last1 - first1 != last2 - first2 であれば、false を返す。[first1,last1) 内のイテレータ i について、*i == *(first2 + (i - first1)) もしくは pred(*i, *(first2 + (i - first1))) != false が全てのイテレータ i について満たされているのであれば true を返す。false を返す。
計算量
last2 が与えられていない形式では、last2 = first2 + (last1 - first1)であるとして説明する。
(1), (2), (3), (4) : InputIterator1 と InputIterator2 が共にランダムアクセスイテレータの要件を満たす場合で、かつ、last1 - first1 != last2 - first2 の場合、1 度も比較または述語は適用されない。そうでない場合、最大で min(last1 - first1, last2 - first2) 回の比較または述語が適用される。
(5), (6), (7), (8) : ForwardIterator1 と ForwardIterator2 が共にランダムアクセスイテレータの要件を満たす場合で、かつ、last1 - first1 != last2 - first2 の場合、1 度も比較または述語は適用されない。そうでない場合、O(min(last1 - first1, last2 - first2)) 回の比較または述語が適用される。
備考
(1), (2), (5), (6) : これらのオーバーロードは、first2から始まる範囲の長さを検査しない。first2側の要素数が[first1, last1)の要素数より少ない場合、範囲外アクセスによって動作は未定義 となり、クラッシュする可能性がある
first2側の範囲が[first1, last1)と同じかそれ以上の要素数をもつことが保証できない場合は、範囲の終端last2を受け取る(3), (4)を使用すること。(3), (4)は要素数が異なる場合にfalseを返す
ランダムアクセスイテレータの範囲を使用する場合、状況によっては(1), (2)のバージョンよりも、(3), (4)を使用する方が効率がよくなることが期待できる。ランダムアクセスイテレータはイテレータ同士の差を定数時間で求められるため、イテレーションを行うことなく2つの範囲の要素数が異なることを検出できるためである
例
基本的な使い方 ((3), (4))
2つのイテレータ範囲の終端をどちらも指定するバージョンである。要素数が異なる場合はfalseを返す。
#include <algorithm>
#include <iostream>
#include <vector>
#include <array>
#include <iterator>
int main () {
std::vector < int > v = { 1 , 2 , 3 , 4 , 3 , 2 };
std::array < int , 6 > v2 = { 1 , 2 , 3 , 4 , 2 , 1 };
// コンテナの中身が同じかどうか調べる
bool result = std::equal ( std::begin ( v ), std::end ( v ), std::begin ( v2 ), std::end ( v2 ));
std::cout << std::boolalpha << result << std::endl ;
// x±1 の誤差を許すようにする
bool result2 = std::equal ( std::begin ( v ), std::end ( v ), std::begin ( v2 ), std::end ( v2 ),
[]( int x , int y ) { return x - 1 <= y && y <= x + 1 ; });
std::cout << std::boolalpha << result2 << std::endl ;
}
出力
false
true
片方のイテレータ範囲の終端を指定しない場合 ((1), (2))
first2から始まる範囲の終端を指定しないバージョンである。この範囲の長さは検査されないため、first2側の要素数が足りない場合は範囲外アクセスとなり、動作は未定義 となる。
#include <algorithm>
#include <iostream>
#include <vector>
int main () {
std::vector < int > v1 = { 1 , 2 , 3 };
std::vector < int > v2 = { 1 , 2 , 3 , 4 };
std::vector < int > v3 = { 1 , 2 };
std::cout << std::boolalpha ;
// v2はv1と同じかそれ以上の要素数をもつことがわかっているため、安全に使用できる
std::cout << std::equal ( v1.begin() , v1.end() , v2.begin() ) << std::endl ;
// 危険な例。
// v3の要素数はv1より少ないため、v3の範囲外にアクセスし、動作は未定義となる
// std::cout << std::equal (v1.begin() , v1.end() , v3.begin() ) << std::endl ;
// 終端を指定する(3)であれば、要素数が異なることを検出してfalseを返す
std::cout << std::equal ( v1.begin() , v1.end() , v3.begin() , v3.end() ) << std::endl ;
}
出力
true
false
実装例
template < class InputIterator1 , class InputIterator2 >
bool equal ( InputIterator1 first1 , InputIterator1 last1 ,
InputIterator2 first2 ) {
for ( ; first1 != last1 ; ++ first1 , ++ first2 )
if ( ! bool ( * first1 == * first2 ))
return false ;
return true ;
}
template < class InputIterator1 , class InputIterator2 , class BinaryPredicate >
bool equal ( InputIterator1 first1 , InputIterator1 last1 ,
InputIterator2 first2 , BinaryPredicate pred ) {
for ( ; first1 != last1 ; ++ first1 , ++ first2 )
if ( ! bool ( pred ( * first1 , * first2 )))
return false ;
return true ;
}
#if __cplusplus >= 201402L
template < class RandomAccessIterator1 , class RandomAccessIterator2 , class BinaryPredicate >
inline bool equal_impl ( RandomAccessIterator1 first1 , RandomAccessIterator1 last1 ,
RandomAccessIterator2 first2 , RandomAccessIterator2 last2 ,
BinaryPredicate pred ,
random_access_iterator_tag , random_access_iterator_tag ) {
if ( last1 - first1 != last2 - first2 )
return false ;
return std :: equal ( first1 , last1 , first2 , pred );
}
template < class InputIterator1 , class InputIterator2 , class BinaryPredicate >
bool equal_impl ( InputIterator1 first1 , InputIterator1 last1 ,
InputIterator2 first2 , InputIterator2 last2 , BinaryPredicate pred ,
input_iterator_tag , input_iterator_tag ) {
for ( ; first1 != last1 && first2 != last2 ; ++ first1 , ++ first2 )
if ( ! bool ( pred ( * first1 , * first2 )))
return false ;
return first1 == last1 && first2 == last2 ;
}
template < class InputIterator1 , class InputIterator2 , class BinaryPredicate >
inline bool equal ( InputIterator1 first1 , InputIterator1 last1 ,
InputIterator2 first2 , InputIterator2 last2 , BinaryPredicate pred ) {
return equal_impl ( first1 , last1 , first2 , last2 , pred ,
typename iterator_traits < InputIterator1 >:: iterator_category (),
typename iterator_traits < InputIterator2 >:: iterator_category ());
}
template < class InputIterator1 , class InputIterator2 >
inline bool equal ( InputIterator1 first1 , InputIterator1 last1 ,
InputIterator2 first2 , InputIterator2 last2 ) {
return std :: equal ( first1 , last1 , first2 , last2 , equal_to <> ());
}
#endif
バージョン
言語
C++98
C++14: 2つ目の終端のイテレータlast2を実引数に取るオーバーロードの追加。
処理系(last2を受け取るバージョン)
関連項目
参照