Эффективное использование STL
вернуться

Мейерс Скотт
Шрифт:

Помимо побочных эффектов между

for_each
и
accumulate
существуют два основных различия. Во-первых, само название
accumulate
ассоциируется с вычислением сводного значения по интервалу, а название
for_each
скорее предполагает выполнение некой операции с каждым элементом интервала. Алгоритм
for_each
может использоваться дя вычисления сводной величины, но такие решения по наглядности уступают
accumulate
.

Во-вторых, accumulate непосредственно возвращает вычисленное значение, а

for_each
возвращает объект функции, используемый для дальнейшего получения информации. В C++ это означает, что в класс функтора необходимо включить функцию для получения искомых данных.

Ниже приведен предыдущий пример, в котором вместо accumulate используется

for_each
:

struct Point{…}; // См. ранее

class PointAverage;

public unary_function<Point, void>{ // См. совет 40

public:

 PointAverage: xSum(0), ySum(0), numPoints(0) {}

 void operator(const Point& p) {

++numPoints;

xSum += p.x;

ySum += p.y;

 }

 Point result const {

return Point(xSum/numPoints, ySum/numPoints);

 }

private:

 size t numPoints;

 double xSum;

 double ySum;

};

list<Point> lp;

…

Point avg = for_each(lp.begin, lp.end, PointAverage).result;

Лично я предпочитаю обобщать интервальные данные при помощи

accumulate
, поскольку мне кажется, что этот алгоритм наиболее четко передает суть происходящего, однако
foreach
тоже работает, а вопрос побочных эффектов для
for_each
не так принципиален, как для
accumulate
. Словом, для обобщения интервальных данных могут использоваться оба алгоритма; выберите тот, который вам лучше подойдет.

Возможно, вас интересует, почему у

for_each
параметр-функция может иметь побочные эффекты, а у
accumulate
— не может? Представьте, я бы тоже хотел это знать. Что ж, дорогой читатель, некоторые тайны остаются за пределами наших познаний. Чем
accumulate
принципиально отличается от
for_each
? Пока я еще не слышал убедительного ответа на этот вопрос.

Функции, функторы и классы функций

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

find_if
, конструкции
for_each
и
transform
без них теряют смысл, а адаптеры типа
not1
и
bind2nd
активно создают их.

Да, функторы и классы функторов встречаются в STL на каждом шагу. Встретятся они и в ваших программах. Умение создавать правильно работающие функторы абсолютно необходимо для эффективного использования STL, поэтому большая часть этой главы посвящена одной теме — как добиться того, чтобы функторы работали именно так, как им положено работать в STL. Впрочем, один совет посвящен другой теме и наверняка пригодится тем, кто задумывался о необходимости включения в программу вызовов

ptr_fun
,
mem_fun
и
mem_fun_ref
. При желании начните с совета 41, но пожалуйста, не останавливайтесь на этом. Когда вы поймете, для чего нужны эти функции, материал остальных советов поможет вам наладить правильное взаимодействие ваших функторов с ними и с STL в целом.

Совет 38. Проектируйте классы функторов для передачи по значению

Ни C, ни C++ не позволяют передавать функции в качестве параметров других функций. Вместо этого разрешается передавать указатели на функции. Например, объявление стандартной библиотечной функции

qsort
выглядит следующим образом:

void qsort(void *base, size_t nmemb, size_t size,

 int (*cmpfcn)(const void*, const void*));

В совете 46 объясняется, почему вместо функции

qsort
обычно рекомендуется использовать алгоритм
sort
, но дело не в этом. Нас сейчас интересует объявление параметра
cmpfcn
функции
qsort
. При внимательном анализе становится ясно, что аргумент
cmpcfn
, который является указателем на функцию, копируется (то есть передается по значению) из точки вызова в функцию
qsort
. Данный пример поясняет правило, соблюдаемое стандартными библиотеками C и C++, — указатели на функции должны передаваться по значению.