Чтобы включить в интервал последний найденный элемент, необходимо перевести итератор на одну позицию вперед:

fiiax elemGnt Cpos25. ++pos35)

На этот раз результат будет правильным:

шах: 35

В этом примере контейнером является список, поэтому для перевода pos35 к следующей позиции был применен оператор ++. Если бы мы использовали итератор произвольного доступа (как в случае вектора или дека), задача также решалась бы с помощью выражения pos35 + 1, поскольку итераторы произвольного доступа поддерживают математические операции (см. с. 105 и 261).

Конечно, итераторы pos25 и pos35 можно использовать для поиска в подмножестве элементов. Чтобы поиск производился с включением позиции pos35, следует сместить позицию итератора. Пример:

Увеличение pos35 для учета конца интервала при поиске ++pos35;

pos30 = find(pos25, pos35. Интервал 30); Значение

if Cpos30 == pQs35) {

cout « "30 is NOT in the subrange" « endl:

else {

cout « "30 1s in the subrange" « endl;

Bee примеры, приведенные в этом разделе, работают только потому, что нам точно известно: позиция pos25 предшествует позшдии pos35. В противном случае интервал [pos25, pos35) становится недействительным. Если вы не уверены в том, какой из элементов которому предшествует, то ситуация усложняется, а ошибка может привести к непредсказуемым последствиям.

Предположим, мы не знаем, что элемент со значением 25 предшествует элементу со значением 35. Более того, нельзя исключать, что одно или оба значения отсутствуют в контейнере. При использовании итератора произвольного доступа проверка выполняется оператором <<:

if (pos25 < ро535) {

Действителен интервал [pos25.pos35)

else if Cpos35 < pos25) {

Действителен интервал [pos35.pos25)

else {

Итераторы равны; следовательно, оба итератора находятся в позиции end()

Без итераторов произвольного доступа не существует простого и быстрого способа определить порядок следования итераторов. Единственное разумное решение - провести поиск одного итератора в интервале от начала до другогс итератора или от другого итератора до конца, В этом случае алгоритм слегка изменяется: вместо того чтобы искать оба значения во всем исходном интервале, мы пытаемся определить, какое значение встречается первым. Пример:

pos25 = find (coll .beginO. coll.endO, Интервал 25); Значение

pos35 = find (coll.beginO. pos25. Интервал

35); Значение

if (po535 != pos25) {

/* pos35 предшествует po£25: следовательно. * действителен только интервал [pos35.pos25) */

else {

pQs35 = find (pos25. coll.endO. Интервал 35); Значение

if (pos35 !- pos25) {

/* pQs25 предшествует pos35; следовательно. * действителен только интервал [pos25.pos35) */

else {

Итераторы равны; следовательно, оба итератора находятся в позиции endO

В отличие от предыдущей версии поиск значения 35 производится не во всем множестве элементов colL Сначала поиск ведется от начала до pos25. Если значение не найдено, поиск производится среди элементов, находящихся после pos25. В результате мы выясняем, какой итератор встречается раньше и какой интервал действителен.

Эффективность подобной реализации оставляет желать лучшего. Более эффективный способ найти первый элемент со значением 25 или 35 заключается в том, чтобы поиск выполнялся именно по такому условию. Для этого придется задействовать некоторые возможности STL, еще не упоминавшиеся в книге:

pos = find if (coll.beginO. coll.endO. Интервал

compQse f gx hx(logical or<bool>(). Критерий bind2nd(equal tQ<int>().25). bind2nd(equal to<int>().35))):

switch (*pos) { case 25:

Первым обнаружен элемент со значением 25

pos25 = poS;

pos35 = find (++pos, coll.endO. Интервал 35); Значение

break; case 35:

Первым обнаружен элемент со значением 35 pos35 = pos:

pos25 = find C++pos. coll.endO. Интервал 25); Значение

break; default:

Элементы со значениями 25 и 35 не найдены break;

В качестве критерия поиска передается специальное выражение для нахождения первого элемента со значением 25 или 35. В этом выражении объединены несколько стандартных объектов функций (см. с. 140 и 305) и вспомогательный объект функции compose f gx hx, описанный на с. 316.

Использование нескольких интервалов

Некоторые алгоритмы работают сразу с несколькими интервалами. Обычно в таких случаях задаются начало и конец только одного интервала, а для остальных интервалов задается только начало. Конечная позиция других интервалов определяется по количеству элементов в первом интервале. Например, следующий вызов equal() поэлементно сравнивает все содержимое коллекции colli с элементами со112, начиная с первого:

if (equal (colli.beginO. colli.endO. coll2.begin()) {

Таким образом, количество элементов со112, сравниваемых с элементами colli, косвенно определяется количеством элементов в colli.

Из этого следует важный вывод: вызывая алгоритм для нескольких интервалов, убедитесь в том, что второй и все прочие интервалы содержат не меньше элементов, чем первый интервал. Размер приемных интервалов особенно важен для алгоритмов, осуществляющих запись в коллекцию.

Рассмотрим следующую программу:

stl/copyl.cpp finclude <iostream> #include <vector> linclude <list>