std :: move（）を使ってコピーできないオブジェクトをキャプチャすると、ラムダは移動できないのはなぜですか？

Question

は、ここで私は、エラーを生成するサンプルコードです：

#include <functional> 
using namespace std; 

struct S { 
    S() = default; 
    S(const S&) = delete; 
    S(S&&) = default; 
    S& operator=(const S&) = delete; 
    S& operator=(S&&) = delete; 
}; 

template <typename F> 
void post(F&& func) 
{ 
    function<void()> f{forward<F>(func)}; 
} 

int main() 
{ 
    S s; 
    post([s2 = move(s)] { }); 
} 

main()でラムダの内部では、私はstd::move()を使用して、ローカル変数sをキャプチャします。 post（）を呼び出す前に、s2は移動が正常に構築されている必要があります。

しかし、post()の内部では、fは、このラムダのタイプを基準にして構築することはできません。

削除した場合、s2 = move(s),fはこの正の値のリファレンスで構成できます。

s2 = move(s)を追加するとラムダが移動しないのはなぜですか？

ここでは、coliruを試してみるlinkです。

Answer 1

あなたのラムダは移動キャプチャを行うことで移動不可能になりません。しかし、それはコピー不可になってしまい、それが問題になります。

std::functionは、付属のファンクタをそれ自身に移動することをサポートしていません。常にコピーを行います。したがってコピー不可能なラムダ（および他の呼び出し可能ファイル）はstd::functionと一緒に使用できません。この制限の理由は、規格ではstd::functionがコピー可能である必要があります。コピーできないコール可能で初期化されていれば達成できませんでした。