Easylambdamodern-cpp

Что такое лямбда-выражение и какой тип у лямбды?

1Постановка

Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.

2Решение

Лямбда — безымянный функциональный объект (closure type), создаваемый компилятором. Каждая лямбда имеет уникальный тип без имени. Синтаксис: [capture](params) mutable -> return_type { body }.

int factor = 3;
auto mul = [factor](int x) { return x * factor; };  // захват factor по значению
mul(10);  // 30

std::vector<int> v{1, 2, 3, 4};
std::sort(v.begin(), v.end(), [](int a, int b) { return a > b; });

Захваты: [=] всё по значению, [&] всё по ссылке, [x] только x по значению, [&x] по ссылке, [this], [=, &x]. mutable разрешает менять захваченные по значению поля. Тип можно хранить в auto или std::function.

3Как отвечать

  • Сначала уточните условия и ограничения, покажите аналитическое мышление.
  • Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
  • Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡

На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.