c ++ spécialisation de fonctions membres d'une classe qui a un modèle en tant que paramètre
-
28-09-2019 - |
Question
Je travaille sur un modèle de classe Array, qui accepte un autre modèle TRAITS comme paramètre.
template <typename BASE, typename STRUCT>
class Traits {
public:
typedef BASE BaseType;
typedef STRUCT Struct;
// .. More here
};
template <class TRAITS>
class Array {
public:
typedef TRAITS Traits;
typedef typename Traits::BaseType BaseType;
typedef typename Traits::Struct Struct;
Struct& operator[](size_t i)
{
// access proper member
}
// More here...
};
Je voulais spécialiser l'opérateur [] de tableau sur la base :: Struct caractères, mais je suis coincé avec la syntaxe. Je ne suis pas sûr que ce soit possible du tout.
template <typename B>
typename Array<Traits<B, RuntimeDefined>>::Struct&
Array<Traits<B, RuntimeDefined>>::operator[](size_t a_index)
{
// Access proper member differently
}
Compilateur (g ++ 4.4) se plaint:
In file included from array.cpp:8:
array.h:346: error: invalid use of incomplete type ‘class Array<Traits<N, RuntimeDefined> >’
array.h:26: error: declaration of ‘class Array<Traits<N, isig::RuntimeDefined> >’
EDIT.
La solution est basée sur la proposition de aaa et il ressemble à ceci:
Struct& operator[](size_t i)
{
return OperatorAt(i, m_traits);
}
template <typename B, typename S>
inline Struct& OperatorAt(size_t i, const Traits<B, S>&)
{
// return element at i
}
template <typename B>
inline Struct& OperatorAt(size_t i, const Traits<B, RuntimeDefined>&)
{
// partial specialisation
// return element at in a different way
}
La solution
si je sais bien, il fallait se spécialiser classe. au lieu de le faire, je crée des fonctions spécialisées paramétrées pour la classe particulière:
Par exemple:
Struct& operator[](size_t i)
{
return operator_(i, boost::type<TRAITS>());
}
private:
template<class B>
Struct& operator_(size_t i, boost::type<B>); // generic
Struct& operator_(size_t i, boost::type<A>); // specialized
si vous avez besoin de plus de contrôle à grain fin, vous pouvez utiliser les fonctions libres, boost :: enable_if, boost :: etc mpl.
Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow