C의 함수 반환 유형에 따른 템플릿 추론
C에서는 템플릿 추론을 활용하여 제네릭을 인스턴스화하는 코드를 단순화하는 것이 바람직할 수 있습니다. 함수 인수의 데이터 유형을 기반으로 하는 함수입니다. 다음 예를 고려하십시오.
<code class="cpp">GCPtr<A> ptr1 = GC::Allocate(); GCPtr<B> ptr2 = GC::Allocate();</code>
일반 유형 매개변수를 명시적으로 지정하는 대신 GC::Allocate() 함수의 반환 유형을 사용하여 이러한 추론을 달성하는 것이 목표입니다. 그러나 C에서는 반환 유형에 따른 유형 추론을 허용하지 않습니다.
<code class="cpp">class GC
{
public:
template<typename T>
static GCPtr<T> Allocate();
};</code>반환 유형이 일반임에도 불구하고 컴파일러에서는 템플릿 유형 매개변수 및 GC::Allocate() 함수를 인스턴스화할 때.
이 제한을 완화하기 위해 보조 함수를 도입할 수 있습니다.
<code class="cpp">template <typename T>
void Allocate(GCPtr<T>& p) {
p = GC::Allocate<T>();
}</code>이 함수를 사용하면 다음과 같이 원래 목표를 달성할 수 있습니다. :
<code class="cpp">GCPtr<A> p; Allocate(p);</code>
이 구문이 명시적 유형 지정에 비해 상당한 이점을 제공하는지 여부는 주관적입니다.
참고: C 11에서는 다음 중 하나를 생략할 수 있습니다. auto 키워드를 사용한 유형 선언:
<code class="cpp">auto p = GC::Allocate<A>(); // p is of type GCPtr<A></code>
위 내용은 C가 함수 반환 유형에서 템플릿 유형을 추론할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!
![[웹 프런트엔드] Node.js 빠른 시작](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
