AFAIK que mudou em C ++ 0x.
Acho que foi apenas um descuido (considerando que você sempre pode obter o efeito de especialização parcial com um código mais detalhado, colocando a função como um static
membro de uma classe).
Você pode consultar o DR (Relatório de Defeito) relevante, se houver.
EDIT : verificando isso, descobri que outros também acreditaram nisso, mas ninguém é capaz de encontrar tal suporte no projeto de norma. Este encadeamento SO parece indicar que a especialização parcial de modelos de função não é compatível com C ++ 0x .
EDIT 2 : apenas um exemplo do que quero dizer com "colocar a função como um static
membro de uma classe":
#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) {}
tambémtemplate<> void f(int t, char u) {}
é permitido.