Why are Partial Specializations of Function Templates Prohibited in C ?

Partial Specialization of Function Templates: Why Not?

It is well-known that the C language specification prohibits partial specialization of function templates. This decision has puzzled many developers, who question its usefulness and rationale.

The language specification prohibits partial specialization of function templates because of an oversight. The flexibility offered by partial specialization can be achieved through alternative techniques, such as defining the function as a static member of a class.

For example, consider the following code:

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!</t></typename></char></typename></int></typename>

While partial specialization of f is not permitted, we can achieve a similar effect by defining the function as a static member of a class:

void say( char const s[] ) { std::cout 
    struct F {
        static void impl() { say( "1. primary template" ); }
    };

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

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

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

template
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
}</double></char></int></char></t></t></char></int></int>

This code behaves similarly to partial specialization of function templates, providing a mechanism to define specialized implementations for specific argument combinations.

The above is the detailed content of Why are Partial Specializations of Function Templates Prohibited in C ?. For more information, please follow other related articles on the PHP Chinese website!