Понимание захвата перемещения в лямбда-выражениях 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()

Этот метод использует функция, которая принимает захваченное значение по ссылке и возвращает лямбду, которая вызывает функцию с захваченным значением в качестве аргумента.

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

Это предотвращает копирование лямбда-выражений и гарантирует, что захваченное значение будет перемещено в область видимости лямбды.

Помните, что эти обходные пути не так элегантны, как обобщенный захват лямбды в C 14, но они позволяют для эмуляции захвата перемещения в более ранних версиях языка.