Пример применения

к сортированному вектору (преимущества сортированных векторов описаны в совете 23):

Если у вас имеется сортированный интервал и вы ищете ответ на вопрос: «Присутствует ли заданное значение в интервале, и если присутствует — то где именно?», следует использовать алгоритм

, хотя на первый взгляд кажется, что вам нужен алгоритм . Вскоре мы вернемся к , а пока проанализируем поиск в интервалах с применением алгоритма .

При поиске заданной величины в интервале алгоритм

возвращает итератор, указывающий на первый экземпляр этой величины (в случае успешного поиска) или на правильную позицию вставки (в случае неудачи). Таким образом, алгоритм отвечает на вопрос: «Присутствует ли заданное значение в интервале? Если присутствует, то где находится первый экземпляр, а если нет — где он должен находиться?». Как и в случае с алгоритмом , результат необходимо дополнительно проверить и убедиться в том, что он указывает на искомое значение. Но в отличие от , его нельзя просто сравнить с конечным итератором. Вместо этого приходится брать объект, идентифицированный алгоритмом , и проверять, содержит ли он искомое значение.

Многие программисты используют

примерно так:

В большинстве случаев такая конструкция работает, но в действительности она содержит ошибку. Присмотритесь к проверяемому условию:

В этом условии проверяется равенство, тогда как

использует при поиске критерий эквивалентности. Как правило, результаты проверки по двум критериям совпадают, но, как показано в совете 19, это не всегда так. В таких ситуациях приведенный выше фрагмент не работает.

Чтобы исправить ошибку, необходимо убедиться в том, что итератор, полученный от

, указывает на объект со значением, эквивалентным искомому. Проверку можно выполнить вручную (в совете 19 показано, как это делается, а в совете 24 приведен пример ситуации, когда такое решение оправданно), однако сделать это непросто, поскольку при этом должна использоваться та же функция сравнения, как и при вызове . В общем случае мы имеем дело с произвольной функцией (или объектом функции). При передаче функции сравнения эта же функция должна использоваться и в «ручной» проверке эквивалентности; следовательно, при изменении функции сравнения, передаваемой , вам придется внести соответствующие изменения в проверку эквивалентности. В принципе, синхронизировать функции сравнения не так уж сложно, но об этом необходимо помнить, а при программировании хлопот и без этого хватает.

Существует простое решение: воспользуйтесь алгоритмом

. Алгоритм возвращает пару итераторов; первый совпадает с итератором, возвращаемым , а второй совпадает с итератором, возвращаемым (то есть указывает в позицию за интервалом значений, эквивалентных искомому). Таким образом, алгоритм возвращает пару итераторов, обозначающих интервал значений, эквивалентных искомому. Согласитесь, имя алгоритма выбрано довольно удачно. Возможно, правильнее было бы назвать его , но и воспринимается неплохо.

Относительно возвращаемого значения

необходимо сделать два важных замечания. Если два итератора совпадают, это говорит о том, что интервал пуст, а значение не найдено. По этому факту можно судить о том, было ли найдено совпадение. Пример: