Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

auto betweenL =

[lowVal, highVal]

(const auto& val) // С++14

{ return lowVal <= val && val <= highVal; };

std::bindможет выразить то же самое, но эта конструкция является примером кода, безопасного только потому, что никто не в состоянии его понять:

using namespace std::placeholders; // Как и ранее

auto betweenВ =

std::bind(std::logical_and<>(), // С++14

std::bind(std::less_equal<>(), lowVal, _1),

std::bind(std::less_equal<>(), _1, highVal));

В С++11 мы должны указывать сравниваемые типы, и вызов std::bindпринимает следующий вид:

auto betweenB = // Версия C++11

std::bind(std::logical_and< bool>(),

std::bind(std::less_equal< int>(), lowVal, _1),

std::bind(std::less_equal< int>(), _1, highVal));

Конечно, в С++11 лямбда-выражение не может получать параметр auto, так что здесь тоже надо указывать тип:

auto betweenL = // Версия C++11

[lowVal, highVal]

( int val)

{ return lowVal <= val && val <= highVal; };

В любом случае, я надеюсь, все согласятся, что лямбда-версия не только более короткая, но и более понятная и легче поддерживаемая.

Ранее я отмечал, что для тех, у кого нет опыта работы с std::bind, заполнители (например, _1, _2и др.) выглядят магией. Но непонятно не только поведение заполнителей. Предположим, у нас есть функция для создания сжатых копий Widget

enum class CompLevel { Low, Normal, High }; // Уровень сжатия

Widget compress(const Widget& w, // Создание сжатой

CompLevel lev); // копии w

и мы хотим создать функциональный объект, который позволяет нам указывать, насколько сильно должен быть сжат конкретный объект Widget w. Представленное ниже применение std::bindсоздает такой объект:

Widget w;

using namespace std::placeholders;

auto compressRateB = std::bind(compress, w, _1);

Теперь, когда мы передаем wв std::bind, он должен храниться для последующего вызова compress. Он сохраняется в объекте compressRateB, но как именно — по значению или по ссылке! Это важно, потому что, если wизменяется между вызовами std::bindи compressRateB, хранение wпо ссылке будет отражать это изменение, в то время как сохранение по значению — нет.

Ответ заключается в том, что оно хранится по значению [20] std::bind всегда копирует свои аргументы, но вызывающий код может добиться эффекта сохранения аргумента по ссылке путем применения std::ref . Результат вызова auto compressRateB = std::bind(compress, std::ref(w), _1); состоит в том. что compressRateB действует так, как если бы сохранялась ссылка на объект w , а не его копия. , но единственный способ узнать это — просто запомнить: в вызове std::bindнет никаких признаков этого. Сравните этот подход с лямбда-выражением, в котором захват wпо значению или по ссылке выполняется явно:

auto compressRateL = // Захват w по значению;

[ w](CompLevel lev) // lev передается по значению

{ return compress(w, lev); };

Не менее явно в лямбда-выражения передаются и параметры. Здесь очевидно, что параметр levпередается по значению. Таким образом,

compressRate L(CompLevel::High); // arg передается по значению

Но как аргумент передается в объект, получающийся с помощью std::bind?

compressRate B(CompLevel::High); // Как передается arg?

И вновь единственный способ знать, как работает std::bind, — это запомнить. (Ответ заключается в том, что все аргументы, передаваемые bind-объектам, передаются по ссылке, поскольку оператор вызова функции для таких объектов использует прямую передачу.)

По сравнению с лямбда-выражениями код, использующий std::bind, менее удобочитаем, менее выразителен и, возможно, менее эффективен. В С++14 нет обоснованных случаев применения std::bind. Однако в С++11 применение std::bindможет быть оправдано в двух ограниченных ситуациях.

• Захват перемещением. Лямбда-выражения С++11 не предоставляют возможности захвата перемещением, но его можно эмулировать с помощью комбинации лямбда- выражения и std::bind. Детали описываются в разделе 6.2, в котором также поясняется, что в С++14 поддержка инициализирующего захвата в лямбда-выражениях устраняет необходимость в такой эмуляции.

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