如何在 std：：for_each 中捕获 lambda 的 std：：unique_ptr "by move"

How to capture std::unique_ptr "by move" for a lambda in std::for_each

本文关键字：std unique ptr by move lambda for each      更新时间：2023-10-16

我正在学习 c++11 中的新功能，遇到了这个问题。 我想通过将unique_ptr移动到 lambda 中作为for_each的参数来捕获它。

建立：

std::array<int,4> arr = {1,3,5,6};
std::unique_ptr<int> p(new int);  (*p) = 3;

尝试 1 - 不起作用，因为unique_ptr没有复制构造函数。 C++0x 不指定"按移动传递"语法。

std::for_each(arr.begin(), arr.end(), [p](int& i) { i+=*p; });

尝试 2 - 使用 bind 将移动的 P 副本绑定到采用 int&的函数：

std::for_each(arr.begin(), arr.end(),
     std::bind([](const unique_ptr<int>& p, int& i){
          i += (*p);
     }, std::move(p))
);

编译器抱怨'result' : symbol is neither a class template nor a function template.

本练习的主要目的是了解如何在缓存以供以后使用的 lambda 中捕获可移动变量。

更新：您可以从 C++14 开始在 lambda 中捕获可移动变量。

std::for_each(arr.begin(), arr.end(), [p=std::move(p)](int& i) { i+=*p; });

在 C++11 中，您无法以任何直接的方式将可移动变量捕获到 lambda 中。

通过复制或引用捕获 Lambda。因此，要捕获仅移动变量，必须将其包装在复制 => 移动的对象中（例如 std::auto_ptr ）。这是一个令人讨厌的黑客。

在您的示例中，您可以仅通过引用捕获，但如果这只是简化的代码，则可能无法使用实际代码执行您想要的操作：

std::for_each(arr.begin(), arr.end(), [&p](int& i) { i+=*p; });

这是一个仅复制移动包装器：

template<typename T>
struct move_on_copy_wrapper
{
    mutable T value;
    move_on_copy_wrapper(T&& t):
        value(std::move(t))
    {}
    move_on_copy_wrapper(move_on_copy_wrapper const& other):
        value(std::move(other.value))
    {}
    move_on_copy_wrapper(move_on_copy_wrapper&& other):
        value(std::move(other.value))
    {}
    move_on_copy_wrapper& operator=(move_on_copy_wrapper const& other)
    {
        value=std::move(other.value);
        return *this;
    }
    move_on_copy_wrapper& operator=(move_on_copy_wrapper&& other)
    {
        value=std::move(other.value);
        return *this;
    }
};

然后，您可以像这样使用它：

int main()
{
    std::unique_ptr<int> p(new int(3));
    move_on_copy_wrapper<std::unique_ptr<int>> mp(std::move(p));
    [mp]()
    {
        std::cout<<"*mp.value="<<*mp.value<<std::endl;
    }
    ();
    std::cout<<"p="<<p.get()<<", mp="<<mp.value.get()<<std::endl;
}

您的尝试 2 几乎可以工作。

缺少的是你没有告诉你的bind调用需要一个参数：

std::for_each(arr.begin(), arr.end(),
   std::bind([](const unique_ptr<int>& p, int& i){
      i += (*p);
   }, std::move(p), std::placeholders::_1)
);

placeholders::_1 有必要告诉 bind 的结果，它应该期望传递给它的参数以operator() 。

这也是@marton78在这里回答时给出的建议。

相关文章：