Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
C++ для начинающих.pdf
Скачиваний:
183
Добавлен:
01.05.2014
Размер:
3.97 Mб
Скачать

divides<int> intDivides; ires = intDivides( ival1,

ival2 );

dres = BinaryFunc( divides<double>(), dval1, dval2 );

modulus<Int> IntModulus; Ires = IntModulus( Ival1,

Ival2 );

Взятие остатка: modulus<Type>

ires = BinaryFunc( modulus<int>(), ival1, ival2 );

negate<int> intNegate; ires =

intNegate( ir

es );

Вычисление противоположного значения: negate<Type>

Ires = UnaryFunc( negate<Int>(), Ival1 );

12.3.3. Сравнительные объекты-функции

Сравнительные объекты-функции поддерживают операции равенства, неравенства, больше, больше или равно, меньше, меньше или равно.

equal_to<string> stringEqual;

sres = stringEqual( sval1, sval2 ); ires = count_if( svec.begin(),

svec.end(),

Равенство: equal_to<Type>

equal_to<string>(), sval1 );

not_equal_to<complex> complexNotEqual; cres = complexNotEqual( cval1, cval2 ); ires = count_if( svec.begin(),

svec.end(),

Неравенство: not_equal_to<Type>

not_equal_to<string>(), sval1 );

Больше: greater<Type>

greater<int> intGreater;

ires = intGreater( ival1, ival2 ); ires = count_if( svec.begin(),

svec.end(),

greater<string>(), sval1 );

greater_equal<double> doubleGreaterEqual; dres = doubleGreaterEqual( dval1,

dval2 );

ires = count_if( svec.begin(), svec.end(),

Больше или равно: greater_equal<Type>

greater_equal <string>(), sval1 );

less<Int> IntLess;

Ires = IntLess( Ival1, Ival2 ); ires = count_if( svec.begin(), svec.end(),

Меньше: less<Type>

less<string>(), sval1 );

less_equal<int> intLessEqual;

ires = intLessEqual( ival1, ival2 ); ires = count_if( svec.begin(),

svec.end(),

Меньше или равно: less_equal<Type>

less_equal<string>(), sval1 );

12.3.4. Логические объекты-функции

Логические объекты-функции поддерживают операции “логическое И” (возвращает true, если оба операнда равны true, – применяет оператор &&, аcсоциированный с типом Type), “логическое ИЛИ” (возвращает true, если хотя бы один из операндов равен true, – применяет оператор ||, аcсоциированный с типом Type) и “логическое НЕ” (возвращает true, если операнд равен false, – применяет оператор !, аcсоциированный с типом Type)

logical_and<int> intAnd; ires = intLess( ival1,

ival2 );

Логическое И: logical_and<Type>

dres = BinaryFunc( logical_and<double>(), dval1, dval2 );

logical_or<int> intSub; ires = intSub( ival1,

ival2 );

Логическое ИЛИ: logical_or<Type>

dres = BinaryFunc( logical_or<double>(), dval1, dval2 );

logical_not<Int> IntNot; ires = IntNot( Ival1,

Ival2 );

Логическое НЕ: logical_not<Type>

dres = UnaryFunc( logical_or<double>(), dval1 );

12.3.5. Адаптеры функций для объектов-функций

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

∙ связыватели (binders). Это адаптеры, преобразующие бинарный объект-функцию в унарный объект, связывая один из аргументов с конкретным значением. Например, для подсчета в контейнере всех элементов, которые меньше или равны 10, следует передать алгоритму count_if() объект-функцию less_equal, один из аргументов которого равен 10. В следующем разделе мы покажем, как это сделать;

отрицатели (negators). Это адаптеры, изменяющие значение истинности объектафункции на противоположное. Например, для подсчета всех элементов внутри контейнера, которые больше 10, мы могли бы передать алгоритму count_if() отрицатель объекта-функции less_equal, один из аргументов которого равен 10. Конечно, в данном случае проще передать связыватель объекта-функции greater, ограничив один из аргументов со значением 10.

В стандартную библиотеку входит два предопределенных адаптера-связывателя: bind1st и bind2nd, причем bind1st связывает некоторое значение с первым аргументом бинарного объекта-функции, а bind2nd – со вторым. Например, для подсчета внутри контейнера всех элементов, которые меньше или равны 10, мы могли бы передать

count_if( vec.begin(), vec.end(),

алгоритму count_if() следующее:

bind2nd( less_equal<int>(), 10 ));

В стандартной библиотеке также есть два предопределенных адаптера-отрицателя: not1 и not2. not1 инвертирует значение истинности унарного предиката, являющегося объектом-функцией, а not2 – значение бинарного предиката. Для отрицания

рассмотренного выше связывателя объекта-функции less_equal можно написать

count_if( vec.begin(), vec.end(),

следующее:

not1( bind2nd( less_equal<int>(), 10 )));

Другие примеры использования связывателей и отрицателей приведены в Приложении, вместе с примерами использования каждого алгоритма.

12.3.6. Реализация объекта-функции

При реализации программы в разделе 12.2 нам уже приходилось определять ряд объектов-функций. В этом разделе мы изучим необходимые шаги и возможные вариации при определении класса объекта-функции. (В главе 13 определение класса рассматривается детально; в главе 15 обсуждается перегрузка операторов.)

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

// простейшая форма класса объектафункции

class less_equal_ten { public:

bool operator() ( int val ) { return val <= 10; }

некоторое значение меньше или равно 10:

};

Теперь такой объект-функцию можно использовать точно так же, как предопределенный. Вызов алгоритма count_if() с помощью нашего объекта-функции выглядит следующим образом:

count_if( vec.begin(), vec.end(), less_equal_ten() );

Разумеется, возможности этого класса весьма ограничены. Попробуем применить

count_if( vec.begin(), vec.end(),

отрицатель, чтобы подсчитать, сколько в контейнере элементов, больших 10: not1(less_equal_then ()));

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

class less_equal_value { public:

less_equal_value( int val ) : _val( val ) {} bool operator() ( int val ) { return val <=

_val; }

private: int _val;

};

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

count_if( vec.begin(), vec.end(), less_equal_value( 25 ));

Разрешается реализовать класс и без конструктора, если параметризовать его значением,

template < int _val > class less_equal_value { public:

bool operator() ( int val ) { return val <= _val; }

с которым производится сравнение:

};

Вот как надо было бы вызвать такой класс для подсчета числа элементов, меньших или равных 25:

count_if( vec.begin(), vec.end(), less_equal_value<25>());

(Другие примеры определения собственных объектов-функций можно найти в Приложении.)

Упражнение 12.4

Используя предопределенные объекты-функции и адаптеры, создайте объекты-функции для решения следующих задач:

(a)Найти все значения, большие или равные 1024.

(b)Найти все строки, не равные "pooh".

(c)Умножить все значения на 2.

Упражнение 12.5

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