c++ - 即使我通过移动语义传递给 lambda 捕获，但它仍然尝试使用复制构造函数进行构造 | C++

Question

std::promise<int> promise{};
std::function<void()> newTask = [promise = std::move(promise), task = std::move(task)]() mutable
{

}

即使我通过 std::move(promise) 传递了变量，编译器仍然尝试使用复制构造函数制作 promise 变量。

message : 'ThreadPool::push_task::<lambda_9f392fbd7670777c18dfd2efbf01c5ca>::<lambda_9f392fbd7670777c18dfd2efbf01c5ca>(const ThreadPool::push_task::<lambda_9f392fbd7670777c18dfd2efbf01c5ca> &)': function was implicitly deleted because a data member invokes a deleted or inaccessible function 'std::promise<ReturnType>::promise(const std::promise<ReturnType> &)'

标签： c++c++17

Answer 1

如您所知，std::function它不是 lambda，而是任何可调用类型（包括 lambda）的通用容器。

为了std::function便于使用，它是可复制的。

因此，我们放在 a 中的所有可调用对象都std::function必须是可复制的，即使我们从未实际复制 lambda。

在这种情况下，解决方案是不使用std::function，如下所示：

auto newTask = [promise = std::move(promise), task = std::move(task)]() mutable
{

}

使用此代码auto将推断出 lambda 的实际类型。对于 msvc，该类型在内部拼写为lambda_9f392fbd7670777c18dfd2efbf01c5ca. 请注意，您不能在代码中拼写该类型，只能拼写它的别名。