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

이동 캡처 람다 표현식에서 std::function 생성: 한계 공개

C 영역에서 std::function을 생성하는 작업 이동 캡처 람다 표현식에서 종종 발생합니다. 이동 캡처 람다 표현식 자체는 원활하게 생성될 수 있지만, 수수께끼는 이를 std::function 내에 캡슐화할 수 없다는 것입니다.

이 예에서 볼 수 있듯이:

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

이 예 어떤 장애물도 만나지 않고 움직임을 포착하는 람다 표현식을 쉽게 구성합니다. 그러나 std::function 내에 이 람다를 포함하려고 시도하면 수많은 오류가 발생합니다.

std::function<void()> bar = foo;
std::function<void()> bar{foo};
std::function<void()> bar{std::move(foo)};
std::function<void()> bar = std::move(foo);
std::function<void()> bar{std::forward<std::function<void()>>(foo)};
std::function<void()> bar = std::forward<std::function<void()>>(foo);

std::function 클래스의 복잡성을 자세히 살펴보면 다음 생성자를 발견합니다.

template<class F> function(F f);

이 생성자는 근본적인 문제를 드러냅니다. 즉, 캡슐화된 함수 F가 복사 생성 가능해야 한다는 것입니다. 그러나 이동 캡처 람다 식은 이 기준을 충족하지 않습니다. 대신 복사 생성이 불가능한 객체를 이동 캡처합니다.

따라서 이동 캡처 람다 식에서 std::function을 생성하는 것이 가능하지만 람다가 다음과 같은 경우 극복할 수 없는 장애물에 직면한다고 결론을 내립니다. 복사가 불가능한 객체를 이동 캡처합니다. 이러한 시나리오에서는 "release/acquire-in-lambda" 관용어와 같은 대체 접근 방식이 필요합니다.

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