컴파일러가 `test(TMap::Type)`에서 `T`를 추론할 수 없는 이유는 무엇입니까?

템플릿에서 T를 추론할 수 없습니다::Type

제공된 코드에서 템플릿을 추론하려고 하면 오류가 발생합니다. 테스트 함수에 대한 인수 T입니다. 그 이유를 이해하려면 "추론할 수 없는 컨텍스트" 개념을 자세히 살펴보는 것이 중요합니다.

TMap의 템플릿 정의에서 Type이라는 별칭을 std::map . 함수 호출 test(tmap)에서 T를 추론하려고 시도할 때 컴파일러는 추론할 수 없는 컨텍스트를 발견합니다.

다음 시나리오를 고려하십시오. TMap에 Type이 std::map<로 정의된 SomeType에 대한 특수화가 있는 경우 ;double, double>, 컴파일러는 TMap::Type이 std::map

게다가 Type이 다시 std::map인 OtherType에 대해 TMap의 또 다른 특수화가 존재하는 경우 상황은 더욱 모호해집니다. TMap::Type과 TMap::Type의 알려진 동등성을 고려하면 컴파일러는 SomeType과 OtherType을 구분할 수 없습니다.

컴파일러는 관계에 대해 가정을 할 수 없다는 점을 기억하는 것이 중요합니다. 템플릿 정의에 사용된 유형 인수 사이. 따라서 이러한 추론 불가능한 컨텍스트에서 컴파일러는 템플릿 인수 T를 자동으로 추론할 수 없습니다.

위 내용은 컴파일러가 `test(TMap::Type)`에서 `T`를 추론할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!