Spécialisation partielle du modèle C++

Question

Je n'arrive pas à comprendre comment spécialiser partiellement ce modèle. compilateur se plaint que le paramètre de modèle N est pas utilisé dans la spécialisation partielle

#include <boost/multi_array.hpp> 

template<typename T, class A> 
struct adaptable; 

template<typename T, size_t N> 
struct adaptable<T, 
       // line below is the problem 
       typename boost::multi_array<T,N>::template array_view<2>::type> 
{ 
    typedef typename boost::multi_array<T,N>::template array_view<2>::type type; 
}; 

Je peux ajouter le paramètre de modèle factice juste pour faire taire le compilateur.

template<typename T, class A, class A0 = A> 
struct adaptable; 

template<typename T, size_t N> 
struct adaptable<T, 
       typename boost::multi_array<T,N>::template array_view<2>::type, 
       boost::multi_array<T,N> > 
{ 
    typedef typename boost::multi_array<T,N>::template array_view<2>::type type; 
}; 

est-il plus simple?

Answer 1

Je ne vois rien dans votre exemple qui ressemble à une spécialisation partielle. Une spécialisation partielle est une spécialisation qui spécifie des types exacts pour certains si les paramètres du modèle de base, mais laisse les autres ouverts. Par exemple:

template <class T, class U> 
struct my_template {  
    // the base template where both T and U are generic 
}; 

template <class T> 
struct my_template<int> { 
    // A partial specialization where T is still generic, but U == int 
}; 

Pour soutenir la spécialisation partielle, le modèle de base doit avoir au moins deux paramètres de modèle (voir le numéro N). Le modèle partiellement spécialisé peut avoir des paramètres de modèle 1.N-1. La spécialisation partielle doit être située à l'endroit où le compilateur aura déjà "vu" le modèle de base avant de tenter de compiler la spécialisation partielle. La spécialisation partielle est écrite comme un modèle complètement séparé du modèle de base (bien que le modèle de base et toutes les spécialisations doivent avoir le même nom, bien sûr).