c++ - 在返回的 lambda 中复制省略捕获的局部变量

Question

是按值捕获([x])(或 C++14 移动捕获 [x = std::move(x)])中的复制(移动)构造) 在 lambda 表达式中(作为返回值)是否可能(或保证)被省略？

auto param_by_value(Widget w) {
    // manipulating w ...
    return [w] { w.doSomeThing(); };
}
auto param_by_move(Widget w) {
    // manipulating w ...
    return [w = std::move(w)] { w.doSomeThing() };
}
auto local_by_value() {
    Widget w;
    // manipulating w ...
    return [w] { w.doSomeThing(); };
}
auto local_by_move() {
    Widget w;
    // manipulating w ...
    return [w = std::move(w)] { w.doSomeThing() };
}

我的问题是:

1. 上述函数中w的复制(移动)是否可能(甚至保证)被省略？ (我记得显式的 std::move 有时会阻止复制省略，并且参数的复制/移动不可能被省略。)
2. 如果在情况 1 和情况 3 中不会发生复制省略，w 的按值捕获是否会调用 Widget 的移动构造函数？
3. 哪个，按值或使用 std::move，应该作为最佳实践首选？

Answer 1

Lambda 捕获本质上是 lambda 对象的成员变量。因此，它们不受任何形式的省略，无论是在初始化中还是在 lambda 的 operator() 重载中的使用。

并且因为构造函数/析构函数调用是可观察的行为，所以不允许编译器在“好像”规则下不调用它们(除非编译器可以看到那些构造函数/析构函数的代码并且可以证明没有它们的可见副作用。除此之外，它还必须在整个代码库中遵循该 lambda 的路径。所以基本上，不要指望它)。

也就是说，根据 C++17 规则返回 lambda 本身不会调用 lambda 本身的复制/移动，因此不需要进一步复制/移动该 lambda 的成员。

will the by-value capture for w call the move constructor of Widget?

没有。按值捕获始终复制。