C ++ lambda两个复制构造函数调用

Question

我有以下代码片段。

#include <iostream>
#include <functional>
using namespace std;

struct A
{
    A() { cout << "A "; data = 1; }
    A(const A& a) { cout << "cA "; data = a.data; }
    ~A() { cout << " dA"; }
    int data;
};

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

int main()
{
    A temp;
    auto fun = [](A a) {cout << a.data;};
    f(temp, fun);
}

输出是：

A（cA cA 1 dA dA）dA

为什么temp复制两次？

我使用的是Visual C ++（vc140）。

Answer 1

function<void(A)>有一个带有此签名的函数调用运算符： operator()(A)即它按值​​获取其参数，因此调用f(a)进行复制。

lambda也通过值获取其参数，因此当在function<void(A)> call function<void(A)>内部调用它时，会生成另一个副本。

如果为A定义移动构造函数，则应该看到初始化lambda参数（来自function的第一个副本）可以是移动而不是副本，但仅当类型具有移动构造函数时才可以。 否则必须复制。

或者，如果使用std::function<void(const A&)>则调用操作符将通过引用而不是值来获取其参数，因此只有一个副本用于初始化lambda的参数。