C ++ 0xで変更されたAFAIK。
これは単なる見落としだったと思います(関数をstatic
クラスのメンバーとして配置することで、より詳細なコードで部分的な特殊化効果を常に得ることができることを考慮して)。
関連するDR(欠陥レポート)がある場合は、それを調べることができます。
編集:これをチェックすると、他の人もそれを信じていることがわかりますが、ドラフト標準でそのようなサポートを見つけることができる人は誰もいません。このSOスレッドは、関数テンプレートの部分的な特殊化がC ++ 0xでサポートされていないことを示しているようです。
編集2:「関数をstatic
クラスのメンバーとして配置する」という意味のほんの一例:
#include <iostream>
using namespace std;
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" ); }
};
}
template< class T, class U >
void f() { detail::F<T, U>::impl(); }
int main() {
f<char const*, double>();
f<int, char>();
f<char, double>();
f<double, int>();
}
template<typename T, typename U> void f(T t, U u) {}
もtemplate<> void f(int t, char u) {}
許可されています。