C++ geek

🕵️‍♂️ Анатомия лямбд: Что скрывает компилятор и где прячутся тормоза?

Мы привыкли писать auto func = [x](int y) { return x + y; }; и думать о лямбдах как о «магических» встроенных функциях. Но в C++ нет никакой магии. На уровне компилятора лямбд не существует.

Лямбда-выражение - это просто синтаксический сахар для создания анонимного класса (функтора).

⚙️ Что происходит под капотом?

Когда вы пишете такой код:

int multiplier = 10;
auto doMath = [multiplier](int val) {
return val * multiplier;
};

Компилятор молча генерирует для вас класс с уникальным непроизносимым именем и перегруженным оператором ():

// Примерно это генерирует компилятор:
class __Lambda_Uniq_42 {
int multiplier; // Захваченная переменная стала полем класса
public:
__Lambda_Uniq_42(int m) : multiplier(m) {}

// Сам код лямбды:
auto operator()(int val) const {
return val * multiplier;
}
};

// А ваше создание лямбды превращается в:
auto doMath = __Lambda_Uniq_42(multiplier);

Вывод №1: Блок захвата [...] - это просто конструктор класса и его поля. Если вы захватываете по ссылке [&x], полем класса станет ссылка.

🚨 Где прячутся скрытые аллокации?

Сама по себе лямбда создается на стеке. Никаких new или malloc не происходит. Это работает мгновенно.

Тормоза начинаются, когда мы решаем сохранить лямбду с помощью std::function.

// 🚀 БЫСТРО (Zero-cost)
auto fast_lambda = [a, b, c]() { ... };

// 🐢 МОЖЕТ БЫТЬ МЕДЛЕННО (Heap allocation)
std::function<void()> slow_lambda = [a, b, c, d, e]() { ... };

std::function - это тяжелая обертка (Type Erasure). Она должна уметь хранить любой вызываемый объект с нужной сигнатурой.
Чтобы избежать выделения памяти в куче, в std::function встроена оптимизация для маленьких объектов (SBO - Small Buffer Optimization). Размер этого буфера обычно равен размеру нескольких указателей (например, 16-32 байта).

* Если ваша лямбда захватывает мало данных (или ничего) - она поместится во внутренний буфер std::function. Аллокаций нет.
* Если вы написали [=] и захватили кучу тяжелых переменных (или несколько толстых строк/векторов по значению) - размер сгенерированного класса превысит буфер. std::function будет вынужден вызвать new и выделить память в куче.

💡 Правила чистого кода с лямбдами:

1. Храните через auto: Всегда используйте auto для локальных лямбд. Это бесплатно.
2. Передавайте через шаблоны: Если функция принимает лямбду, лучше сделать её шаблоном template <typename Func> void DoWork(Func f), чем принимать std::function. Шаблон сохранит тип лямбды и позволит компилятору заинлайнить код.
3. Используйте std::function только на границах API: Когда вам действительно нужно хранить функции разного типа в одном контейнере (например, вектор коллбеков) или передать их через границу динамической библиотеки.
4. Не пишите [=] вслепую: Захватывайте только то, что реально нужно. Это спасет и от лишних аллокаций, и от случайного копирования тяжелых объектов.

#cpp #lambdas #optimization #memory #under_the_hood #coding #tips

➡️ @channel_cpp_geek