使用lambda捕获类后没有合适的复制构造函数

Question

我有以下代码：

#include <iostream>

class Foo
{public:
    Foo() {}
    int a;
};

int main()
{
    Foo foo;

    auto lambda = [=]() mutable { std::cout << foo.a; };

}

在我需要向我的Foo类添加副本构造函数之前，一切都很顺利：

Foo(Foo& t) {}

它不会再编译了，这给了我们一个信息：

类“Foo”：没有可用的复制构造函数，或者复制构造函数声明为“显式”

我已经使lambda可变，因为我不想捕获一个const Foo，但我认为正在发生的是lambda不能被复制。另一个编译器有一个更有用的错误消息：

错误：使用已删除的函数“main（）：：

以及：

主::

但是我真的不明白。这个隐式删除的函数是lambda的移动构造函数吗？我不明白为什么仅仅向捕获的类（而不是lambda）添加复制构造函数就会发生这种情况。

这就是我想象的lambda/仿函数的样子：

class lambda
{public:

     Foo foo; // <---- My captured variable/class
     void operator()(){ std::cout << foo.a; }
}

那么，将这些lambda中的一个复制到另一个涉及调用Foo的赋值运算符或复制构造函数？我不明白仅仅是Foo拥有一个拷贝构造函数是如何导致这个失败的，或者什么是“格式错误的”。我注意到的另一件事是，当lambda通过引用捕获时没有问题[

编辑：它不在此编译器上编译：

https://www.jdoodle.com/online-compiler-c /

我在Visual Studio上，它无法编译。然而，当我做了一个小得多的例子，它会编译器，但仍然强调错误。在我的大型项目中，它不编译。

Answer 1

要获得编译错误，您应该在C 11或C 14标准下编译此代码。在C17中它是有效的。演示。

让我们考虑一下

struct Foo {
    Foo() {}
    Foo(Foo&) {}
};

在C17中我们可以写

auto f = Foo{};

但是在C 11/14中，这一行将无法编译。原因是在C17中，我们有强制性的复制省略，以及复制构造函数调用的正确性，这将是错误的，因为Foo

这直接转化为lambda（rafix07的答案解释了如何），因为它通过值捕获Foo。lambda本身很好。例如，你可以写

[=] { std::cout << foo.a; };

但是lambda的移动构造函数是格式错误的，在C 11/14中，它必须是格式良好的

auto lambda = [=] { std::cout << foo.a; };

编译。

Answer 2

auto lambda = [=]() mutable { std::cout << foo.a; };

在右侧创建临时闭包。在此基础上，通过调用编译器生成的默认移动构造函数来构造另一个临时闭包。

closure c(closure{});

移动构造函数的默认实现只是一个接一个地移动所有数据成员：

struct closure {
    Foo foo;

    closure (closure&& theOther) : foo(std::move(theOther.foo))   // <--- [1]
    {}                              // binding rvalue ref to lvalue ref
};

你的Fooctor接受Foo

它在MSVC中工作，因为它有一个扩展来处理这样的事情。在G/Clang下，它必须失败。

与const Foo

Answer 3

复制构造函数原型是A（const A