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

이동 캡처 람다에서 std::function 생성

이동 캡처 람다 표현식에서 std::function을 생성하려고 하면 어려움이 발생할 수 있습니다. , 람다 자체를 생성하는 데 아무런 문제가 없음에도 불구하고. 이는 std::function 생성자와 해당 할당 연산자에 의해 부과된 제한 때문입니다.

std::function 생성자와 = 연산자를 사용하려면 인수가 CopyConstructible이어야 합니다. 그러나 이동 전용 유형(예: std::unique_ptr)을 캡처하는 이동 캡처 람다는 CopyConstructible이 될 수 없습니다.

명확히 말하자면 이동 캡처는 람다 식에서 사용하는 캡처 메커니즘을 나타냅니다. 캡처된 변수의 복사본을 생성하는 복사 캡처와 달리 이동 캡처는 변수의 소유권을 람다로 이전합니다.

제공한 코드는 문제를 보여줍니다.

auto pi = std::make_unique<int>(0);

auto foo = [q = std::move(pi)] {
    *q = 5;
    std::cout << *q << std::endl;
};

std::function<void()> bar = foo; // Error: attempts to copy-construct 'foo'

람다 표현식 'foo'는 이동으로 고유 포인터 'pi'를 캡처하여 이동 전용 유형으로 만듭니다. 따라서 'foo'는 복사할 수 없기 때문에 'foo'에서 std::function을 구성하는 것은 불가능합니다.

이 제한을 피하려면 std::bind를 사용하거나 래퍼 클래스를 생성하는 등의 대체 접근 방식을 고려하세요. 이는 람다를 캡슐화하고 CopyConstructible 인터페이스를 제공합니다.

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