関数テンプレートの部分特殊化が 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 の部分的な特殊化は許可されていません。関数を静的メンバーとして定義することで同様の効果を達成できます。 class:

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 中国語 Web サイトの他の関連記事を参照してください。