C가 함수 반환 유형에서 템플릿 유형을 추론할 수 있나요?

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 중국어 웹사이트의 기타 관련 기사를 참조하세요!