Чтобы вызвать функцию Person::print(), мы передаем объект функции mem fun ref(&.Person;:print) алгоритму for each():

for each (соП.Ьед1п(). coll.endO.

mefTi fLin refC&Person: ;print)):

Адаптер mem fun ref трансформирует обращение к элементу в вызов указанной функции класса.

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

for each Ccoll.beginC). coll.endO.

SPerson::pr1nt): ОШИБКА: невозможно вызвать оператор С)

для указателя на функцию класса

Проблема заключается в том, что for each() вызывает оператор () для указателя, переданного в третьем аргументе, вместо функции класса, на которую он ссылается. Адаптер mem fun ref решает эту проблему, преобразуя вызов оператора ().

Как показывает второй вызов for each(), адаптер bind2nd также позволяет передать один аргумент вызванной функции класса:

for each CcoU.beginO. coll.endC).

blnd2ndCmem fun refC&Person::printW1thPref1x), "person: ")):

Наверное, вас удивляет, что адаптер называется mem fun ref, а не просто mem fun. Исторически сложилось так, что первой появилась другая версия функциональных адаптеров, которой и было присвоено название mem fun. Адаптеры mem fun предназначались для последовательностей, содержащих указатели на элементы. Возможно, во избежание путаницы их следовало бы на.звать mem fun ptr. Следовательно, функции классов могут вызываться не только для серий объектов, но и для серий указателей на объекты. Пример:

fo/fTiemfunlb.cpp

void ptrfoo С const std;:vector<Person*>& coll)

указатель!

using std: using std: using std:

for each b1nd2nd; mem fun;

Вызов функции printO для каждого обьекта. на который ссылается указатель for each CcoU.beginO. coll.endC).

mem funUPerson; ;print));

В прежних версиях STL н стандартной библиотеки С+-Ь адаптеры для функций с одним apiy.uenTOM назывались mem funl и niem funl ref вместо mem fun и mem fun ref.

Вызов функции printWithPrefix С) для каждого обьекта. на который ссылается указатель - строка "person; " лередается при вызове for each (coll.beginO, coll.endO.

bind2nd(mem fun(&Person::pr1ntWithprefix). "person: "));

Адаптеры mem fun ref и mem fun позволяют вызывать функции классов без аргументов или с одним аргументом. Вызвать функцию с двумя аргументами подобным образом не удастся. Дело в том, что для реализации этих адаптеров необходимы вспомогательные объекты функций, предоставляемые для каждого вида функций. Например, вспомогательные классы для mem fun и mem fun ref называются mem fun t, mem fun ref t, const mem fun t, const mem fun ref t, mem funl t, mem funl refj, const mem funl t и const mem funl ref t.

Учтите, что функции классов, вызываемые mem fun ref и mem fun, должны быть константными. К сожалению, стандартная библиотека С-ь+ не предоставляет функциональных адаптеров для неконстантных функций классов (автор обнаружил это в ходе работы над книгой). Вероятно, это объясняется простым недосмотром (просто никто не знал, что это невозможно), и проблема может быть регпена без особых хлопот. Будем надеяться на ликвидацию этого недостатка в будущих реализациях (и версиях стандарта).

Функциональные адаптеры для обычных функций

Функциональный адаптер ptr fun позволяет использовать обычные функции с другими функциональными адаптерами (таб;1. 8.4).

Таблица 8.4. Функциональные адаптеры для обычных функций

Предположим, имеется глобальная функция, которая проверяет некоторое условие для передаваемого параметра;

bool checkdnt elem);

Поиск первого элемента, для которого проверка завершается неудачей, производится следующей командой:

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

notl(ptr fLin(check))); Критерий поиска

Применить конструкцию notl(check) нельзя, поскольку notl() использует специальные типы, предоставляемые объектами функций (см. далее).

Вторая форма используется в ситуации, когда глобальная функция вызывается с двумя параметрами, а вам, например, она нужна как унарная функция:

Поиск первой непустой строки

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

bind2nd(ptr fun(strcmp),"")): Критерий поиска

В этом фрагменте функция strcmp() языка С сравнивает каждый элемент с пустой строкой языка С. Если строки совпадают, фупкция strcmp() возвращает О (эквивалент false). Таким образом, данный вызов frnd rf() возвращает позицию первого элемента, отличного от пустой строки. Другой пример использования функционального адаптера ptr fun приведен на с. 318.

Написание пользовательских объектов функций для функциональных адаптеров

Вы можете написать собственный объект функции, однако, чтобы он работал с функциональными адаптерами, в этом объекте должны быть определены типы для аргументов и результата. Для этого в стандартную библиотеку С++ были включены специальные структуры:

template <class Arg. class Result> struct unary funct1on (

typedef Arg argument type;

typedef Result result type:

template <class Argl. class Arg2. class Result> struct binary funct1on {

typedef Argl f1rst argument type:

typedef Arg2 second arguiTtent type;

typedef Result result type;

Объявляя свой объект функттин производным от одного из этих типов, вы легко обеспечиваете соблюдение этих требований и объект функции становится «совместимым с адаптерами*.

В следующем примере приведено полное определение объекта функции для возведения первого аргумента в степень, заданную вторым аргументом:

fo/fopow.hpp include <funct1onal> finclude <cmath>

template <class Tl, class T2>

struct fopow : public std::b1nary function<Tl. T2. Tl>

Tl OperatorO (Tl base. T2 exp) const ( return std::pow(base.exp);