Лекції

Розбираємо, як читати й писати лямбда-вирази в C++: з чого складається форма [] (…) -> T { … }, як задавати параметри й тип значення, яке повертається, як реалізувати «створити й одразу викликати» ( [] { … } ()), і які помилки трапляються найчастіше (пропущена ;, очікування автоматичного запуску, цілочисельне ділення, різні типи в return).

Розглядаємо, як працює список захоплення в лямбдах C++: захоплення за значенням ( [x], [=]) і за посиланням ( [&x], [&]), змішані варіанти ( [=, &count]), ключове слово mutable для внутрішнього стану, а також основні підводні камені: питання часу життя під час захоплення за посиланням, «приховування» імен параметрами та типові помилки, через які код або не компілюється, або поводиться непередбачувано.

Розбираємо generic-лямбди в C++: як працює auto у параметрах і чому це схоже на «мʼякий шаблон». Також подивимося, де проявляються обмеження тіла лямбди, тобто вимоги до операцій на кшталт + або size(), і як на практиці обирати передавання за значенням або за посиланням — auto, auto &, const auto & — щоб уникати зайвих копій і ситуацій на кшталт «не викликається з тимчасовим значенням».

Розбираємо, навіщо в C++ потрібен std::function<R(Args...)>: чому кожна лямбда має власний тип, як зберігати різні callable з однаковою сигнатурою в одній змінній і як працювати з «порожнім» станом та перевіркою if ( f). Також обговорюємо ціну цієї обгортки: непрямий виклик, можливі виділення памʼяті й дорогі копіювання. А потім збираємо практичний міні-диспетчер команд на std::vector і таблиці обробників.

Розглянемо, як лямбда-вирази перетворюють алгоритми STL на «конвеєр оброблення даних»: задаємо правило сортування через компаратор для std::sort, видаляємо елементи за предикатом за допомогою std::remove_if (і правильно завершуємо це через erase), а потім будуємо похідні дані через std::transform. Паралельно закріпимо, що таке строгий порядок порівняння ( < замість <=), що саме означає предикат «видалити, якщо…» та як акуратно захоплювати налаштування в лямбдах.