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

Однако не так просто написать функцию для замены лямбда-выражений, которые захватывают локальные переменные. Рассмотрим, например, использованное в вызове функции find_if()лямбда-выражение, которое сравнивало размер строки с заданным размером. Совсем не сложно написать функцию, выполняющую те же действия:

bool check_size(const string &s, string::size_type sz) {

return s.size() >= sz;

}

Но мы не можем использовать эту функцию как аргумент функции find_if(). Как уже упоминалось, функция find_if()получает унарный предикат, поэтому переданное ей вызываемое выражение должно получать один аргумент. Лямбда-выражение, переданное функцией biggies()функции find_if(), использует свой список захвата для хранения значения переменной sz. Чтобы использовать функцию check_size()вместо этого лямбда- выражения, следует выяснить, как передать аргумент szпараметру.

Проблему передачи аргумента размера функции check_size()можно решить при помощи новой библиотечной функции bind(), определенной в заголовке functional. Функцию bind()можно считать универсальным адаптером функции (см. раздел 9.6). Она получает вызываемый объект и создает новый вызываемый объект, который адаптирует список параметров исходного объекта.

Общая форма вызова функции bind()такова:

auto новыйВызываемыйОбъект = bind( вызываемыйОбъект , список_аргументов );

где новыйВызываемыйОбъект — это новый вызываемый объект, а список_аргументов — разделяемый запятыми список аргументов, соответствующих параметрам переданного вызываемого объекта вызываемыйОбъект . Таким образом, когда происходит вызов объекта новыйВызываемыйОбъект , он вызывает вызываемыйОбъект , передавая аргументы из списка список_аргументов .

Аргументы из списка список_аргументов могут включать имена в формате _ n , где n — целое число. Эти аргументы — знакоместа , представляющие параметры объекта новыйВызываемыйОбъект . Они располагаются вместо аргументов, которые будут переданы объекту новыйВызываемыйОбъект . Число n является позицией параметра вновь созданного вызываемого объекта: _1— первый параметр, _2— второй и т.д.

В качестве примера использования функции bind()создадим объект, который вызывает функцию check_size()с фиксированным значением ее параметра размера:

// check6 - вызываемый объект, получающий один аргумент типа string

// и вызывающий функцию check_size() с этой строкой и значением 6

auto check6 = bind(check_size, _1, 6);

У этого вызова функции bind()есть только одно знакоместо, означающее, что вызываемый объект check6()получает один аргумент. Знакоместо располагается первым в списке аргументов. Это означает, что параметр вызываемого объекта check6()соответствует первому параметру функции check_size(). Этот параметр имеет тип const string&, а значит, параметр вызываемого объекта check6()также имеет тип const string&. Таким образом, при вызове check6()следует передать аргумент типа string, который вызываемый объект check6()передаст в качестве первого аргумента функции check_size().

Второй аргумент в списке аргументов (т.е. третий аргумент функции bind()) является значением 6. Это значение связывается со вторым параметром функции check_size(). Каждый раз, когда происходит вызов вызываемого объекта check6(), он передает функции check_ size()значение 6как второй аргумент:

string s = "hello";

bool b1 = check6(s); // check6(s) вызывает check_size(s, 6)

Используя функцию bind(), можно заменить следующий исходный вызов функции find_if()на базе лямбда-выражения:

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

[sz](const string &a)

кодом, использующим функцию check_size(),

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

bind(check_size, _1, sz));

Этот вызов функции bind()создает вызываемый объект, который привязывает второй аргумент функции check_size()к значению параметра sz. Когда функция find_if()вызовет этот объект для строк вектора words, он, в свою очередь, вызовет функцию check_size(), передав полученную строку и значение параметра sz. Таким образом, функция find_if()фактически вызовет функцию check_size()для каждой строки в исходном диапазоне и сравнит размер этой строки со значением параметра sz.

Имена формата _ n определяются в пространстве имен placeholders. Само это пространство имен определяется в пространстве имен std(см. раздел 3.1). Чтобы использовать эти имена, следует предоставить имена обоих пространств имен. Подобно нашим другим примерам, данные вызовы функции bind()подразумевали наличие соответствующих объявлений using. Рассмотрим объявление usingдля имени _1:

using std::placeholders::_1;

Это объявление свидетельствует о том, что используется имя _1, определенное в пространстве имен placeholders, которое само определено в пространстве имен std.

Для каждого используемого имени знакоместа следует предоставить отдельное объявление using. Но поскольку написание таких объявлений может быть утомительно и ведет к ошибкам, вместо этого можно использовать другую форму using, которая подробно рассматривается в разделе 18.2.2:

using namespace пространствоимен_имя ;

Она свидетельствует, что необходимо сделать доступными для нашей программы все имена из пространства имен пространствоимен_имя :

using namespace std::placeholders;

Этот код позволяет использовать все имена, определенные в пространстве имен placeholders. Подобно функции bind(), пространство имен placeholdersопределено в заголовке functional.

Как уже упоминалось, функцию bind()можно использовать для фиксированного значения параметра. В более общем случае функцию bind()можно использовать для привязки или перестройки параметров в предоставленном вызываемом объекте. Предположим, например, что f()— вызываемый объект с пятью параметрами:

// g - вызываемый объект, получающий два аргумента

auto g = bind(f, a, b, _2, с, _1);

Этот вызов функции bind()создает новый вызываемый объект, получающий два аргумента, представленные знакоместами _2и _1. Новый вызываемый объект передает собственные аргументы как третий и пятый аргументы вызываемому объекту f(). Первый, второй и четвертый аргументы вызываемого объекта f()связаны с переданными значениями a, bи ссоответственно.