web-dev-qa-db-ja.com

C ++ 14ラムダ式でunique_ptrをキャプチャして移動する

私はこのようにラムダ式でunique_ptrをキャプチャしています：

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

capturedStrを別のunique_ptrに移動しようとするまで、うまく機能します。たとえば、以下は機能しません。

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();

コンパイラからの出力は次のとおりです。

.../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.

capturedStrを移動できないのはなぜですか？

c++c++11lambdac++14
33
MartinMoizard

ラムダのoperator ()はデフォルトでconstであり、constオブジェクトから移動することはできません。

取得した変数を変更する場合は、mutableと宣言します。

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?
};

詳細を示すために、コンパイラーはこの変換を効果的に行っています。

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.
    }
}

ラムダでミュータブルを使用すると、constがoperator（）メンバー関数から削除され、メンバーを変更できるようになります。

7
rparolin

アドバイスをより明確にするには：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