Скотт Мейерс - Эффективное использование STL

template

typename OutputIterator, // реализация copy_if

typename Predicate>

OutputIterator copy_if(InputIterator begin, InputIterator end,

OutputIterator destBegin, Predicate p) {

return remove_copy_if(begin, end, destBegin, not1(p));

}

Решение основано на простом факте: хотя STL не позволяет сказать «скопировать все элементы, для которых предикат равен true», но зато можно потребовать «скопировать все элементы, кроме тех, для которых предикат неравен true». Создается впечатление, что для реализации copy_ifдостаточно поставить not1перед предикатом, который должен передаваться copy_if, после чего передать полученный предикат remove_copy_if. Результатом является приведенный выше код.

Если бы эти рассуждения были верны, копирование дефектных объектов Widget можно было бы произвести следующим образом:

copy_if(widgets.begin(), widgets.end(), // Хорошо задумано,

ostream_iterator(cerr, "\n"), // но не компилируется

isDefective);

Компилятор недоволен попыткой применения not1к isDefective(это происходит внутри copy_if). Как объясняется в совете 41, not1не может напрямую применяться к указателю на функцию — сначала указатель должен пройти через ptr_fun. Чтобы вызвать эту реализацию copy_if, необходимо передать не просто объект функции, а адаптируемый объект функции. Сделать это несложно, однако возлагать эти хлопоты на будущих клиентов алгоритма STL нельзя. Стандартные алгоритмы STL никогда не требуют, чтобы их функторы были адаптируемыми, поэтому нельзя предъявлять это требование к copy_if. Приведенная выше реализация хороша, но недостаточно хороша.

Правильная реализация copy_ifдолжна выглядеть так:

template

typename OutputIterator, // реализация copy_if

typename Predicate>

OutputIterator copy_if(InputIterator begin, InputIterator end,

OutputIterator destBegin, Predicate p) {

while (begin != end) {

if (p(*begin)) *destBegn++ = *begin;

++begin;

}

return destBegn;

}

Поскольку алгоритм copy_ifчрезвычайно полезен, а неопытные программисты STL часто полагают, что он входит в библиотеку, можно порекомендовать разместить реализацию copy_if— правильную реализацию! — в локальной вспомогательной библиотеке и использовать ее в случае надобности.

Иногда возникает необходимость свести целый интервал к одному числу или, в более общем случае, к одному объекту. Для стандартных задач обобщения существуют специальные алгоритмы. Так, алгоритм countвозвращает количество элементов в интервале, а алгоритм count_ifвозвращает количество элементов, соответствующих заданному предикату. Минимальное и максимальное значение элемента в интервале можно получить при помощи алгоритмов min_elementи max_element.

Но в некоторых ситуациях возникает необходимость обработки интервальных данных по нестандартным критериям, и в таких случаях нужны более гибкие и универсальные средства, нежели алгоритмы count, count_if, min_elementи max_element. Предположим, вы хотите вычислить сумму длин строк в контейнере, произведение чисел из заданного интервала, усредненные координаты точек и т. д. В каждом из этих случаев производится обобщение интервала, но при этом критерий обобщения вы должны определять самостоятельно. Для подобных ситуаций в STL предусмотрен специальный алгоритм accumulate. Многим программистам этот алгоритм незнаком, поскольку в отличие от большинства алгоритмов он не находится в , а вместе с тремя другими «числовыми алгоритмами» ( inner_product, adjacent_differenceи partial_sum) выделен в библиотеку .

Как и многие другие алгоритмы, accumulateсуществует в двух формах. Первая форма, получающая пару итераторов и начальное значение, возвращает начальное значение в сумме со значениями из интервала, определяемого итераторами:

list ld; // Создать список и заполнить

// несколькими значениями типа double.

double sum = accumulate(ld.begin(), ld.end(), 0.0); // Вычислить сумму чисел

// с начальным значением 0.0

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