为什么我不能在C ++ 14中移动lambda中的std :: unique_ptr？

Question

我想在lambda中传递一个原始指针，但我不希望它被泄露，如果没有调用lambda。 它看起来像这样：

void Clean(std::unique_ptr<int>&& list);

void f(int* list) {
  thread_pool.Push([list = std::unique_ptr<int>(list) ] {
    Clean(std::move(list));  // <-- here is an error.
  });
}

我在Clang 3.7.0中收到错误：

错误：将类型'unique_ptr <[2 * ...]>'的引用绑定到类型'unique_ptr <[2 * ...]>'的值会丢弃限定符

但是我没有看到任何限定词，尤其是掉线。

另外，我在邮件列表上找到了类似的报告 ，但没有回答。

---

我应该如何修改我的代码，以便编译并按语义按预期工作？

Answer 1

你需要使内部lambda mutable ：

[this](Pointer* list) {
  thread_pool.Push([this, list = std::unique_ptr<int>(list) ]() mutable {
                                                               ^^^^^^^^^
    Clean(std::move(list));
  });
};

默认情况下，lambdas上的operator()是const ，因此您无法在该调用中修改其成员。 因此，内部list行为就像是const std::unique_ptr<int> 。 当你进行move转换时，它会转换为const std::unique_ptr<int>&& 。 这就是为什么你得到关于删除限定符的编译错误：你试图将const rvalue引用转换为非const rvalue引用。 该错误可能没有那么有用，但它归结为：你不能move const unique_ptr 。

mutable修复 - operator()不再是const ，因此该问题不再适用。

注意：如果你的Clean()采用unique_ptr<int>而不是unique_ptr<int>&& ，这更有意义（因为它是一个更明确的，确定性的接收器），那么错误会更加明显：

error: call to deleted constructor of `std::unique_ptr<int>`
note: 'unique_ptr' has been explicitly marked deleted here  

    unique_ptr(const unique_ptr&) = delete
    ^