如果lambda使用std :: move()捕获不可复制的对象,为什么它不可移动？

Question

这是我生成错误的示例代码:

#include <functional>
using namespace std;

struct S {
    S() = default;
    S(const S&) = delete;
    S(S&&) = default;
    S& operator=(const S&) = delete;
    S& operator=(S&&) = delete;
};

template <typename F>
void post(F&& func)
{
    function<void()> f{forward<F>(func)};
}

int main()
{
    S s;
    post([s2 = move(s)] { });
}

拉姆达在里面main(),我捕捉到局部变量s使用std::move().在调用post()之前,s2必须已成功移动构造.

但是,在里面post(),f不能使用对该lambda类型的rvalue引用构造.

如果我删除,s2 = move(s),f可以用这个右值引用来构建.

为什么添加s2 = move(s)渲染lambda不可移动？

在这里,是一个尝试coliru 的链接.

Answer 1

通过移动捕获,您的lambda不会变得不可移动.但它确实变得不可复制,这是一个问题.

std::function不支持将提供的仿函数移动到自身,它总是复制.因此,不可复制的lambda(和其他callable)不能使用std::function.这种限制的原因是标准要求std::function是可复制的,如果用不可复制的可调用语句初始化则无法实现.