C 템플릿 클래스 내에서 템플릿 함수를 올바르게 명시적으로 특수화하는 방법은 무엇입니까?

C의 템플릿 클래스에서 템플릿 함수의 명시적 특수화

C에서 템플릿 클래스 및 함수를 사용할 때 다음이 필요할 수 있습니다. 템플릿 클래스 내에서 템플릿 함수를 명시적으로 특수화합니다. 그러나 이에 대한 올바른 구문을 찾는 것이 어려울 수 있습니다.

다음 코드를 고려하세요.

struct tag {};

template< typename T >
struct C
{   
    template< typename Tag >
    void f( T );                 // declaration only

    template<>
    inline void f< tag >( T ) {} // ERROR: explicit specialization in non-namespace scope
};

Visual C 2008에서는 성공적으로 컴파일되지만 GCC 4.2에서는 실패하는 이 코드는 다음을 시도합니다. C 템플릿 클래스 내에서 태그 유형에 대한 f 함수를 명시적으로 특수화합니다. 컴파일러 오류는 템플릿 클래스 내의 네임스페이스가 아닌 범위에서 명시적 특수화가 허용되지 않음을 나타냅니다.

템플릿 클래스 내에서 템플릿 함수를 명시적으로 특수화하는 올바른 방법은 호출을 템플릿 클래스의 멤버 함수로 전달하는 것입니다. 부분특화형. 이 작업은 도우미 클래스를 사용하여 수행할 수 있습니다.

template<class T, class Tag>
struct helper {
    static void f(T);   
};

template<class T>
struct helper<T, tag1> {
    static void f(T) {}
};

template<class T>
struct C {
    // ...
    template<class Tag>
    void foo(T t) {
        helper<T, Tag>::f(t);
    }
};

이 코드에서 도우미는 두 개의 템플릿 매개변수인 T(작동 중인 객체의 유형)와 Tag(특수화 태그)가 있는 템플릿 클래스입니다. . 부분적으로 특수화된 버전의 도우미가 tag1 특수화에 대해 정의되어 f 함수에 대한 구현을 제공합니다. 그런 다음 C 템플릿 클래스는 foo 멤버 함수를 사용하여 지정된 태그를 기반으로 적절한 도우미::f 함수에 대한 호출을 위임합니다.

위 내용은 C 템플릿 클래스 내에서 템플릿 함수를 올바르게 명시적으로 특수화하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!