如何将unique_ptr捕获到lambda表达式中？

Question

我尝试过以下方法:

std::function<void ()> getAction(std::unique_ptr<MyClass> &&psomething){
    //The caller given ownership of psomething
    return [psomething](){ 
        psomething->do_some_thing();
        //psomething is expected to be released after this point
    };
}

但它没有编译.有任何想法吗？

更新:

AS建议,需要一些新的语法来明确指定我们需要将所有权转移到lambda,我现在考虑以下语法:

std::function<void ()> getAction(std::unique_ptr<MyClass> psomething){
    //The caller given ownership of psomething
    return [auto psomething=move(psomething)](){ 
        psomething->do_some_thing();
        //psomething is expected to be released after this point
    };
}

它会是一个好的候选人吗？

更新1:

我将展示我的实施move和copy如下:

template<typename T>
T copy(const T &t) {
    return t;
}

//process lvalue references
template<typename T>
T move(T &t) {
    return std::move(t);
}

class A{/*...*/};

void test(A &&a);

int main(int, char **){
    A a;
    test(copy(a));    //OK, copied
    test(move(a));    //OK, moved
    test(A());        //OK, temporary object
    test(copy(A()));  //OK, copying temporary object
    //You can disable this behavior by letting copy accepts T &  
    //test(move(A())); You should never move a temporary object
    //It is not good to have a rvalue version of move.
    //test(a); forbidden, you have to say weather you want to copy or move
    //from a lvalue reference.
}

Answer 1

这个问题通过C++ 14中的lambda广义捕获来解决:

// a unique_ptr is move-only
auto u = make_unique<some_type>(some, parameters); 

// move the unique_ptr into the lambda
go.run([u = move(u)]{do_something_with(u);});

Answer 2

你不能永久捕获unique_ptr一个lambda.实际上,如果你想永久捕获lambda中的任何东西,它必须是可复制的 ; 只是可移动是不够的.

这可能被认为是C++ 11中的一个缺陷,但是你需要一些语法来明确地说你想将unique_ptr值移动到lambda中.C++ 11规范的措辞非常谨慎,以防止对命名变量的隐式移动; 这就是为什么std::move存在,这是一个很好的事情.

要做你想做的事情将需要使用std::bind(这将是半复杂的,需要一个短序列binds)或只是返回一个普通的旧对象.

另外,不要采取unique_ptr的&&,除非你实际上是写它的移动的构造.只需按价值看待它; 用户可以通过值提供它的唯一方法是使用std::move.实际上,&&除非你正在编写移动构造函数/赋值运算符(或实现转发函数),否则从不采取任何操作通常是一个好主意.

Answer 3

使用std::bindNicol Bolas提到的"半复杂"解决方案毕竟不是那么糟糕:

std::function<void ()> getAction(std::unique_ptr<MyClass>&& psomething)
{
    return std::bind([] (std::unique_ptr<MyClass>& p) { p->do_some_thing(); },
                     std::move(psomething));
}

Answer 4

对我有用的次优解决方案是将其转换unique_ptr为a shared_ptr然后捕获shared_ptrlambda.

std::function<void()> getAction(std::unique_ptr<MyClass> psomething)
{
    //The caller given ownership of psomething
    std::shared_ptr<MyClass> psomethingShared = std::shared_ptr<MyClass>(std::move(psomething));
    return [psomethingShared]()
    {
        psomethingShared->do_some_thing();
    };
}