[解決済み] なぜ関数テンプレートは部分的に特化できないのか？

質問

言語仕様で禁止されているのは知っていますが パーシャル の特殊化を禁止していることは知っています。

なぜ禁止しているのか、その根拠を知りたいのですが。有用ではないのでしょうか？

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!

どのように解決するのですか？

AFAIK C++0x で変更されました。

単なる見落としだったのでしょう（より冗長なコードで、関数を static のメンバーとして関数を配置することで、より冗長なコードで常に部分的な特殊化の効果を得ることができることを考慮して)。

関連するDR(Defect Report)があれば調べてみるとよいでしょう。

EDIT これを確認すると、他の人もそう思っているようですが、誰もそのようなサポートを標準草案に見つけることができません。 この SO スレッド は、次のことを示しているようです。 関数テンプレートの部分的な特殊化は C++0x ではサポートされていません。 .

EDIT 2 として配置する、というのはどういう意味ですか？ static のメンバーとして関数を配置することです。

#include <iostream>
using namespace std;

// 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!

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
}