Действительно ли возможно встроить лямбда-выражение? [дубликат]

Компилятор будет инлайнить его, если сможет. Например, в g++ 4.5 с -O2,

#include <vector>
#include <algorithm>

int main () {
    std::vector<int> a(10);
    for (int i = 0; i < 10; ++ i) a[i] = i;

    asm ("Ltransform_begin: nop; nop; nop; nop; nop; nop; ");
    std::transform(a.begin(), a.end(), a.begin(), [] (int x) { return 2*x; });
    asm ("Lforeach_begin: nop; nop; nop; nop; nop; nop; ");
    std::for_each(a.begin(), a.end(), [] (int x) { printf("%d\n", x); });
    asm ("Lforeach_done: nop; nop; nop; nop; nop; nop; ");

    return 0;
}

генерирует сборку, в которой лямбды 2*x и printf полностью инлайнятся.

# 9 "x.cpp" 1
    Ltransform_begin: nop; nop; nop; nop; nop; nop; 
# 0 "" 2
    .align 4,0x90
L13:
    sall    (%rax)
    addq    $4, %rax
    cmpq    %rax, %r12
    jne L13
# 13 "x.cpp" 1
    Lforeach_begin: nop; nop; nop; nop; nop; nop; 
# 0 "" 2
    .align 4,0x90
L14:
    movl    (%rbx), %esi
    leaq    LC0(%rip), %rdi
    xorl    %eax, %eax
LEHB1:
    call    _printf
LEHE1:
    addq    $4, %rbx
    cmpq    %r12, %rbx
    jne L14
# 17 "x.cpp" 1
    Lforeach_done: nop; nop; nop; nop; nop; nop; 
# 0 "" 2

Возможно, лямбда-выражение может быть встроенным. Под капотом лямбда-выражение ничем не отличается от любого другого функционального объекта.

Встраивание того или иного лямбда-выражения полностью зависит от компилятора и от того, решит ли он, что его стоит встраивать.

Если у вас есть обычный функтор struct, компилятор почти наверняка встроит его. Если у вас есть лямбда в стиле C++0x, компилятор почти наверняка вставит ее в строку. Если вы используете boost::lambda, то это возможно, в зависимости от того, как лямбда работает под сценой. Краткая версия: Вы не можете гарантировать, что это инлайнинг или не инлайнинг, но вы должны доверять своему компилятору и, если сомневаетесь, сделать инлайнинг легким и простым.

Я не смотрел вывод много из них любыми способами, но до сих пор все они, на которые я смотрел вывод, были встроены.

Ламбды C++1x будут, под капотом, генерировать нормальные объекты функций. Они могут быть встроены компилятором.

Какие-либо измерения, проведенные вами, показали, что компилятор не инлайнит их в месте, где это приводит к заметной потере производительности?