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

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

C에서 프로그래머는 함수 호출에서 템플릿 인수를 추론해야 하는 시나리오에 자주 직면합니다. 그러나 이 추론이 실패하여 컴파일러 오류가 발생하는 경우가 있을 수 있습니다. 그러한 경우 중 하나는 기본 함수 인수에서 템플릿 유형 매개변수를 추론할 수 없다는 것입니다.

다음 코드 조각을 고려하십시오.

<code class="cpp">struct foo {
  template <typename T>
  void bar(int a, T b = 0.0f) {
  }
};

int main() {
  foo a;
  a.bar(5);
}</code>

이 코드를 컴파일할 때 컴파일러는 다음과 같은 오류를 생성할 수 있습니다. "T에 대한 템플릿 인수를 추론할 수 없습니다." 이 문제를 해결하려면 a.bar(5)와 같은 함수 호출에서 템플릿 인수를 명시적으로 지정해야 합니다. 그런데 애초에 컴파일러가 유형을 추론하지 못하는 이유는 무엇입니까?

C 03에서 언어 사양은 템플릿 인수를 추론하기 위해 기본 인수를 사용하는 것을 명시적으로 금지합니다. C 03 §14.8.2/17에 따르면 "함수 기본 인수의 유형에서 템플릿 유형 매개변수를 추론할 수 없습니다."

C 11에서는 기본 제공을 허용하는 새로운 기능을 도입했습니다. 함수 템플릿의 템플릿 인수:

<code class="cpp">template <typename T = float>
void bar(int a, T b = 0.0f) { }</code>

그러나 기본 템플릿 인수는 필수입니다. 제공되지 않은 경우에도 컴파일러는 템플릿 인수 추론을 위한 기본 함수 인수의 사용을 금지합니다. C 11 §14.8.2.5/5에는 다음과 같이 명시되어 있습니다.

"인수 추론이 수행되는 호출에서 사용되는 기본 인수가 있는 함수 매개변수의 매개변수 유형에 사용되는 템플릿 매개변수" 추론되지 않은 컨텍스트입니다.

요약하자면, 함수 매개변수에 대한 기본 인수를 제공하면 코드가 단순화될 수 있지만, 이러한 경우 템플릿 인수 추론의 한계를 이해하는 것이 중요합니다. 기본 템플릿 인수가 명시적으로 제공되는 경우에만 기본 인수를 템플릿 인수 추론에 사용할 수 있습니다.

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