通过值或引用传递 lambda 是否更容易内联？

Question

之前有人问过类似的question，但我仍然很困惑。我相信 STL 完全按值传递，因为按引用传递可能会在多线程环境中产生后果。比如说，当两个或更多线程正在执行一个可变 lambda 时。当我只想调用 lambda 时，我目前使用通用引用：

template <typename F>
inline void invoke(F&& f)
{
  f();
}

这可以绑定到任何函数对象，就像const& 一样，但是对于内联来说可能是个坏主意。通过副本传递的 lambda 是否更容易被编译器内联？我希望传递的 lambda 尽可能“内联”。

Answer 1

将 lambda 视为带有函数调用运算符的小对象：

int foo = 1000;
auto f = [=]() ->int { return foo; };

有点等价于：

class FooLambda {
    int foo;
  public:
    FooLambda(int foo) : foo(foo) {}
    int operator()(){ return foo; }
};
// ...
int foo = 1000;
FooLambda f(foo);

如您所见，如果在调用它的同一翻译单元中看到函数体本身，则可以内联（如果不是被一些更智能的编译器的话）。由于您的 invoke 是一个模板，它知道 lamdba 的实际类型，并且您不会强迫它跳过函数指针箍，这是内联的一大障碍。

在invoke 中通过值或引用获取可调用对象确定捕获的变量 是否是函数体的本地变量，如果这意味着它们将在缓存中，则可能会有所不同。