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

В качестве примера использования функции 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и ссоответственно.