Di chuyển một lambda: một khi bạn đã di chuyển một loại di chuyển chỉ, làm thế nào có thể lambda được sử dụng?

Question

This answer giải thích cách di chuyển chụp một biến trong một lambda trong C++ 14.

Nhưng khi bạn đã di chuyển một đối tượng không thể sao chép được (chẳng hạn như std::unique_ptr) trong một lambda, bạn không thể sao chép chính lambda.

Đây sẽ là tốt nếu bạn có thể di chuyển lambda, nhưng tôi nhận được một lỗi biên dịch khi cố gắng làm như vậy:

using namespace std; 

class HasCallback 
{ 
    public: 
    void setCallback(std::function<void(void)>&& f) 
    { 
     callback = move(f); 
    } 

    std::function<void(void)> callback; 
}; 

int main() 
{ 
    auto uniq = make_unique<std::string>("Blah blah blah"); 
    HasCallback hc; 
    hc.setCallback(
     [uniq = move(uniq)](void) 
     { 
     std::cout << *uniq << std::endl; 
     }); 

    hc.callback(); 
} 

này tạo ra các lỗi sau với g++ (Tôi đã cố gắng để sao chép chỉ dòng thích hợp):

error: use of deleted function ‘main()::<lambda()>::<lambda>(const main()::<lambda()>&’ 

... ngụ ý, tôi nghĩ rằng nỗ lực di chuyển lambda của tôi không thành công.

clang++ đưa ra lỗi tương tự.

Tôi đã thử rõ ràng move nhập lambda (mặc dù đó là giá trị tạm thời), nhưng điều đó không giúp ích gì.

EDIT: Câu trả lời dưới đây giải quyết đầy đủ các lỗi biên dịch được tạo bởi mã trên. Đối với phương pháp thay thế, chỉ cần release giá trị mục tiêu của con trỏ duy nhất vào một số std::shared_ptr, trong đó có thể được sao chép. (Tôi không viết câu trả lời này, bởi vì điều đó sẽ cho rằng đây là vấn đề XY, nhưng lý do cơ bản tại sao unique_ptr không thể được sử dụng trong lambda được chuyển đổi thành std::function là điều quan trọng cần hiểu.)

EDIT 2: Hài hước đủ, tôi vừa nhận ra auto_ptr thực sự sẽ làm điều đúng ở đây (!), Theo như tôi có thể nói. Nó hoạt động cơ bản như unique_ptr, nhưng cho phép sao chép-xây dựng thay cho di chuyển-xây dựng.

Answer 1

Bạn có thể di chuyển lambda, điều đó là tốt. Tuy nhiên, đó không phải là vấn đề của bạn, bạn đang cố gắng thực hiện một số std::function với một lambda không thể sao chép được. Và: constructor

template< class F > 
function(F f); 

của function làm:

5) Khởi mục tiêu với một bản sao của f.

Điều này là do std::function:

đáp ứng các yêu cầu của CopyConstructible và CopyAssignable.

Vì function phải có thể sao chép được, mọi thứ bạn đưa vào cũng phải có thể sao chép được. Và một lambda chỉ di chuyển không đáp ứng yêu cầu đó.

Answer 2

std::function không phải là lambda!Đó là một wrapper có thể được xây dựng từ bất kỳ loại có thể gọi được, bao gồm một lambda. std::function yêu cầu rằng callable be copy-constructible, đó là lý do tại sao ví dụ của bạn không thành công.

Một lambda di chuyển chỉ có thể được di chuyển một lần nữa như được hiển thị bên dưới.

template<typename F> 
void call(F&& f) 
{ 
    auto f1 = std::forward<F>(f); // construct a local copy 
    f1(); 
} 

int main() 
{ 
    auto uniq = make_unique<std::string>("Blah blah blah"); 
    auto lambda = [uniq = move(uniq)]() { 
     std::cout << *uniq << std::endl; 
     }; 
// call(lambda); // doesn't compile because the lambda cannot be copied 
    call(std::move(lambda)); 
} 

Live demo