C가 기본 함수 인수에서 템플릿 매개변수를 추론할 수 없는 이유는 무엇입니까?

기본 함수 인수에서 템플릿 매개변수 추론

제공된 코드의 기본 함수 인수에서 템플릿 인수를 컴파일러가 추론할 수 없는 것은 C의 규정에 기인할 수 있습니다. 언어 사양.

사양의 §14.8.2/17에 인용된 C 03에서, "템플릿 유형 매개변수는 함수 기본 인수 유형에서 추론할 수 없습니다." 이 제한은 템플릿 매개변수 추론에 기본 인수 사용을 명시적으로 금지합니다.

C 11에서는 함수 템플릿에 기본 템플릿 인수를 지정할 수 있는 가능성을 도입했지만 기본 함수 인수는 여전히 템플릿 인수 추론에 사용할 수 없습니다. 특히 C 11 §14.8.2.5/5에서는 "비 추론된 컨텍스트는 다음과 같습니다. ... 해당 인수에 대한 호출에 사용되는 기본 인수가 있는 함수 매개변수의 매개변수 유형에 사용되는 템플릿 매개변수입니다.

따라서 제공된 코드가 기본 인수 0.0f에서 T에 대한 템플릿 매개변수를 추론할 수 없는 것은 언어 사양과 일치합니다. 이 문제를 해결하려면 다음 수정된 코드에 설명된 대로 bar 함수를 호출할 때 명시적인 템플릿 인수를 제공해야 합니다.

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