да, лямбда может работать только через ++ механизмы, например указатель не получится сделать

вообще такой код в статических компиляторах редко красиво выглядит, функциональные языки решают это не всегда напрямую

Если без замыкания, то получится

(держу в курсе)

В общем поэтому такие замыкания в C++ не очень часто используют, разве что очень примитивные без std::function которые гарантированно всплывут и заинлайнятся. Помню в Binaryen была проблема с производительностью когда кто-то отрефакторил код и заменил обычный указатель на функцию на std::function =)

А, да 😁

На самом деле используют и много

Бездумно заменять указатель на функцию на function конечно фу

Возможно на тех участках где не критична производительность

Лучше пытаться избежать function

В LLVM довольно активно используется

Имхо, если мы не стираем тип замыкания, то компилятор я уверен умеет хорошо это инлайлить

Пруфов не будет

Компилятор может заинлайнить только те замыкания которые всплывут (lambda lifting). Хотя я даже не уверен что LLVM поддерживает такой вид трансвормации

Можно простыми словами про lambda lifting?

Это когда мы имеем вот такую функцию:
fn foo(a) {
 return x => a + x
}
foo(1)(2)

и компилятор может ее превратить в

fn foo() {
 return (x, a) => a + x
}

foo()(2, 1)

а потом в

fn foo_lifted(x, a) {
 return a + x
}

foo_lifted(2, 1)

Иными словами все свободные переменные (немутирующие) попадают в сигнатуру в качестве параметра. И все вызовы (call sites) так же модифицируются соответствующим образом. В конечном итоге мы полностью избавляемся от замыкания

А как тут понять что происходит? Хотелось бы все же выяснить как эта проблема решается во взрослых языках и компиляторах где есть замыкания потому что я вижу в этом большую проблему - если функция вызывается в горячем цикле а внутри создается замыкание под if-ом который срабатывает очень редко то с простым боксингом замыкаемых переменных мы получаем падение производительности на каждой итерации даже когда замыкания не создаются

Интересно конечно

ваш вопрос касается того каким образом себя поведет современный v8 в описанной ситуации?