C++ для начинающих

Алгоритмы достигают независимости от типов за счет того, что никогда не обращаются к элементам контейнера непосредственно; доступ и обход элементов осуществляются только с помощью итераторов. Неизвестны ни фактический тип контейнера, ни даже то, является ли он контейнером или встроенным массивом. Для работы со встроенным типом массива обобщенному алгоритму можно передать не только обычные указатели, но и итераторы. Например, алгоритм find() для встроенного массива элементов типа int можно использовать так:

#include algoritm

#include iostream

int main()

{

int search_value;

int ia[ 6 ] = { 27, 210, 12, 47, 109, 83 };

cout "enter search value: ";

cin search_value;

int *presult = find( &ia[0], &ia[6], search_value );

cout "The value " search_value

( presult == &ia[6]

? " is not present" : " is present" )

endl;

}

Если возвращенный указатель равен адресу &ia[6] (который расположен за последним элементом массива), то поиск оказался безрезультатным, в противном случае значение найдено.

Вообще говоря, при передаче адресов элементов массива обобщенному алгоритму мы можем написать

int *presult = find( &ia[0], &ia[6], search_value );

или

int *presult = find( ia, ia+6, search_value );

Если бы мы хотели ограничиться лишь отрезком массива, то достаточно было бы модифицировать передаваемые алгоритму адреса. Так, при следующем обращении к find() просматриваются только второй и третий элементы (напомним, что элементы массива нумеруются с нуля):

// искать только среди элементов ia[1] и ia[2]

int *presult = find( &ia[1], &ia[3], search_value );

А вот пример использования контейнера типа vector с алгоритмом find():

#include algorithm

#include vector

#include iostream

int main()

{

int search_value;

int ia[ 6 ] = { 27, 210, 12, 47, 109, 83 };

vectorint vec( ia, ia+6 );

cout "enter search value: ";

cin search_value;

vectorint::iterator presult;

presult = find( vec.begin(), vec.end(), search_value );

cout "The value " search_value

( presult == vec.end()

? " is not present " : " is present" )

endl;

}

find() можно применить и к списку:

#include algorithm

#include list

#include iostream

int main()

{

int search_value;

int ia[ 6 ] = { 27, 210, 12, 47, 109, 83 };

listint ilist( ia, ia+6 );

cout "enter search value: ";

cin search_value;

listint::iterator presult;

presult = find( ilist.begin(), ilist.end(), search_value );

cout "The value "search_value

( presult == ilist.end()

? " is not present" : " is present" )

endl;

}

(В следующем разделе мы обсудим построение программы, в которой используются различные обобщенные алгоритмы, а затем рассмотрим объекты-функции. В разделе 12.4 мы подробнее расскажем об итераторах. Развернутое введение в обобщенные алгоритмы – предмет раздела 12.5, а их детальное обсуждение и иллюстрация применения вынесено в Приложение. В конце главы речь пойдет о случаях, когда применение обобщенных алгоритмов неуместно.)

Упражнение 12.1

Обобщенные алгоритмы критикуют за то, что при всей элегантности дизайна проверка корректности возлагается на программиста. Например, если передан неверный итератор или пара итераторов, помечающая неверный диапазон, то поведение программы не определено. Вы согласны с такой критикой? Следует ли оставить применение обобщенных алгоритмов только наиболее квалифицированным специалистам? Может быть, нужно запретить использование потенциально опасных конструкций, таких, как обобщенные алгоритмы, указатели и явные приведения типов?

12.2. Использование обобщенных алгоритмов

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