web-dev-qa-db-fra.com

Capturez et déplacez un unique_ptr dans une expression lambda c ++ 14

Je capture un unique_ptr dans une expression lambda de cette façon:

auto str = make_unique<string>("my string");
auto lambda = [ capturedStr = std::move(str) ] {
   cout << *capturedStr.get() << endl;
};
lambda();

Cela fonctionne très bien jusqu'à ce que j'essaye de déplacer capturedStr vers un autre unique_ptr. Par exemple, ce qui suit ne fonctionne pas:

auto str = make_unique<string>("my string");
auto lambda = [ capturedStr = std::move(str) ] {
    cout << *capturedStr.get() << endl;
    auto str2 = std::move(capturedStr); // <--- Not working, why?
};
lambda();

Voici la sortie du compilateur:

.../test/main.cpp:11:14: error: call to implicitly-deleted copy
constructor of 'std::__1::unique_ptr<std::__1::basic_string<char>,
std::__1::default_delete<std::__1::basic_string<char> > >'
        auto str2 = std::move(capturedStr);
             ^      ~~~~~~~~~~~~~~~~~~~~~~ ../include/c++/v1/memory:2510:31: note: copy constructor is implicitly
deleted because 'unique_ptr<std::__1::basic_string<char>,
std::__1::default_delete<std::__1::basic_string<char> > >' has a
user-declared move constructor
    _LIBCPP_INLINE_VISIBILITY unique_ptr(unique_ptr&& __u) _NOEXCEPT
                              ^ 1 error generated.

Pourquoi n'est-il pas possible de déplacer capturedStr?

33
MartinMoizard

La operator () d'un lambda est const par défaut, et vous ne pouvez pas vous déplacer à partir d'un objet const.

Déclarez-le mutable si vous souhaitez modifier les variables capturées.

auto lambda = [ capturedStr = std::move(str) ] () mutable {
//                                             ^^^^^^^^^^
    cout << *capturedStr.get() << endl;
    auto str2 = std::move(capturedStr);
};
53
T.C.
auto lambda = [ capturedStr = std::move(str) ] {
   cout << *capturedStr.get() << endl;
   auto str2 = std::move(capturedStr); // <--- Not working, why?
};

Pour donner plus de détails, le compilateur effectue effectivement cette transformation:

class NameUpToCompiler
{
    unique_ptr<string> capturedStr;  // initialized from move assignment in lambda capture expression

    void operator()() const
    {
        cout << *capturedStr.get() << endl;
        auto str2 = std::move(capturedStr);  // move will alter member 'captureStr' but can't because of const member function.
    }
}

L'utilisation de mutable sur le lambda supprimera le const de la fonction membre operator (), permettant ainsi de modifier les membres.

7
rparolin

Pour rendre le conseil plus explicite: ajoutez mutable: http://coliru.stacked-crooked.com/a/a19897451b82cbbb

#include <memory>

int main()
{
    std::unique_ptr<int> pi(new int(42));

    auto ll = [ capturedInt = std::move(pi) ] () mutable { };
}
5
sehe