std::binary_search

 

C++

Язык

Заголовочные файлы

Концепты

Поддержка языка

Ошибка

Утилиты

Строки

Контейнеры

Алгоритмы

Итераторы

Работа с числами

Ввод/вывод

Локализация

Регулярные выражения(C++11)

Атомарные операции(C++11)

Потоки(C++11)

Файловая система(C++17)

Технические спецификации

 

Алгоритмы

Функции
Немодифицирующие линейные операции
all_ofany_ofnone_of Шаблон:lines for_each countcount_if mismatch equal	findfind_iffind_if_not Шаблон:lines find_end find_first_of adjacent_find search search_n
Модифицирующие линейные операции
copycopy_if Шаблон:lines copy_n Шаблон:lines copy_backward move Шаблон:lines move_backward Шаблон:lines fill fill_n transform generate generate_n removeremove_if remove_copyremove_copy_if	replacereplace_if replace_copyreplace_copy_if swap swap_ranges iter_swap reverse reverse_copy rotate rotate_copy random_shuffleshuffle Шаблон:lines unique unique_copy
Разделение
is_partitioned Шаблон:lines partition partition_copy Шаблон:lines	stable_partition partition_point Шаблон:lines
Сортировка (на отсортированных промежутках)
is_sorted Шаблон:lines is_sorted_until Шаблон:lines sort	partial_sort partial_sort_copy stable_sort nth_element
Бинарный поиск (на отсортированных промежутках)
lower_bound upper_bound	binary_search equal_range
Множества (на отсортированных промежутках)
merge inplace_merge includes	set_difference set_intersection set_symmetric_difference set_union
Куча
is_heap is_heap_until Шаблон:lines make_heap	push_heap pop_heap sort_heap
Минимум/максимум
max max_element min min_element minmax Шаблон:lines minmax_element Шаблон:lines	lexicographical_compare is_permutation Шаблон:lines next_permutation prev_permutation
Числовые операции
iota Шаблон:lines accumulate inner_product	adjacent_difference partial_sum
Библиотека C
qsort	bsearch

 

Defined in header <algorithm>
template<class ForwardIt, class T > bool binary_search( ForwardIt first, ForwardIt last, const T& value );	(1)
template<class ForwardIt, class T, class Compare > bool binary_search( ForwardIt first, ForwardIt last, const T& value, Compare comp );	(2)

Проверяет, отсортированный диапазон [first, last) содержит элемент, равный value. Первый вариант используется operator< для сравнения элементов, вторая версия использует данную функцию сравнения comp.

Оригинал:

Checks if the sorted range [first, last) contains an element equal to value. The first version uses operator< to compare the elements, the second version uses the given comparison function comp.

Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

Параметры

first, last	—	диапазон элементов для изучения Оригинал: the range of elements to examine Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
value	—	Значение для сравнения элементов Оригинал: value to compare the elements to Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
comp	—	функция сравнения, возвращающая ​true если первый аргумент меньше второго. Сигнатура функции сравнения должна быть эквивалентна следующей:  bool cmp(const Type1 &a, const Type2 &b); Сигнатура на обязана содержать const&, однако, функция не может изменять переданные объекты. Тип Type1 должен быть таков, что объект типа T может быть неявно преобразован в Type1. Тип Type2 должен быть таков, что объект типа ForwardIt может быть разыменован и затем неявно преобразован в Type2. ​
Требования к типам
- ForwardIt должен соответствовать требованиям ForwardIterator.

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

true, если элемент, равный value найдено, false иначе.

Оригинал:

true if an element equal to value is found, false otherwise.

Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

Сложность

Логарифмическая в расстоянии между first и last

Оригинал:

Logarithmic in the distance between first and last

Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

Возможная реализация

Первый вариант
template<class ForwardIt, class T>bool binary_search(ForwardIt first, ForwardIt last, const T& value){ first =std::lower_bound(first, last, value);return(first != last &&!(value <*first));}
Второй вариант
template<class ForwardIt, class T, class Compare>bool binary_search(ForwardIt first, ForwardIt last, const T& value, Compare comp){ first =std::lower_bound(first, last, value);return(first != last &&!(comp(value, *first));}

Пример

Запустить этот код

#include <iostream>#include <algorithm>#include <vector>   int main(){std::vector<int> haystack {1, 3, 4, 5, 9};std::vector<int> needles {1, 2, 3};   for(auto needle : needles){std::cout<<"Searching for "<< needle <<'\n';if(std::binary_search(haystack.begin(), haystack.end(), needle)){std::cout<<"Found "<< needle <<'\n';}else{std::cout<<"no dice!\n";}}}

Вывод:

Searching for 1 Found 1 Searching for 2 no dice! Searching for 3 Found 3

См. также

equal_range	возвращает набор элементов для конкретного ключа Оригинал: returns range of elements matching a specific key Текст был переведён автоматически используя Переводчик Google. Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда. (шаблон функции)