기본 템플릿 인수가 C의 클래스 템플릿으로 제한되는 이유는 무엇입니까?

기본 템플릿 인수가 클래스 템플릿으로 제한되는 이유

C에서 기본 템플릿 인수는 클래스 템플릿에만 허용되고 함수 템플릿에는 허용되지 않습니다. 이러한 제한이 놀랍게 보일 수도 있지만 그 뒤에는 몇 가지 이유가 있습니다.

클래스 템플릿에 대한 기본 템플릿 인수

기본 템플릿 인수를 사용하면 클래스 템플릿이 특정 매개변수에 대한 기본값을 제공할 수 있습니다. 이는 대부분의 템플릿 인스턴스에서 기본값이 변경될 가능성이 없을 때 유용할 수 있습니다. 예를 들어 정렬 알고리즘의 클래스 템플릿에는 정렬에 사용되는 비교 함수에 대한 기본 템플릿 인수가 있을 수 있습니다.

함수 템플릿 제한

그러나 기본 템플릿 인수는 함수에 허용되지 않습니다. 템플릿을 사용하면 모호함이 발생할 수 있기 때문입니다. 다음과 같은 가상의 예를 생각해 보십시오.

<code class="cpp">struct my_class {
  template<class T = int>
  void mymember(T* vec) {
    // ...
  }
};</code>

이 예에서는 T가 mymember 함수의 기본 유형인지 my_class 템플릿 자체의 기본 유형인지 확실하지 않습니다. 이러한 모호성은 코드에서 미묘한 오류로 이어질 수 있습니다.

C 11의 출현

C 11 이전에는 함수 템플릿에 대한 기본 템플릿 인수 금지가 중요한 제한이었습니다. 그러나 C 11에는 유형에 대한 별칭을 정의할 수 있는 "유형 별칭"이라는 새로운 기능이 도입되었습니다. 이는 함수 템플릿에 대한 기본 템플릿 인수 부족에 대한 해결 방법을 제공합니다. 예를 들어 위의 예는 다음과 같이 다시 작성할 수 있습니다.

<code class="cpp">struct my_class {
  typedef int default_type;
  template<class T = default_type>
  void mymember(T* vec) {
    // ...
  }
};</code>

유형 별칭은 기본 템플릿 인수만큼 편리하지는 않지만 비슷한 기능을 제공하며 현재 C 표준의 한계를 극복할 수 있게 해줍니다. .

Bjarne Stroustrup의 관점

결함 보고서에서 C의 원래 디자이너인 Bjarne Stroustrup은 함수 템플릿에 대한 기본 템플릿 인수 금지에 대한 자신의 견해를 표현했습니다.

함수 템플릿에 대한 기본 템플릿 인수를 금지하는 것은 독립 함수가 2급 시민으로 취급되어 모든 템플릿 인수를 지정하지 않고 함수 인수에서 추론하도록 요구했던 시대의 잘못된 잔재입니다.

위 내용은 기본 템플릿 인수가 C의 클래스 템플릿으로 제한되는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!