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

Переменные, которые захватываются по значению, напротив, копируются в лямбда-выражение (см. раздел 10.3.3). В результате классы, созданные из лямбда-выражений, переменные которых захватываются по значению, имеют переменные-члены, соответствующие каждой такой переменной. У этих классов есть также конструктор для инициализации этих переменных-членов значениями захваченных переменных. В примере раздела 10.3.2 лямбда-выражение использовалось для поиска первой строки, длина которой была больше или равна заданному значению:

// получить итератор на первый элемент, размер которого >= sz

auto wc = find_if(words.begin(), words.end(),

[sz](const string &a)

Созданный класс выглядел бы примерно так:

class SizeComp {

SizeComp(size_t n) : sz(n) {} // параметр для каждой захваченной

// переменной

// оператор вызова с тем же типом возвращаемого значения, параметрами

// и телом, как у лямбда-выражения

bool operator()(const string &s) const

{ return s.size() >= sz; }

private:

size_t sz; // переменная-член для каждой переменной, захваченной

// по значению

};

В отличие от класса ShorterString, у этого класса есть переменная-член и конструктор для ее инициализации. У этого синтезируемого класса нет стандартного конструктора; чтобы использовать этот класс, следует передать аргумент:

// получить итератор на первый элемент, размер которого >= sz

auto wc = find_if(words.begin(), words.end(), SizeComp(sz));

У классов, созданных из лямбда-выражения, есть удаленный стандартный конструктор, удаленные операторы присвоения и стандартный деструктор. Будет ли у класса стандартный или удаленный конструктор копий/перемещения, зависит обычно от способа и типа захватываемых переменных-членов (см. раздел 13.1.6 и раздел 13.6.2).

Упражнение 14.38. Напишите класс, проверяющий соответствие длины заданной строки указанному значению. Используйте такой объект в программе для оповещения о количестве слов во входном файле, имеющих размеры от 1 до 10 включительно.

Упражнение 14.39. Перепишите предыдущую программу так, чтобы сообщать количество слов размером от 1 до 9 и 10 или более.

Упражнение 14.40. Перепишите функцию biggies()из раздела 10.3.2 так, чтобы использовать объект функции вместо лямбда-выражения.

Упражнение 14.41. Как по-вашему, существенно ли добавление лямбда-выражений по новому стандарту? Объясните, когда имеет смысл использовать лямбда-выражение, а когда класс вместо него.

Стандартная библиотека определяет набор классов, представляющих арифметические, реляционные и логические операторы. Каждый класс определяет оператор вызова, который применяет одноименный оператор. Например, у класса plusесть оператор вызова функции, который применяет оператор +к паре операндов; класс modulusопределяет оператор вызова, применяющий бинарный оператор %; класс equal_toприменяет оператор ==; и т.д.

Эти классы являются шаблонами, которым передается один тип. Он определяет тип параметра оператора вызова. Например, класс plusприменяет строковый оператор суммы к объектам класса string; у класса plusтипом операндов будет int; класс plusприменяет оператор +к объектам класса Sales_data; и т.д.:

plus intAdd; // объект функции, способный сложить

// два значения типа int

negate intNegate; // объект функции, способный изменить знак

// значения типа int

// использование оператора intAdd::operator(int, int) для

// сложения чисел 10 и 20

int sum = intAdd(10, 20); // эквивалент sum = 30

sum = intNegate(intAdd(10, 20)); // эквивалент sum = 30

// использование оператора intNegate::operator(int) для создания

// числа -10 как второго параметра выражения intAdd::operator(int, int)

sum = intAdd(10, intNegate(10)); // sum = 0

Эти типы, перечислены в табл. 4.2, определены в заголовке functional.

Таблица 14.2. Библиотечные объекты функций

Классы объектов функций, представляющие операторы, зачастую используются для переопределения заданного по умолчанию оператора, используемого алгоритмом. Как уже упоминалось, по умолчанию алгоритмы сортировки используют оператор operator<для сортировки последовательности в порядке возрастания. Для сортировки в порядке убывания можно передать объект типа greater. Этот класс создает оператор вызова, который вызывает оператор "больше" основного типа элемента. Предположим, например, что svec — это вектор типа vector: