Язык программирования C++. Пятое издание полностью

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

function

Здесь был объявлен тип function, способный представлять вызываемые объекты, возвращающие целочисленный результат и имеющие два параметра типа int. Этот тип можно использовать для представления любого из типов приложения калькулятора:

function f1 = add;   // указатель на функцию

function f2 = div(); // объект класса объекта функции

function f3 = [](int i, int j) // лямбда-выражение

                              { return i * j; };

cout << f1(4,2) << endl; // выводит 6

cout << f2(4,2) << endl; // выводит 2

cout << f3(4,2) << endl; // выводит 8

Теперь карту можно переопределить, используя тип function:

// таблица вызываемых объектов,

// соответствующих всем бинарным операторам

// все вызываемые объекты должны получать по два int и возвращать int

// элемент может быть указателем на функцию, объектом функции или

// лямбда-выражением

map> binops;

В эту карту можно добавить каждый из вызываемых объектов приложения, будь то указатель на функцию, лямбда-выражение или объект функции:

map> binops = {

 {"+", add},               // указатель на функцию

 {"-", std::minus()}, // объект библиотечной функции

 {"/", div()},             // пользовательский объект функции

 {"*", [](int i, int j) { return i * j; }}, // безымянное

                                            // лямбда-выражение

 {"%", mod} };             // именованный объект лямбда-выражения

В карте пять элементов. Хотя все лежащие в основе вызываемые объекты имеют различные типы, каждый из них можно хранить в общем типе function.

Как обычно, при индексировании карты возвращается ссылка на ассоциированное значение. При индексировании карты binops возвращается ссылка на объект типа function. Тип function перегружает оператор вызова. Этот оператор вызова получает собственные аргументы и передает их хранимому вызываемому объекту:

binops["+"](10, 5); // вызов add(10, 5)

binops["-"](10, 5); // использует оператор; вызов объекта minus

binops["/"](10, 5); // использует оператор; вызов объекта div

binops["*"](10, 5); // вызов объекта лямбда-функции