템플릿 추론은 C의 반환 유형에만 기반할 수 있습니까?

함수 반환 유형에 대한 템플릿 추론

C에서 템플릿 추론은 제공된 인수를 기반으로 템플릿 함수 또는 클래스에 대한 일반 유형 인수를 추론하는 메커니즘입니다. 이 기능을 사용하면 더 간결하고 유형이 안전한 코드가 가능합니다.

다음 코드 조각을 고려하세요.

<code class="cpp">class GC {
public:
    template <typename T>
    static GCPtr<T> Allocate();
};</code>

여기서 Allocate 함수는 유형의 개체에 메모리를 할당하는 일반 함수입니다. T. 이 함수를 사용하려면 호출자는 아래와 같이 유형 인수를 명시적으로 지정해야 합니다.

<code class="cpp">GCPtr<A> ptr1 = GC::Allocate<A>();
GCPtr<B> ptr2 = GC::Allocate<B>();</code>

Allocate의 반환 유형을 기반으로 명시적인 유형 인수를 제거하는 것이 가능한지 여부에 대한 의문이 생깁니다. 기능. 불행하게도 C에서는 반환 유형만을 기반으로 템플릿 추론을 수행하는 것이 불가능합니다.

그러나 유사한 효과를 얻을 수 있는 다른 방법이 있습니다. 일반적인 접근 방식 중 하나는 유형을 자동으로 추론하는 도우미 함수를 사용하는 것입니다.

<code class="cpp">// Helper function
template <typename T>
void Allocate(GCPtr<T>& p) {
    p = GC::Allocate<T>();
}

int main() {
    GCPtr<A> p = 0;
    Allocate(p);
}</code>

이 접근 방식을 사용하면 호출자는 간단히 GCPtr 개체에 대한 참조를 전달할 수 있으며 도우미 함수는 유형을 추론하고 호출합니다. 적절한 할당 함수.

C 11 이상 버전에서는 auto 키워드를 사용하여 유형 추론을 더욱 단순화할 수 있습니다.

<code class="cpp">auto p = GC::Allocate<A>(); // p is of type GCPtr<A></code>

도우미 함수 또는 auto 키워드를 활용하여, 템플릿 추론의 장점을 유지하면서 원하는 기능을 구현하는 것이 가능합니다.

위 내용은 템플릿 추론은 C의 반환 유형에만 기반할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!