ラムダの移動：移動可能なタイプを移動キャプチャした後、どのようにラムダを使用できますか？

Question

This answerは、C++でラムダ内の変数を移動キャプチャする方法を説明しています。

しかし、ラムダ内のコピー不可能なオブジェクト（std::unique_ptrなど）を移動キャプチャした後は、ラムダ自体をコピーすることはできません。

あなたはラムダを移動しますが、そうしようとしたとき、私はコンパイルエラーを取得することができればこれは罰金のようになります。

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

これはg++と、次のエラーを生成し（私がコピーしようとしてきました関連する行のみ）：

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

...ラムダを移動しようとする試みが失敗したと考えています。

clang++も同様のエラーが発生します。

私は（それは一時的な値だが）ラムダをINGの明示的moveを試してみましたが、それは助けにはなりませんでした。

EDIT：以下の回答は、上記のコードで生成されたコンパイルエラーを適切に解決します。別のアプローチの場合は、単にreleaseのstd::shared_ptrへの一意のポインタの目標値です。はとなります。 （私はこれを答えとして書いていません。なぜなら、これはXYの問題だと思うでしょうが、unique_ptrがラムダで使用できない理由を理解することが重要です。

EDIT 2：（！）陽気に十分、私はちょうどauto_ptrが実際にここに正しいことをするだろう、私の知る限り実現。基本的にはunique_ptrのように動作しますが、move-constructionの代わりにcopy-constructionが可能です。

Answer 1

あなたはそれは大丈夫です、ラムダを移動することができます。あなたの問題ではありませんが、std::functionをコピーできないラムダでインスタンス化しようとしています。そして：

template< class F > 
function(F f); 

functionのコンストラクタがありません：

5）fのコピーでターゲットを初期化します。

std::functionためです：

はコピーコンストラクトとCopyAssignableの要件を満たしています。

functionはコピー可能である必要があるため、コピーすることもできます。そして移動のみのラムダはその要件を満たしていません。

Answer 2

std::functionはラムダではありません。ラムダを含む任意のタイプの呼び出し可能なものから構築できるラッパーです。 std::functionにはcallable be copy-constructibleが必要です。そのため、例が失敗します。

移動のみのラムダは、次のように再度移動できます。

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