binary_search

Статья
03/27/2013

Проверяет, является ли элемент в сортированном диапазона, равно указанному значению или, эквивалентное ему в некотором смысле, двоичным предиката.

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
   );

Параметры

_First
Передний итератор адресацию положение первого элемента в диапазоне для поиска.
_Last
Позиция одного итератора передний адресации, final элементом в диапазоне для поиска.
_Val
Значение необходимо, чтобы был соответствовано значением элемента или которого должно удовлетворять условие с двоичным значением элемента указанного предиката.
_Comp
Определяемый пользователем объект, который определяет функции предиката смысл в том, что элемент, чем другие.Binary предикат принимает 2 аргумента и возвращает true, когда выполняется и false, если не выполняется.

Возвращаемое значение

true если элемент находится в диапазоне, равны или эквивалентно заданному значению; в противном случае – значение false.

Заметки

Отсортированный, на которое ссылается диапазон источника должен быть допустимым; все указатели должны быть dereferenceable и внутри последовательности, последняя позиция должна быть доступен из первого инкрементацией.

Отсортированный диапазон должен быть каждое размещение как предварительное условие к приложению алгоритма binary_search в соответствии с таким же ключом, как используется алгоритмом для сортировки объединенных диапазона.

Диапазоны источника не изменяются binary_search.

Типы значений передних итераторов необходимо менее- не соответствует быть упорядоченным, поэтому, если имеется 2 элементов, оно может быть указано этому, что они эквивалентны (в том смысле, что ни одно из значений не меньше другого) или что один меньше другого.Это приводит к тому, что упорядочение между элементами неравнозначными

Сложность алгоритма логарифмическая, произвольно-доступных итераторов и линейная в противном случае – количество шагов в _Last _First пропорциональных (–).

Пример

// 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;
}

Требования

заголовок: <algorithm>

std пространство имен:

См. также

Ссылки

Стандартная библиотека шаблонов

Поделиться через