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: 캡처() 함수

이 방법은 참조로 캡처된 값을 취하고 캡처된 값을 인수로 사용하여 함수를 호출하는 람다를 반환하는 함수입니다.

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

이것은 람다 복사를 방지하고 캡처된 값이 람다의 범위로 이동되는지 확인합니다.

이러한 해결 방법은 C 14의 일반화된 람다 캡처만큼 우아하지는 않지만 이전 버전의 언어에서 이동 캡처를 에뮬레이션하는 방법을 제공합니다.