>백엔드 개발 >C++ >`std::function`이 템플릿 인수 서명의 모호성을 초래하는 이유는 무엇입니까?

`std::function`이 템플릿 인수 서명의 모호성을 초래하는 이유는 무엇입니까?

Susan Sarandon
Susan Sarandon원래의
2024-11-06 00:42:021045검색

Why Does `std::function` Lead to Ambiguity in Template Argument Signatures?

std::function 템플릿 인수 서명의 모호성

두 함수 및 함수 동일한 함수로 구성할 수 있습니다. std::function은 유형 삭제에 의존하므로 서명이 템플릿 인수 서명과 일치하지 않더라도 임의의 함수를 허용할 수 있습니다.

이를 설명하려면 다음 클래스를 고려하세요.

<code class="cpp">template<class Signature>
class myfunc{
public:
    template<class Func>
    myfunc(Func a_func){
        // ...
    }
};</code>

컴파일러는 오버로드 세트에 대해 실행 가능한 함수를 찾으려고 시도할 때 잠재적인 변환을 검색합니다. 이 경우 myfunc의 두 생성자는 무엇이든 허용하므로 int(*)()에서 myfunc int(*)()에서 myfunc

따라서 a(x) 또는 a(y)를 호출할 때 컴파일러는 두 개의 실행 가능한 함수를 만나 모호성을 초래합니다.

해결 방법

std::function의 템플릿 인수 서명은 함수를 선언하고 정의할 때 해당 유형의 일부입니다. 그러나 객체 생성 중에는 서명이 무시됩니다.

모호함을 피하기 위해 다음을 수행할 수 있습니다.

  • 인수를 원하는 서명에 명시적으로 캐스팅합니다(예: (function)(x)).
  • 적절한 유형의 함수 개체를 생성하고 전달합니다.
  • 템플릿 메타프로그래밍(TMP)을 사용하여 서명을 추출하고 자동으로 변환합니다.

위 내용은 `std::function`이 템플릿 인수 서명의 모호성을 초래하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!

성명:
본 글의 내용은 네티즌들의 자발적인 기여로 작성되었으며, 저작권은 원저작자에게 있습니다. 본 사이트는 이에 상응하는 법적 책임을 지지 않습니다. 표절이나 침해가 의심되는 콘텐츠를 발견한 경우 admin@php.cn으로 문의하세요.