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);  // Error: could not deduce template argument for T
}</code>

컴파일러는 기본 인수 0.0f에서 T 유형을 추론하지 못합니다. 대신 a.bar(5)와 같은 명시적인 사양이 필요합니다.

C 03 금지

C 03에서는 언어 사양에서 사용을 명시적으로 금지합니다. 템플릿 인수 추론을 위한 기본 함수 인수(C 03 §14.8.2/17):

A template type-parameter cannot be deduced from the type of a function default argument.

C 11 기본 템플릿 인수

C 11에서 해결 방법 등장: 기본 템플릿 인수를 소개합니다. 코드를 다음과 같이 수정하면

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

기본 템플릿 매개변수 T가 제공됩니다. 그러나 기본 템플릿 인수가 있다고 해서 기본 함수 인수에 대한 제한이 완화되는 것은 아닙니다.

C 11 14.8.2.5/5에 따르면 기본 함수 인수는 "비연역 컨텍스트"로 간주됩니다. 템플릿 인수 추론 프로세스. 이는 컴파일러가 템플릿 유형 매개변수를 추론하기 위해 함수 인수의 기본값을 사용할 수 없음을 의미합니다.

결론

기본 함수 인수는 편의성을 제공하지만 템플릿 유형 매개변수는 그것으로부터 추론해서는 안 된다. 기본값이 필요한 경우 기본 템플릿 인수는 더 이식 가능하고 유연한 솔루션을 제공합니다.

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