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

Но, как я уже говорил, этот код не совсем верен. В лямбда-выражении очевидно, что выражение “ steady_clock::now()+1h” представляет собой аргумент setAlarm. Оно будет вычислено при вызове setAlarm. Это имеет смысл: мы хотим, чтобы будильник заработал через час после вызова setAlarm. Однако в вызове std::bindвыражение “ steady_clock::now() + 1h” передается в качестве аргумента в std::bind, а не в setAlarm. Это означает, что выражение будет вычислено при вызове std::bindи полученное время будет храниться в сгенерированном bind-объекте. В результате будильник сработает через час после вызова std::bind, а не через час после вызова setAlarm!

Решение данной проблемы требует указания для std::bindотложить вычисление выражения до вызова setAlarm, и сделать это можно с помощью вложения еще двух вызовов std::bindв первый:

auto setSoundB =

std::bind(setAlarm,

std::bind(std::plus<>(),

std::bind(steady_clock::now),

1h),

_1,

30s);

Если вы знакомы с шаблоном std::plusиз С++98, вас может удивить то, что между угловыми скобками не указан тип, т.e. что код содержит “ std::plus<>” а не “ std::plus”. В C++14 аргумент типа шаблона для шаблонов стандартных операторов в общем случае может быть опущен, так что у нас нет необходимости указывать его здесь. С++11 такой возможности не предоставляет, так что в С++11 эквивалентный лямбда-выражению std::bindимеет следующий вид:

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

using namespace std::placeholders;

auto setSoundB =

std::bind(setAlarm,

std::bind(std::plus< steady_clock::time_point>(),

std::bind(steady_clock::now),

hours(1)),

_1,

seconds(30));

Если в этот момент лямбда-выражение не выглядит для вас гораздо более привлекательным, вам, пожалуй, надо сходить к окулисту.

При перегрузке setAlarmвозникают новые вопросы. Предположим, что перегрузка получает четвертый параметр, определяющий громкость звука:

enum class Volume { Normal, Loud, LoudPlusPlus };

void setAlarm(Time t, Sound s, Duration d, Volume v);

Лямбда-выражение продолжает работать, как и ранее, поскольку разрешение перегрузки выбирает трёхаргументную версию setAlarm:

auto setSoundL = // Как и ранее

[](Sound s) {

using namespace std::chrono;

setAlarm(steady_clock::now() + 1h, // OK, вызывает

s, // setAlarm с тремя

30s); // аргументами

};

Вызов же std::bindтеперь не компилируется:

auto setSoundB = // Ошибка! Какая из

std::bind(setAlarm, // функций setAlarm?

std::bind(std::plus<>(),

std::bind(steady_clock::now),

1h),

_1,

30s);

Проблема в том, что у компиляторов нет способа определить, какая из двух функций setAlarmдолжна быть передана в std::bind. Все, что у них есть, — это имя функции, а одно имя приводит к неоднозначности.

Чтобы вызов std::bindкомпилировался, setAlarmдолжна быть приведена к корректному типу указателя на функцию:

using SetAlarm3ParamType = void(*)(Time t, Sound s, Duration d);

auto setSoundB = // Теперь все в порядке

std::bind( static_castsetAlarm ),

std::bind(std::plus<>(),

std::bind(steady_clock::now),

1h),

_1,

30s);

Но это привносит еще одно различие между лямбда-выражениями и std::bind. Внутри оператора вызова функции для setSoundL(т.e. оператора вызова функции класса замыкания лямбда-выражения) вызов setAlarmпредставляет собой обычный вызов функции, который может быть встроен компиляторами:

setSound L(Sound::Siren); // Тело setAlarm может быть встроено

Однако вызов std::bindполучает указатель на функцию setAlarm, а это означает, что внутри оператора вызова функции setSoundB(т.e. оператора вызова функции bind-объекта) имеет место вызов setAlarmс помощью указателя на функцию. Компиляторы менее склонны к встраиванию вызовов функций, выполняемых через указатели, а это означает, что вызовы setAlarmпосредством setSoundBбудут встроены с куда меньшей вероятностью, чем вызовы посредством setSoundL:

setSound B(Sound::Siren); // Тело setAlarm вряд ли будет встроено

Таким образом, вполне возможно, что применение лямбда-выражений приводит к генерации более быстрого кода, чем применение std::bind.

Пример setAlarmвключает только простой вызов функции. Если вы хотите сделать что-то более сложное, то перевес в пользу лямбда-выражений только увеличится. Рассмотрим, например, такое лямбда-выражение С++14, которое выясняет, находится ли аргумент между минимальным ( lowVal) и максимальным ( highVal) значениями, где lowValи highValявляются локальными переменными.