멤버 유형에서 추론할 때 템플릿 유형 공제가 실패하는 이유는 무엇입니까?

템플릿 유형 추론의 추론 실패

유형 멤버에서 템플릿 인수를 추론하려고 할 때 컨텍스트가 추론 가능한지 확인하는 것이 중요합니다. 주어진 코드에서 컴파일러가 유형 이름 TMap::Type에서 템플릿 인수 T를 추론하려고 시도할 때 테스트 함수 내에서 오류가 발생합니다.

이 실패는 "비 추론할 수 없는 컨텍스트"라는 개념에서 비롯됩니다. ." 이 경우 템플릿 유형 TMap의 멤버 유형 'Type'은 템플릿 인수 T와 고유한 관계가 없습니다.

TMap의 가상 특수화를 고려하십시오.

template <>
struct TMap<SomeType> {
    typedef std::map<double, double> Type;
};</p>
<p> 컴파일러가 TMap<t>::Type에서 T를 추론해야 한다면 모호함에 직면하게 됩니다. TMap<sometype>::Type의 값은 std::map<double double>입니다. 그러나 TMap<T> 전문 분야의 SomeType과 동일합니다.</double></sometype></t></p>
<p>TMap을 더욱 전문화하려면:</p>
<pre class="brush:php;toolbar:false">template <>
struct TMap<OtherType> {
    typedef std::map<double, double> Type;
};

현재 다음과 같이 상황이 악화됩니다.

• TMap
• TMap::Type = std::map

이러한 모호성으로 인해 컴파일러는 T가 SomeType인지 OtherType인지 확인할 수 없습니다. 또한 가능한 선택의 수를 결정하거나 해당 선택을 식별할 수 없습니다.

따라서 템플릿 멤버 유형이 템플릿 인수와 직접적인 관계가 없는 이와 같은 상황에서는 템플릿 인수 추론이 실패하고 컴파일러는 오류가 발생했습니다.

위 내용은 멤버 유형에서 추론할 때 템플릿 유형 공제가 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!