C의 함수 반환 유형을 기반으로 한 템플릿 추론

C에서는 템플릿 추론을 활용하여 제네릭을 인스턴스화하는 코드를 단순화하는 것이 바람직할 수 있습니다. 함수 인수의 데이터 유형을 기반으로 하는 함수입니다. 다음 예를 고려하십시오.

GCPtr ptr1 = GC::Allocate();
GCPtr ptr2 = GC::Allocate();

일반 유형 매개변수를 명시적으로 지정하는 대신 목표는 GC::Allocate() 함수의 반환 유형을 사용하여 이러한 추론을 달성하는 것입니다. 그러나 C에서는 반환 유형에 따른 유형 추론을 허용하지 않습니다.

class GC
{
public:
    template
    static GCPtr Allocate();
};

반환 유형이 일반임에도 불구하고 컴파일러는 GC::Allocate() 함수를 인스턴스화할 때 템플릿 유형 매개변수 및 의 명시적인 사양을 요구합니다.

이 제한을 완화하기 위해 보조 기능을 도입할 수 있습니다:

template 
void Allocate(GCPtr& p) {
    p = GC::Allocate();
}

이 기능을 사용하면 다음과 같이 원래 목표를 달성할 수 있습니다.

GCPtr p;
Allocate(p);

이 구문이 명시적 유형 지정에 비해 상당한 이점을 제공하는지 여부는 주관적입니다.

참고: C 11에서는 하나를 생략할 수 있습니다. auto 키워드를 사용한 유형 선언:

auto p = GC::Allocate(); // p is of type GCPtr