Classe de base abstraite casse-tête

Question

Dans ma conception de classe, je suis tombé sur le problème suivant:

class MyData 
{ 
    int foo; 
}; 

class AbstraktA 
{ 
public: 
    virtual void A() = 0; 
}; 

class AbstraktB : public AbstraktA 
{ 
public: 
    virtual void B() = 0; 
}; 

template<class T> 
class ImplA : public AbstraktA 
{ 
public: 
    void A(){ cout << "ImplA A()"; }  
}; 

class ImplB : public ImplA<MyData>, public AbstraktB 
{ 
public: 
    void B(){ cout << "ImplB B()"; } 
}; 

void TestAbstrakt() 
{ 
    AbstraktB *b = (AbstraktB *) new ImplB; 
    b->A(); 
    b->B(); 
}; 

Le problème avec le code ci-dessus est que le compilateur se plaindra AbstraktA :: A() n'est pas défini.

Interface A est partagée par plusieurs objets. Mais l'implémentation de A dépend de l'argument template. L'interface B est vue par le monde extérieur et doit être abstrakt.

La raison pour laquelle je voudrais ceci est que cela me permettra de définir l'objet C comme ceci: Définir C d'interface héritant de abstrakt A. Définir la mise en œuvre de C en utilisant un autre type de données pour le modèle A.

J'espère que je suis clair. Y a-t-il un moyen de le faire, ou dois-je repenser mon design?

Answer 1

Vous avez deux chemins d'héritage de AbstracktA, vous mettre en œuvre AbstraktA :: A() que dans l'un d'eux, de sorte que le compilateur se plaint.

Vous souhaitez probablement hériter virtuellement de AbstraktA dans les deux cas, de sorte qu'il n'y ait qu'un seul objet de base AbstraktA (ajoutez virtual avant AbstraktA).

Answer 2

J'ai oublié d'ajouter aux destructeurs virtuels classes de base. Cela conduit à des erreurs d'exécution malloc je crois.

AbstraktB *b = new ImplB; 
b->A(); 
b->B(); 
delete b; 

En mode débogage, à l'instruction delete, GCC me donne: malloc: *** erreur pour 0x60e2c4 objet: pointeur étant libéré n'a pas été affecté

Je résolu ce problème en changeant les classes de base à :

class AbstraktA 
{ 
public: 
    virtual ~AbstraktA(){}; 
    virtual void A() = 0; 
}; 

class AbstraktB : virtual public AbstraktA 
{ 
public: 
    virtual ~AbstraktB(){}; 
    virtual void B() = 0; 
};