C ラムダ (C 11 および C 14) で移動キャプチャを実現するにはどうすればよいですか?

C 11 Lambda のムーブ キャプチャ

C 14 の一般化されたラムダ キャプチャ

C 14 では一般化されたラムダ キャプチャが導入され、ムーブ キャプチャが可能になります。 C 14 では、次のようなコードが有効になります:

auto u = make_unique<some_type>( some, parameters ); 

// move the unique_ptr into the lambda
go.run( [ u = move(u) ] { do_something_with( u ); } ); 

オブジェクトをラムダから別の関数に移動する必要がある場合は、ラムダを可変としてマークする必要があることに注意してください:

go.run( [ u = move(u) ] mutable { do_something_with( std::move(u) ); } );

C 11 での移動キャプチャの回避策

C 11 では、ヘルパーを使用して移動によるキャプチャを実現できます。目的の値への右辺値参照を作成する関数 make_rref:

#include <cassert>
#include <memory>
#include <utility>

template <typename T>
struct rref_impl
{
    rref_impl() = delete;
    rref_impl( T &amp;&amp; x ) : x{std::move(x)} {}
    // ... implementation
};

template<typename T> rref_impl<T> make_rref( T &amp;&amp; x )
{
    return rref_impl<T>{ std::move(x) };
}

make_rref 関数を使用してラムダの値をキャプチャします:

int main()
{
    std::unique_ptr<int> p{new int(0)};
    auto rref = make_rref( std::move(p) );
    auto lambda =
        [rref]() mutable -> std::unique_ptr<int> { return rref.move(); };
    assert(  lambda() );
    assert( !lambda() );
}

この回避策によりラムダがコピー可能になることに注意してくださいこれにより、コピー不可能なオブジェクトをキャプチャするときに問題が発生する可能性があります。

C での一般化 Lambda キャプチャのエミュレーション11

一般化されたラムダ キャプチャをエミュレートする別のアプローチには、キャプチャ関数の定義が含まれます:

#include <utility>

template <typename T, typename F>
class capture_impl
{
    T x;
    F f;
public:
    // ... implementation
};

template <typename T, typename F>
capture_impl<T,F> capture( T &amp;&amp; x, F &amp;&amp; f )
{
    return capture_impl<T,F>(
        std::forward<T>(x), std::forward<F>(f) );
}

キャプチャを使用して移動によって値をキャプチャします:

int main()
{
    std::unique_ptr<int> p{new int(0)};
    auto lambda = capture( std::move(p),
        []( std::unique_ptr<int> &amp; p ) { return std::move(p); } );
    assert(  lambda() );
    assert( !lambda() );
}

このソリューションは以下を提供します。キャプチャされた型がコピー可能でない場合、ラムダのコピーを無効にする、よりクリーンなアプローチです。

以上がC ラムダ (C 11 および C 14) で移動キャプチャを実現するにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。