La especialización de plantilla anidada resulta en "Uso ilegal de argumentos de plantilla explícitos"?

Question

¿Cómo especializo una plantilla anidada? (Consulte el error a continuación.)

using std::reverse_iterator; 

template<typename It> 
reverse_iterator<It> make_reverse_iterator(const It &it) 
{ 
    return reverse_iterator<It>(it); 
} 

template<typename It> 
It make_reverse_iterator<reverse_iterator<It> >(const reverse_iterator<It> &it) 
{ 
    // Above     ^
    // error C2768: 
    // 'make_reverse_iterator': illegal use of explicit template arguments 
    return it.base(); 
} 

Answer 1

Esta es una especialización parcial de una plantilla de función. Esto no esta permitido.

Usted puede resolver el problema en este ejemplo con una sobrecarga en su lugar:

template<typename It> 
It make_reverse_iterator(const reverse_iterator<It> &it) 
{ 
    return it.base(); 
} 

En los casos en que las sobrecargas no funcionan se puede recurrir a la especialización parcial de plantillas de clase.

Answer 2

Esto es partial function template specialization, lo cual no está permitido. Sin embargo, puede lograr el mismo efecto por la sobrecarga de la función:

template<typename It> 
It make_reverse_iterator(const reverse_iterator<It> &it) 
{ 
    return it.base(); 
} 

Lo anterior no es una especialización de plantilla, pero una sobrecarga de la plantilla de make_reverse_iterator donde el parámetro es un const_reverse_iterator<It>.