C ラムダでの移動キャプチャについて

C 11 では、ラムダでの変数のキャプチャは通常、参照によって行われます。この参照はラムダが存在する限り生き続けますが、キャプチャされた変数が移動されると意図しない動作が発生する場合があります。

A C 14 ソリューション: 一般化されたラムダ キャプチャ

C 14 では、一般化されたラムダ キャプチャが導入され、移動キャプチャが可能になりました。これにより、一意のポインターなどの移動専用型の便利な操作が可能になります。

std::make_unique()
    .then([u = std::move(u)] { do_something_with(u); });

C 11 の回避策

C 14 より前では、移動キャプチャは次を使用してエミュレートできます。ヘルパー関数:

方法 1: make_rref

このアプローチでは、ラッパー クラスを作成します。 rref_impl、値をカプセル化し、その有効期間を管理します。

template  using rref_impl = ...;
auto rref = make_rref(std::move(val));

[rref]() mutable { std::move(rref.get()); };

ただし、ラムダで rref をキャプチャするとコピーが可能になり、ランタイム エラーが発生する可能性があります。

メソッド 2: Capture() Function

このメソッドはキャプチャされた値を参照によって取得し、キャプチャされた値を引数として関数を呼び出すラムダを返す関数。

template  using capture_impl = ...;
auto lambda = capture(std::move(val), [](auto&& v) { return std::forward(v); });

これにより、ラムダとキャプチャされた値がラムダのスコープに確実に移動されるようにします。

これらの回避策は、C で一般化されたラムダ キャプチャほど洗練されていないことに注意してください。 14 ですが、以前のバージョンの言語で移動キャプチャをエミュレートする方法を提供します。