includes
かどうか 1 種類の並べ替えられた範囲が 2 番目の並べ替えした範囲に含まれるすべての要素を含むテスト要素間の命令または等価性の基準をバイナリ述語によって指定される場合があります。
template<class InputIterator1, class InputIterator2>
bool includes(
InputIterator1 _First1,
InputIterator1 _Last1,
InputIterator2 _First2,
InputIterator2 _Last1
);
template<class InputIterator1, class InputIterator2, class BinaryPredicate>
bool includes(
InputIterator1 _First1,
InputIterator1 _Last1,
InputIterator2 _First2,
InputIterator2 _Last1,
BinaryPredicate _Comp
);
パラメーター
_First1
2 の狭いの最初の要素の位置を示す入力反復子は、2 のすべての要素が 1 番に含まれているかどうかをテストするソース範囲内の並べ替えしました。_Last1
2 の狭いの最後の要素 1 を超える位置を示す入力反復子は、2 のすべての要素が 1 番に含まれているかどうかをテストするソース範囲内の並べ替えしました。_First2
2 番目ののすべての要素が 1 番に含まれているかどうかをテストする 2 個の連続する分類されたソース範囲内の 2 番目の先頭の要素の位置を示す入力反復子。_Last2
2 番目ののすべての要素が 1 番に含まれているかどうかをテストする 2 個の連続する分類されたソース範囲内の 2 番目の最後の要素 1 を超える位置を示す入力反復子。_Comp
要素が別の値より小さいかを意味を定義するユーザー定義の述語関数オブジェクト。バイナリ述語が満たされなかった場合に完了したら 2 個の引数を受け取り、true と false を返します。
戻り値
最初に分類された範囲が 2 番目の並べ替えされているスコープ内のすべての要素が含まれている場合true ; それ以外 false。
解説
このテストについて考える別の方法は、二つ目のソースの範囲が最初のソース範囲内のサブセットであるかどうかを検討することです。
参照される分類されたソース範囲内で有効である必要があります; すべてのポインターが dereferenceable、各シーケンス内の最後の位置は incrementation によって最初から到達できる必要があります。
並べ替えられたソース範囲内で結合された範囲の並べ替えにアルゴリズムによって使用されるのは、にアルゴリズムのアプリケーションへの事前条件が同じ順序変更するに従って含むように各配置する必要があります。
ソース範囲内では、アルゴリズム mergeによって変更されません。
入力反復子の値の型は、そのほか未満であること (という意味でいずれも他より小さくない) 等しいことが、2 個の要素は、いずれかの決定される命令に対応する小さいある必要があります。これは、不一致要素間の順序で発生します。具体的には、アルゴリズムは、指定されたバイナリ述語の最初に分類されたスコープ内のすべての要素が 2 番目の並べ替えの scope 内で、同じ大小関係があるかどうかをテストします。
アルゴリズムの複雑性は、最大で 2 と線形 (* (_Last1 – _First1) – (_Last2 – _First2) ) 空でないソース範囲内の – 1 の比較があります。
使用例
// alg_includes.cpp
// compile with: /EHsc
#include <vector>
#include <algorithm>
#include <functional> // For greater<int>( )
#include <iostream>
// Return whether modulus of elem1 is less than modulus of elem2
bool mod_lesser (int elem1, int elem2 )
{
if ( elem1 < 0 )
elem1 = - elem1;
if ( elem2 < 0 )
elem2 = - elem2;
return elem1 < elem2;
}
int main( )
{
using namespace std;
vector <int> v1a, v1b;
vector <int>::iterator Iter1a, Iter1b;
// Constructing vectors v1a & v1b with default less-than ordering
int i;
for ( i = -2 ; i <= 4 ; i++ )
{
v1a.push_back( i );
}
int ii;
for ( ii =-2 ; ii <= 3 ; ii++ )
{
v1b.push_back( ii );
}
cout << "Original vector v1a with range sorted by the\n "
<< "binary predicate less than is v1a = ( " ;
for ( Iter1a = v1a.begin( ) ; Iter1a != v1a.end( ) ; Iter1a++ )
cout << *Iter1a << " ";
cout << ")." << endl;
cout << "Original vector v1b with range sorted by the\n "
<< "binary predicate less than is v1b = ( " ;
for ( Iter1b = v1b.begin ( ) ; Iter1b != v1b.end ( ) ; Iter1b++ )
cout << *Iter1b << " ";
cout << ")." << endl;
// Constructing vectors v2a & v2b with ranges sorted by greater
vector <int> v2a ( v1a ) , v2b ( v1b );
vector <int>::iterator Iter2a, Iter2b;
sort ( v2a.begin ( ) , v2a.end ( ) , greater<int> ( ) );
sort ( v2b.begin ( ) , v2b.end ( ) , greater<int> ( ) );
v2a.pop_back ( );
cout << "Original vector v2a with range sorted by the\n "
<< "binary predicate greater is v2a = ( " ;
for ( Iter2a = v2a.begin ( ) ; Iter2a != v2a.end ( ) ; Iter2a++ )
cout << *Iter2a << " ";
cout << ")." << endl;
cout << "Original vector v2b with range sorted by the\n "
<< "binary predicate greater is v2b = ( " ;
for ( Iter2b = v2b.begin ( ) ; Iter2b != v2b.end ( ) ; Iter2b++ )
cout << *Iter2b << " ";
cout << ")." << endl;
// Constructing vectors v3a & v3b with ranges sorted by mod_lesser
vector <int> v3a ( v1a ), v3b ( v1b ) ;
vector <int>::iterator Iter3a, Iter3b;
reverse (v3a.begin( ), v3a.end( ) );
v3a.pop_back ( );
v3a.pop_back ( );
sort ( v3a.begin ( ) , v3a.end ( ) , mod_lesser );
sort ( v3b.begin ( ) , v3b.end ( ) , mod_lesser );
cout << "Original vector v3a with range sorted by the\n "
<< "binary predicate mod_lesser is v3a = ( " ;
for ( Iter3a = v3a.begin ( ) ; Iter3a != v3a.end ( ) ; Iter3a++ )
cout << *Iter3a << " ";
cout << ")." << endl;
cout << "Original vector v3b with range sorted by the\n "
<< "binary predicate mod_lesser is v3b = ( " ;
for ( Iter3b = v3b.begin ( ) ; Iter3b != v3b.end ( ) ; Iter3b++ )
cout << *Iter3b << " ";
cout << ")." << endl;
// To test for inclusion under an asscending order
// with the default binary predicate less <int> ( )
bool Result1;
Result1 = includes ( v1a.begin ( ) , v1a.end ( ) ,
v1b.begin ( ) , v1b.end ( ) );
if ( Result1 )
cout << "All the elements in vector v1b are "
<< "contained in vector v1a." << endl;
else
cout << "At least one of the elements in vector v1b "
<< "is not contained in vector v1a." << endl;
// To test for inclusion under descending
// order specify binary predicate greater<int>( )
bool Result2;
Result2 = includes ( v2a.begin ( ) , v2a.end ( ) ,
v2b.begin ( ) , v2b.end ( ) , greater <int> ( ) );
if ( Result2 )
cout << "All the elements in vector v2b are "
<< "contained in vector v2a." << endl;
else
cout << "At least one of the elements in vector v2b "
<< "is not contained in vector v2a." << endl;
// To test for inclusion under a user
// defined binary predicate mod_lesser
bool Result3;
Result3 = includes ( v3a.begin ( ) , v3a.end ( ) ,
v3b.begin ( ) , v3b.end ( ) , mod_lesser );
if ( Result3 )
cout << "All the elements in vector v3b are "
<< "contained under mod_lesser in vector v3a."
<< endl;
else
cout << "At least one of the elements in vector v3b is "
<< " not contained under mod_lesser in vector v3a."
<< endl;
}
必要条件
ヘッダー: <algorithm>
名前空間: std