C++ coulée de modèle sur les classes dérivées

Question

je 3 classe qui dérive de l'autre:

class Basic{ 
... 
} 

class Extended : public Basic{ 
... 
} 

class Full : public Extended{ 
... 
} 

J'ai une classe de modèle qui détient 5-5 de cette classe:

template <class T> 
    class group{ 
    public: 
      ... 
    private: 
     T one, two, three, four, five; 
    }; 

group<Basic> basicGroup; 
group<Extended> extendedGroup; 
group<Full> fullGroup; 

Puis-je facilement transtyper par exemple fullGroup en basicGroup ou extendedGroup en basicGroup? (Je veux juste lancer vers le haut)

Answer 1

Une solution serait de créer une sorte de vue classe qui peut envelopper un groupe, et expose les objets individuels comme des instances de base de classe:

template <class T> 
class group{ 
public: 
    const T & getOne() { return one; } 
private: 
    T one, two, three, four, five; 
}; 

template <class T, U> 
class group_view { 
public: 
    group_view(group<T> & inner) : innerGroup(inner) {} 

    const U & getOne() { return dynamic_cast< const U &>(one); } 
private: 
    group<T> & innerGroup; 
}; 

Vous pouvez l'utiliser comme ceci:

group<Full> fullGroup; 
group_view<Full, Extended> extendedGroupView(fullGroup); 

Si vous extrayez l'interface publique de group dans une classe de base abstraite, vous pouvez même utiliser group_view de la polymorphically.

Answer 2

Un modèle de classe avec un paramètre différent est considéré par le système de type C++ comme un type entièrement différent. Ainsi, un group<Basic> n'est pas du même type qu'un group<Extended>, et vous ne pouvez pas effectuer de cast entre ces deux types en toute sécurité.

Vous pouvez uniquement extruder vers le haut sur des instances individuelles de Full ou Extended.

Answer 3

Vous ne pouvez pas directement convertir des groupes de ce type. Ce que vous devez faire est soit

1. faire une classe de groupe générique avec One-cinq étant pointeurs à base
2. Faire FullGroup tirer de ExtendedGroup, qui découlerait de basicGroup.

Answer 4

Vous ne pouvez pas convertir un conteneur d'un type en conteneur d'un autre type. Et dans ce cas, le groupe est essentiellement un conteneur ...

Vous devez copier un à un les éléments.

Answer 5

Non, ces trois types ne sont pas liés, vous ne pouvez pas les convertir.

Un bon exemple pour comprendre pourquoi est: imaginez que vous avez un std::list<Dog>, où Dog hérite de Animal. Vous pouvez chose il est naturel de considérer que le std::list<Dog> peut être moulé dans un std::list<Animal>; mais qu'arriverait-il avec ce code?

std::list<Dog> dogList; 
// ... fill dogList as appropriate 
std::list<Animal> animalList = dogList; // Should this be legal? 
Animal aml = animalList.get(); // Fine; you get a Dog, which is an Animal 
animalList.insert(Cat()); // Aww: you are trying to add a Cat to a Dog list! 

Answer 6

La plupart du temps, vous ne voulez pas de distribution dynamique et ne vous souciez pas du type que vous avez en dessous. Vous avez une opération que vous voulez effectuer de manière polymorphique sur votre classe de base et vous l'appelez simplement. Notez toutefois que votre modèle de groupe contient des instances de la classe, et non des pointeurs/pointeurs partagés. Ainsi vous ne pouvez pas ajouter un Full ou un Extended à un groupe d'une classe inférieure sans le découper.