왜 `std::function` 객체가 동일한지 비교할 수 없나요?

std::function이 동등 비교할 수 없는 이유

C에서 std::function은 작업을 수행할 수 있는 일반 호출 가능 래퍼입니다. 임의의 함수 객체로. 유용성에도 불구하고 std::function은 동등 비교(==)를 지원하지 않습니다. Boost::function 및 std::tr1::function은 동일한 동작을 나타냅니다.

역사적 맥락

C 11 표준의 이전 초안에서 std::function 같음 연산자에 대한 오버로드가 있었습니다. 그러나 이러한 오버로드는 나중에 "유형 시스템에 있을 수 있는 구멍"을 닫는다는 이유로 삭제된 것으로 선언되었습니다.

"허점"

"허점" C 11 초안에 언급된 "암묵적인 bool 변환으로 인해 예상치 못한 동등 비교가 발생할 가능성이 있습니다. C 03에서는 이 문제를 피하기 위해 safe-bool 관용구가 도입되었고, C 11에서는 명시적인 bool 변환 함수가 도입되었습니다. 그러나 이러한 조치는 예상치 못한 동등 비교 가능성을 완전히 제거하지는 않습니다.

std::function에 대한 특정 고려 사항

std::shared_ptr과 달리 정의된 동등 의미(동일성은 동일한 객체를 가리키는 것을 의미함), std::function에는 명확한 동등 개념이 없습니다. 다음을 고려하세요.

• 다른 인수 바인딩으로 구성된 동일한 함수는 같지 않은 것으로 비교됩니다.
• 다른 기본 유형(예: 람다 대 함수 포인터)을 사용하는 함수는 같지 않은 것으로 비교됩니다.

비교성 결과

std::function 객체를 동일하게 비교할 수 없으면 다음과 같은 특정 결과가 발생합니다.

• 일반 동등 검사 코드 작성.
• 집합형 컨테이너에서 std::function을 사용할 때 잠재적인 모호성.
• 함수를 연결할 때 논리적 오류가 발생할 가능성이 증가합니다.

결론

std::function에 대한 동일성 비교가 부족하여 특정 시나리오에서는 불편할 수 있지만 궁극적으로 잠재적인 유형 시스템 취약성을 방지하고 다양한 구현에서 함수 동작의 일관성을 보장합니다. 동등 비교가 필요한 애플리케이션의 경우 명시적인 동등 재정의가 포함된 래퍼 클래스를 사용하는 등의 대체 솔루션을 사용할 수 있습니다.

위 내용은 왜 `std::function` 객체가 동일한지 비교할 수 없나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!