是否可以内联 lambda 表达式？

Question

我想内联 lambda 表达式，因为出于性能原因它非常短。是否可以？

Answer 1

inline 关键字实际上不会导致函数内联。任何最近的编译器在内联方面都会比您做出更好的决定。

在 lambda 较短的情况下，该函数可能会被内联。

如果您尝试将 inline 关键字与 lambda 一起使用，答案是否定的，您不能使用它。

Answer 2

如果可以的话，编译器将内联它。例如，在 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 lambda 完全内联的程序集。

# 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

Answer 3

lambda 表达式可能是内联的。从本质上讲，lambda 表达式与任何其他函数对象没有什么不同。

特定的 lambda 表达式是否内联完全取决于编译器以及编译器是否决定其值得内联。

Answer 4

如果你有一个常规的结构函子，编译器几乎肯定会内联它。如果您有 C++0x 风格的 lambda，编译器几乎肯定会内联它。如果您使用的是 boost::lambda，那么它可能会这样做，具体取决于 lambda 在幕后的工作方式。简短版本：您不能保证它是内联或非内联，但您应该相信您的编译器，如果有疑问，请使其轻松简单地内联。

Answer 5

我还没有以任何方式查看其中很多的输出，但到目前为止，我查看过的所有输出都已内联。

Answer 6

C++1x' lambdas 将在底层生成普通函数对象。这些可以由编译器内联。

您所做的任何测量是否表明编译器没有将它们内联到导致显着性能损失的位置？