為什麼 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中文網其他相關文章！