Первый аргумент и возвращаемое значение относятся к одному типу Т1, а показатель степени может относиться к другому типу 12, Передавая эту информацию binary function, мы обеспечиваем определение необходимых типов. Тем не менее вместо использования binary function типы можно определить напрямую. Как обычно бывает в STL, функциональные адаптеры соответствуют концепции чистой абстракции: любой объект, который ведет себя как объект функции, совместимый с функциональными адаптерами, является таковым. ;

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

fo/fopowl.cpp #lnclude <iostream> #inclLide <vector> #lnclude <algorlthm> using namespace std:

Включение пользовательского обьекта функции fopow<> #lnc1ude "fopow.hpp"

int mainO (

vector<int> col 1:

Вставка элементов со значениями от 1 до 9 for Cint i=l: i<=9: ++i) { coll.push backCi):

Вывод числа 3. возведенного в степень каждого элемента transform (coll.beginO. coll.endO. . Источник

ostream iterator<int>(cout." "). Приемник

bindlst(fopow<float.int>0.3)): Операция cout « endl:

Вывод всех элементов, возведенных в степень 3 transform (coll.beginO, coll.endO. Источник

ostream iterator<int>(cout." "). Приемник

bind2nd(fopow<float.int>().3)): Операция cout « endl:

Программа выводит следующий результат:

3 9 27 81 243 729 2187 6561 19683 1 8 27 64 125 216 343 512 729

Обратите внимание: объект функции fopow реализован для типов float и int Если использовать int как для основания, так и для показателя степени, вы сможете вызвать pow() с двумя аргументами типа int, но при этом будет нарушена

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

transform (соП . begin(). coll.endO.

ostream iterdtor<int>(cout." ").

b1ndlstCfopow<1nt,int>0.3)): ОШИБКА: неоднозначность Более подробное описание этой проблемы приводится на с. 557.

Дополнительные композиционные адаптеры

Возможность объединения объектов функций играет важную роль в построении программного кода из готовых компонентов. Композиция позволяет конструировать очень сложные объекты функций из более простых частей. Конечно, было бы очень полезно, чтобы практически любое функциональное отношение представлялось в виде комбинации объектов функций, К сожалению, набор адаптеров в стандартной библиотеке С++ недостаточно широк. Например, не существует адаптера, которой бы позволял объединить две унарные операции для формулировки критерия вида «одно и другое».

Теоретически в библиотеке пригодились бы следующие композиционные адаптеры.

О f(g(e/m)). Общая форма унарной композиции - вложенные вызовы унарных предикатов, при которых результаты вызова предиката д() являются входными данными для предиката f(). Все выражение работает как унарный предикат.

О f{g{elem1 ,elem2)). Два элемента elemi и elem2 передаются в аргументах бинарного предиката д(), а результать!, как и в предыдущем случае, являются входными данными для унарного предиката f(). Все выражение работает как бинарный предикат.

О f{g{elem),h{elem)). Элемент elem передается двум разным унарным предикатам д() и h(), а результаты обрабатываются бинарным предикатом f(). Все выражение работает как унарный предикат.

О f{g{elem1),h{elem2)). В этой форме два элемента elemi и elem2 передаются двум разным унарным предикатам д() и h(), а результаты обрабатываются бинарным предикатом f(). Все выражение работает как бинарный предикат.

К сожалению, эти композиционные адаптеры не были стандартизированы, поэтому для них не существуют стандартных имен. В реализации STL от SGI были определены имена для двух из перечисленных адаптеров, однако сообщество программистов еще не выбрало наиболее подходящие. В табл. 8.5 приведены имена, которые мы будем использовать в этой книге.

В архиве библиотек С++ Boost (http: wvvw.boost.org) можно найти как имена, которые должны использоваться в будущем, так и их полную реализацию. Ниже описаны три адаптера, которые часто встречаются в книге.

Таблица 8.5. Возможные имена композиционных адаптеров

Унарные композиционные адаптеры

Унарные композиционные адаптеры являются весьма важными. Они также входят в реализацию STL от SGI.

Вложенные вычисления с использованием адаптера compose f gx

в простейшем композиционном адаптере результаты выполнения одной унарной операции становятся входными данными для другой унарной операции. Иначе говоря, этот адаптер просто обеспечивает вложенный вызов двух унарных объектов функций. Он понадобится для формулировки условий тина «прибавить 10 и умножить на 4».

Возможная реализация адаптера compose f gx (в реализации SGI используется имя composel) выглядит так:

fo/composell.hpp #inc1ude <funct1onal>

/* Класс композиционного адаптера cofTipose f gx */

template <class OPl. class 0P2> class compose f gx t : public std::unary function<typename 0P2:;argument type,

typename OPl::result type>

private:

OPl opl: Вычисление: opl(op2Cx)) 0P2 op2: public: Конструктор

compose f gx t(const 0P1& ol. const 0P2& o2) : oplCol). op2(o2) (

Вызов функции typename OPl::result type

operatorOCconst typename 0P2: :argument type& x) const { return opUop2(x)):