Pourquoi la spécialisation explicite d'une fonction membre en dehors de son espace de noms provoque-t-elle une erreur de compilation C ?

Spécialisation explicite dans une portée non-espace de noms

Dans la classe de modèle CConstraint, une spécialisation explicite de la fonction membre Verify pour int est définie en dehors de l'espace de noms de la classe. Cela provoque une erreur dans g due à une violation des standards C.

Selon C 03 §14.7.3/2, les spécialisations explicites doivent être déclarées dans l'espace de noms dont le modèle est membre ou, pour les membres templates, dans l'espace de noms dont la classe englobante ou le modèle de classe englobante est membre.

Pour résoudre ce problème, la spécialisation explicite de Verify for int doit être déclaré dans l’espace de noms de CConstraint. Ceci peut être réalisé en utilisant le code modifié suivant :

<br>template<typename T><br>class CConstraint<br>{<br>public:</p>
<div class="code" style="position:relative; padding:0px; margin:0px;"><pre class="brush:php;toolbar:false">CConstraint()
{
}

virtual ~CConstraint()
{
}

template <typename TL>
void Verify(int position, int constraints[])
{       
}

template <>
void Verify<int>(int position, int constraints[])
{   
}