Стенли Липпман - Язык программирования C++. Пятое издание

// оператор > к двум строкам

sort(svec.begin(), svec.end(), greater());

Это сортирует вектор в порядке убывания. Третий аргумент — безымянный объект типа greater. Когда функция sort()сравнит элементы, вместо оператора <типа элемента она применит переданный объект функции greater. Этот объект применит оператор >к элементам типа string.

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

vector nameTable; // вектор указателей

// ошибка: указатели в nameTable не связаны, результат < непредсказуем

sort(nameTable.begin(), nameTable.end(),

[](string *a, string *b) { return a < b; });

// ok: библиотека гарантирует, что less для типов указателя определен

sort(nameTable.begin(), nameTable.end(), less());

Стоит также обратить внимание на то, что ассоциативные контейнеры используют для упорядочивания своих элементов объект типа less. В результате можно определить набор ( set) указателей или использовать указатель как ключ в карте ( map) без необходимости определять тип lessсамостоятельно.

Упражнение 14.42. Используя библиотечные объекты и адаптеры функций, определите объекты для:

(a) Подсчета количеств значений больше 1024

(b) Поиска первой строки, не равной pooh

(c) Умножения всех значений на 2

Упражнение 14.43. Используя библиотечные объекты функций, определите, делимо ли переданное значение типа intна некий элемент в контейнере целых чисел.

В языке С++ есть несколько видов вызываемых объектов: функции и указатели на функции, лямбда-выражения (см. раздел 10.3.2), объекты, созданные функцией bind()(см. раздел 10.3.4), и классы с перегруженным оператором вызова функции.

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

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

int(int, int)

Функция этого типа получает два числа типа intи возвращает значение типа int.

Иногда необходимо использовать несколько вызываемых объектов с одинаковой сигнатурой вызова, как будто это тот же тип. Рассмотрим, например, следующие разные типы вызываемых объектов:

// обычная функция

int add(int i, int j) { return i + j; }

// лямбда-выражение, создающее безымянный класс объекта функции

auto mod = [](int i, int j) { return i % j; };

// класс объекта функции

struct div {

int operator()(int denominator, int divisor) {

return denominator / divisor;

}

};

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

int(int, int)

Эти вызываемые объекты можно использовать для написания простого калькулятора. Для этого следует определить таблицу функций (function table), хранящую "указатели" на вызываемые объекты. Когда программе понадобится выполнить некую операцию, она просмотрит таблицу и найдет соответствующую функцию.

В языке С++ таблицы функций довольно просто реализовать при помощи карт ( map). В данном случае как ключ используем строку, соответствующую символу оператора; значение будет функцией, реализующей этот оператор. При необходимости выполнить заданный оператор индексируется карта и осуществляется вызов возвращенного элемента. Если бы все эти функции были автономными и необходимо было использовать только парные операторы для типа int, то карту можно было бы определить так:

// сопоставляет оператор с указателем на функцию, получающую два целых

// числа и возвращающую целое число

map binops;

Указатель addможно поместить в карту binopsследующим образом:

// ok: add - указатель на функцию соответствующего типа

binops.insert({"+", add}); // {"+", add} - пара раздел 11.2.3

Но сохранить в карте binopsобъекты modили divне получится:

binops.insert({"%", mod}); // ошибка: mod - не указатель на функцию

Проблема в том, что mod— это лямбда-выражение, и у каждого лямбда-выражения есть собственный тип класса. Этот тип не соответствует типу значений, хранимых в карте binops.

Эту проблему можно решить при помощи нового библиотечного типа function, определенного в заголовке functional; возможные операции с типом functionприведены в табл. 14.3.

Таблица 14.3. Операции с типом function

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