이동 캡처 Lambda에서 `std::function`을 생성할 수 없는 이유는 무엇입니까?

Move-Capturing 람다 표현식에서 std::function 생성

람다 표현식에서 std::function 객체를 생성하는 문제를 이해하는 것이 중요합니다. . 이동 캡처를 사용하여 람다 식을 생성할 수 있지만 std::function 내에서 이를 캡슐화하려고 하면 오류가 발생할 수 있습니다.

오류 예

여러 번 시도 이동 캡처 람다를 std::function으로 변환하면 "암시적으로 삭제된 복사 생성자 호출" 오류가 지속적으로 발생합니다. '

이동 캡처 람다의 필요성

객체의 소유권을 공유하는 시나리오에서는 람다 식의 이동 캡처가 필요합니다. 사용자 정의 UI 라이브러리와 같이 실행 가능하지 않습니다. 이러한 라이브러리는 std::function을 사용하여 이벤트 핸들러를 등록하기 위한 on_mouse_down() 및 push_undo_action()과 같은 메서드를 제공합니다. 리소스의 효율적인 소유권을 보장하기 위해 이전의 번거로운 "release/acquire-in-lambda" 관용어보다 람다 식의 이동 캡처가 선호됩니다.

std::function 구성에 대한 제한 사항

함수 객체를 직접 지정하기 위한 std::function 생성자는 다음과 같습니다. 서명:

template <class F> function(F f);</p>
<p>그러나 또 다른 관련 생성자는 할당자와 특정 보장을 제공하는 유형에 대한 참조를 허용합니다.</p>
<pre class="brush:php;toolbar:false">template <class F, class A> function(allocator_arg_t, const A& a, F f);

이러한 보장에는 다음이 포함됩니다.

• F는 복사 생성 가능해야 합니다.
• f는 제공된 인수 유형으로 호출 가능해야 합니다. (ArgTypes) 및 반환 유형(R)
• A의 복사 생성자와 소멸자는 예외를 발생시키지 않아야 합니다

Move-Capture에 대한 적용

이동 캡처가 포함된 람다 표현식은 F의 복사 가능성 요구 사항을 위반하지 않지만 종종 이동 캡처 유형(예: std::unique_ptr)은 필수 복사 생성자를 제공하지 않습니다. 결과적으로 이러한 이동 캡처 람다에서 std::function을 구성하는 것은 불가능해집니다.

결론

move- 이동 전용 유형을 처리할 때 std::function 생성자의 제한으로 인해 람다를 std::function으로 캡처하는 것은 불가능합니다. 이러한 제한은 캡슐화된 함수 객체의 복사본을 유지하기 위해 std::function이 필요하기 때문에 발생합니다.

위 내용은 이동 캡처 Lambda에서 `std::function`을 생성할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!