C가 추론할 수 없는 컨텍스트에서 템플릿 인수를 추론할 수 없는 이유는 무엇입니까?

왜 C가 추론할 수 없는 컨텍스트에서 T를 추론할 수 없나요?

주어진 코드 조각에서 템플릿 구조체 TMap은 다음과 같이 정의됩니다. 템플릿 인수 T를 사용하여 std::map의 특수화를 나타내는 중첩 유형 Type입니다. 그러나 컴파일러는 T를 추론하지 못합니다. test.

Non-Deducible Context

코드가 유형 이름 TMap::Type&을 가진 인수로 test를 호출하기 때문에 오류가 발생합니다. , 여기서 T는 명시적으로 지정되지 않습니다. 이러한 상황을 비연역적 컨텍스트라고 합니다.

유형 추론의 모호성

비연역적 컨텍스트에서 컴파일러는 다음과 같습니다. 인수 유형이 T를 고유하게 결정하지 않기 때문에 템플릿 인수를 추론할 수 없습니다. 예를 들어 다음을 고려하십시오. 시나리오:

template <>
struct TMap<SomeType> {
  typedef std::map<double, double> Type;
};

template <>
struct TMap<OtherType> {
  typedef std::map<double, double> Type;
};

이 경우 TMap::Type과 TMap::Type은 모두 std::map과 동일합니다. 따라서 컴파일러는 T가 SomeType인지 OtherType인지 추론할 수 없습니다.

결과

연역할 수 없는 컨텍스트의 제한은 중요한 의미를 갖습니다.

• 이는 컴파일러가 전달된 인수 유형을 기반으로 템플릿을 암시적으로 특수화하는 것을 방지합니다.
• 제네릭 유형을 인수로 사용하여 함수를 호출할 때는 명시적인 템플릿 인수 추론이나 명시적인 템플릿 인수 지정이 필요합니다.

완화

이 제한을 완화하기 위해 템플릿 템플릿 인수 또는 C 20의 std::is_same_v와 같은 기술을 사용하여 템플릿 인수를 수동으로 추론할 수 있습니다. 또는 명시적인 템플릿 매개변수 목록을 제공하세요.

위 내용은 C가 추론할 수 없는 컨텍스트에서 템플릿 인수를 추론할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!