立即求值Lambda：捕获与传参的性能及内存差异探究

先看你给出的代码示例：

Object obj;
auto val = [&obj](){ return obj.func(); }();
auto val2 = [](const Object& obj){ return obj.func(); }(obj);

二者是否存在差异？ #

• 语法与闭包结构上确实有区别：
  • 第一个lambda通过[&obj]捕获了外部变量的引用，生成的闭包类会包含一个Object&类型的成员变量，调用operator()时直接访问这个成员。
  • 第二个lambda没有捕获任何变量，闭包类没有额外成员，仅通过函数参数接收obj的const引用，operator()访问的是参数。
• 运行时的核心语义一致：最终都是调用obj.func()获取返回值，没有行为上的差异。

编译器会消除这些差异吗？是否依赖lambda体复杂度？ #

• 对于这种极简的lambda体，主流编译器（GCC、Clang、MSVC）在开启常规优化（比如-O2）后，会完全消除闭包结构的差异，生成的机器码几乎完全相同。编译器会直接将lambda的调用逻辑内联，根本不会生成闭包对象的实际代码。
• 但如果lambda体变得复杂（比如包含多分支逻辑、捕获多个变量、参数有额外处理、或者调用了其他复杂函数），编译器的优化能力会受限，可能无法完全抹平闭包成员与函数参数的差异，这时候两者生成的机器码可能会出现区别。

内容的提问来源于stack exchange，提问作者rbv