binary_search . Boost , Chapter 1. Range 2.0 , Non-mutating algorithms

binary_search

Prototype

template<class ForwardRange, class Value>
bool binary_search(const ForwardRange& rng, const Value& val);
template<class ForwardRange, class Value, class BinaryPredicate>
bool binary_search(const ForwardRange& rng, const Value& val, BinaryPredicate pred);

Description

<binary_search>возвращается<true>, если и только если значение<val>существует в диапазоне<rng>.

Definition

Defined in the header file boost/range/algorithm/binary_search.hpp

Requirements

For the non-predicate versions of binary_search:

<ForwardRange>является модельюВпередКонцепция.
<Value>является образцом<LessThanComparableConcept>.
Упорядочение объектов типа<Value>являетсястрогим слабым упорядочением, как определено в<LessThanComparableConcept>требованиях.
<ForwardRange>Тип значения — тот же тип, что и<Value>.

For the predicate versions of binary_search:

<ForwardRange>является модельюВпередКонцепция.
<BinaryPredicate>является образцом<StrictWeakOrderingConcept>.
<ForwardRange>Тип значения — тот же тип, что и<Value>.
<ForwardRange>Тип значения преобразуется в<BinaryPredicate>тип аргумента.

Precondition:

For the non-predicate version:

<rng>упорядочено в порядке возрастания согласно<operator<>.

For the predicate version:

<rng>упорядочено в порядке возрастания согласно объекту функции<pred>.

Complexity

Для диапазонов неслучайного доступа сложность<O(N)>там, где<N><distance(rng)>.

Для диапазонов случайного доступа сложность<O(logN)>там, где<N><distance(rng)>.

Статья binary_search раздела Chapter 1. Range 2.0 Non-mutating algorithms может быть полезна для разработчиков на c++ и boost.