c++ - && 对 lambda 表达式有什么好处？

Question

我看到的代码如下所示:

template<class Function>
void MyFunc(Function&& function) { function(...); }

与仅按值复制函数相比，这里 && 的优点是什么？作为引用，我使用的是 C++14。

Answer 1

问题来自于避免复制。

想象一下:

auto lambda = [ptr = std::make_unique<int>(0)]() mutable {
    std::cout << *ptr;
    ptr = std::make_unique<int>(*ptr + 1); // why not?
};

MyFunc(lambda);                     // use it normally
MyFunc([]{ std::cout << " end"; }); // use by using a temporary lambda
lambda()                            // just call the function after that

如果签名是 MyFunc(Function f)，则需要 std::move 并且 lambda 在调用后将无法使用。

如果签名是 MyFunc(Function const& f)，则它将不起作用，因为 lambda 是可变的。

如果是 MyFunc(Function& f) 那么临时函数将不起作用。

基本上只剩下MyFunc(Function&& f)。

<小时/>

然而，真正的问题是“我需要支持所有这些案例吗？”

我想说:大多数时候没有。大多数时候，按值接收 lambda 是最简单的，并且支持几乎所有情况。这就是 STL 的发展方向。

为什么？因为函数对象的完美转发确实很难做到完美，并且在大多数情况下你无法以完美通用的方式多次调用该函数。仅当我想要包装函数、想要完全避免复制并且我期望函数对象具有临时对象的 ref 资格时，我才会完美转发该函数。