템플릿 인수 추론 실패: 추론되지 않은 컨텍스트 이해
코드에서 다음을 수행하려는 두 함수(temp 및 temp2)를 정의했습니다. 매개변수 유형을 기반으로 템플릿 인수를 추론합니다. 그러나 이러한 인수를 추론할 수 없다는 컴파일러 오류가 발생합니다.
이 문제는 함수 정의에 typename 키워드를 사용하는 데서 발생합니다.
// Example 1 template <class A> A temp(typename S<A>::type a1) // Example 2 template <class A, class B> B temp2(typename S<A>::type a1, B a2)
템플릿 템플릿 매개변수를 사용할 때 , 템플릿 클래스 내에서 종속 이름을 참조하려면 typename이 필요합니다. 그러나 S::type이 단순히 비종속 유형인 함수의 컨텍스트에서는 그렇지 않습니다.
C에서는 템플릿 매개변수가 사용될 때 템플릿 인수 추론이 발생합니다. 유형을 결정하는 컨텍스트입니다. 그러나 이 경우 템플릿 매개변수 A는 참조 유형 선언에만 나타나기 때문에 추론되지 않은 컨텍스트에서 사용됩니다.
typedef typename T& type;
결과적으로 컴파일러는 템플릿 인수를 함수 호출. 이 문제를 해결하려면 다음 함수를 호출할 때 템플릿 인수를 명시적으로 지정해야 합니다.
temp<char>(c);
명시적 인수를 제공함으로써 컴파일러는 적절한 유형으로 템플릿을 올바르게 인스턴스화할 수 있습니다.
위 내용은 추론되지 않은 컨텍스트에서 내 C 템플릿 인수 추론이 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!
![[웹 프런트엔드] Node.js 빠른 시작](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
