C에서 함수 템플릿의 부분 전문화가 금지되는 이유는 무엇입니까?

함수 템플릿의 부분 특수화: 왜 안 될까요?

C 언어 사양에서는 함수 템플릿의 부분 특수화를 금지하는 것이 잘 알려져 있습니다. 이 결정은 그 유용성과 근거에 의문을 제기하는 많은 개발자를 당황하게 했습니다.

언어 사양에서는 실수로 인해 함수 템플릿의 부분 특수화를 금지합니다. 부분 특수화가 제공하는 유연성은 함수를 클래스의 정적 멤버로 정의하는 등의 대체 기술을 통해 달성할 수 있습니다.

예를 들어 다음 코드를 고려해보세요.

template<typename T, typename U> void f() {}   //allowed!
template<> void f<int, char>()            {}   //allowed!
template<typename T> void f<char, T>()    {}   //not allowed!
template<typename T> void f<T, int>()     {}   //not allowed!

f의 부분 특수화는 허용되지 않습니다. 함수를 클래스의 정적 멤버로 정의하여 유사한 효과를 얻을 수 있습니다.

void say( char const s[] ) { std::cout << s << std::endl; }

namespace detail {
    template< class T, class U >
    struct F {
        static void impl() { say( "1. primary template" ); }
    };

    template<>
    struct F<int, char> {
        static void impl() { say( "2. <int, char> explicit specialization" ); }
    };

    template< class T >
    struct F< char, T > {
        static void impl() { say( "3. <char, T> partial specialization" ); }
    };

    template< class T >
    struct F< T, int > {
        static void impl() { say( "4. <T, int> partial specialization" ); }
    };
}  // namespace detail

template< class T, class U >
void f() { detail::F<T, U>::impl(); }    

int main() {
    f<char const*, double>();       // 1
    f<int, char>();                 // 2
    f<char, double>();              // 3
    f<double, int>();               // 4
}

이 코드는 다음과 같이 작동합니다. 함수 템플릿의 부분 특수화와 유사하게 특정 인수 조합에 대한 특수 구현을 정의하는 메커니즘을 제공합니다.

위 내용은 C에서 함수 템플릿의 부분 전문화가 금지되는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!