VS2010 code C++ membre erreur de spécialisation fonction modèle

Question

je donne les résultats suivants (réduit), qui a travaillé dans VC2005, mais ne fonctionne plus en 2010.

template <typename TDataType> 
class TSpecWrapper 
    { 
    public: 
    typedef typename TDataType::parent_type index_type; 


    public: 

    template <bool THasTriangles> 
    void Spec(index_type& io_index) 
     { std::cout << "False version" << std::endl; } 

    template <> 
    void Spec<true>(index_type& io_index) 
     { std::cout << "True version" << std::endl; } 
    }; 

Il semble que lorsque « index_type » est un type dépendant, Je reçois toujours un C2770: erreur de modèle explicite non valide (s) sur la spécialisation. Notez que ce code est en fait suffisant pour générer l'erreur - une main vide est suffisante pour le compiler, le modèle n'a même pas besoin d'être instancié.

Cela fonctionne très bien si index_type n'est pas un type dépendant. Des idées pour lesquelles il en est ainsi dans VC2010, si c'est un comportement standard ou un bug, et si je peux contourner cela?

Answer 1

Solution

template <bool v> struct Bool2Type { static const bool value = v; }; 

template <typename TDataType> 
class TSpecWrapper 
{ 
public: 
    typedef typename TDataType::parent_type index_type; 


public: 
    template <bool THasTriangles> 
    void Spec(index_type& io_index) 
    { 
     return SpecHelp(io_index, Bool2Type<THasTriangles>()); 
    } 

private: 
    void SpecHelp(index_type& io_index, Bool2Type<false>) 
    { std::cout << "False version" << std::endl; } 

    void SpecHelp(index_type& io_index, Bool2Type<true>) 
    { std::cout << "True version" << std::endl; } 

}; 

Answer 2

C'est selon C++ standard 14.7.3/18:

Dans une déclaration de spécialisation explicite pour un membre d'un modèle de classe ou un modèle de membre qui apparaît portée d'espace de noms, le modèle de membre et certains de ses modèles de classe englobante peut rester non spécialisé, sauf que la déclaration ne doit pas explicitement spécialiser un modèle de membre de classe si ses modèles de classe englobante ne sont pas explicitement spécialisés ainsi. < ...>

Il est interdit de se spécialiser Spec sans se spécialiser TDataType.