移动使用lambda调用的构造函数

Question

我试图了解lambdas如何在C ++中深入工作。 我写了下面这段代码。

#include <iostream>
#include <functional>

struct A
{
    A() { std::cout << "A" << (data = ++count) << ' '; }
    A(const A& a) { std::cout << "cA" << (data = a.data + 20) << ' '; }
    A(A&& a) { std::cout << "mA" << (data = std::move(a.data) + 10) << ' '; }
    ~A() { std::cout << "dA" << data << ' '; }
    int data;
    static int count;
};

int A::count = 0;

void f(A& a, std::function<void(A)> f)
{
    std::cout << "( ";
    f(a);
    std::cout << ") ";
}

int main()
{
    A temp, x;
    auto fun = [=](A a) {std::cout << a.data << '|' << x.data << ' ';};
    std::cout << "| ";
    f(temp, fun);
    std::cout << "| ";
}

输出如下。

A1 A2 cA22 | cA42 mA52 dA42（cA21 mA31 31 | 52 dA31 dA21）dA52 | dA22 dA2 dA1

除了“mA52”移动构造函数调用之外，这对我来说非常清楚。 请注意，我按值使用变量捕获，因此如果没有移动构造函数，则会在此处调用copy-constructor。 为什么在这一步有额外的复制/移动？ 当fun作为f的参数传递fun时，人们会期望只复制一次该对象。 此外，该对象的第一个副本立即被销毁。 为什么？ 这个中间副本是什么？

Answer 1

我们叫你的lambda L型。 它没有命名，但是如果没有名字就引用它会让人感到困惑。

构造函数std::function<void(A)>(L l)取L值。 这涉及创建原始fun的副本。

然后构造函数将lambda从l移动到由std::function<void(A)>包装器管理的某个存储中。 这一举措还涉及移动任何被捕获的实体。

Answer 2

std::function<void(A)>获取您通过值传递给它的函数对象（这是输出中的cA42）。 然后它将功能对象移动到其内部存储器（这是mA52）。