binary_search
Verifica se è presente un elemento in un intervallo ordinato equivalente a un valore specificato o che equivale a in un certo senso specificato da un predicato binario.
template<class ForwardIterator, class Type>
bool binary_search(
ForwardIterator _First,
ForwardIterator _Last,
const Type& _Val
);
template<class ForwardIterator, class Type, class BinaryPredicate>
bool binary_search(
ForwardIterator _First,
ForwardIterator _Last,
const Type& _Val,
BinaryPredicate _Comp
);
Parametri
_First
Un iteratore avanti destinato alla posizione del primo elemento nell'intervallo da rilevare._Last
Un iteratore avanti destinato alla posizione una dopo l'elemento finale nell'intervallo da rilevare._Val
Il valore richiesto di corrispondere dal valore dell'elemento o che soddisfi la condizione con il valore dell'elemento specificato dal predicato binario._Comp
Oggetto definito dall'utente di funzione predicativa in cui viene definito il concetto cui è minore di un'altra.Un predicato binario accetta due argomenti e restituisce trueuna volta soddisfatti e false una volta non soddisfatta.
Valore restituito
true se viene rilevato un elemento nell'intervallo che è uguale o equivalente al valore specificato; in caso contrario, false.
Note
l'intervallo di origine ordinato fatto riferimento deve essere valido; tutti i puntatori devono essere dereferenceable e, nella sequenza, l'ultima posizione sia raggiungibile da prima dall'aumento.
L'intervallo ordinato ognuno deve essere disposto in una precondizione all'applicazione dell'algoritmo binary_search nello stesso ordine di è essere utilizzato dall'algoritmo per ordinare gli intervalli combinati.
Gli intervalli di origine non vengono modificati da binary_search.
I tipi di valore degli iteratori avanti devono essere minore di. confrontabile essere ordinatoe, pertanto, specificando due elementi, può essere determinato o che sono equivalenti in quanto non è inferiore all'altro) o che ne è inferiore all'altro.Ciò comporta un ordine tra elementi antivalenti
La complessità dell'algoritmo è in caso contrario logaritmica per gli iteratori di accesso casuale e lineare, con il numero di passaggi proporzionali a_Last (–_First).
Esempio
// alg_bin_srch.cpp
// compile with: /EHsc
#include <list>
#include <vector>
#include <algorithm>
#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;
list <int> L;
list <int>::iterator Iter;
bool b1, b2;
L.push_back( 50 );
L.push_back( 10 );
L.push_back( 30 );
L.push_back( 20 );
L.push_back( 25 );
L.push_back( 5 );
L.sort( );
cout << "L = ( " ;
for ( Iter = L.begin( ) ; Iter != L.end( ) ; Iter++ )
cout << *Iter << " ";
cout << ")" << endl;
b1 = binary_search( L.begin( ), L.end( ), 10 );
if ( b1 )
cout << "There is an element in list L with a value equal to 10."
<< endl;
else
cout << "There is no element in list L with a value equal to 10."
<< endl;
// a binary_search under the binary predicate greater
L.sort ( greater<int> ( ) );
b2 = binary_search( L.begin( ), L.end( ), 10 , greater<int> ( ) );
if ( b2 )
cout << "There is an element in list L with a value equivalent to 10 "
<< "under greater than." << endl;
else
cout << "No element in list L with a value equivalent to 10 "
<< "under greater than." << endl;
// a binary_search under the user-defined binary predicate mod_lesser
vector <int> v1;
vector <int>::iterator Iter1;
int i;
for ( i = -2 ; i <= 4 ; i++ )
{
v1.push_back( i );
}
sort ( v1.begin ( ) , v1.end ( ) , mod_lesser );
cout << "Ordered under mod_lesser, vector v1 = ( " ;
for ( Iter1 = v1.begin( ) ; Iter1 != v1.end( ) ; Iter1++ )
cout << *Iter1 << " ";
cout << ")" << endl;
bool b3 = binary_search( v1.begin( ), v1.end( ), -3 , mod_lesser );
if ( b3 )
cout << "There is an element with a value equivalent to -3 "
<< "under mod_lesser." << endl;
else
cout << "There is not an element with a value equivalent to -3 "
<< "under mod_lesser." << endl;
}
Requisiti
intestazione: <algorithm>
Spazio dei nomi: deviazione standard