Discussion :

[jesse100]

J'ai une question sur la classe de base virtuelle alors qu'après avoir lu cet article Une classe de base virtuelle est présentée pour surmonter le "redouté diamant de la mort" / problème d'ambiguïté dans l'héritage multiple.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
class A { public: void Foo() {} };
class B : public virtual A {};
class C : public virtual A {};
class D : public B, public C {};

Que se passe-t-il lorsqu'un mot-clé virtual n'est pas utilisé dans la déclaration de classe C. Pourriez-vous s'il vous plaît m'expliquer en détail?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
class A { public: void Foo() {} };
class B : public virtual A {};
class C : public A {};
class D : public B, public C {};

[bacelar]

Si l'héritage n'est pas virtuel, la classe D aura 2 fois les champs de A, les uns étant les champs hérités de B et les autres héritant de C.
Quand vous indiquez un champ hérité de A, sans spécifié si c'est celui de B ou celui de C, je crois que c'est celui correspondant au premier parant, je crois.
Mais c'est une peau de banane, c'est pour cela qu'il faut éviter les héritages en diamant, ou, sinon, qu'il soit sémantiquement équivalent à un seul jeu de champ hérité donc en spécifiant "virtual" pour l'héritage.

[Pierre le Grand]

C++ ne choisi pas la première, la construction étant ambiguë, elle ne compile pas.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include <iostream>
 
using namespace std;
 
 
 
 
class A { public: int X; };
class B : virtual public A {};
class C : public A {};
class D : public B, public C {};
 
int main()
{
    D InstanceDeD;
    //InstanceDeD.X=0;//Ne compile pas car il y a a ambiguïté : il y a deux X : B::X et C::X
    InstanceDeD.B::X=-570;
    InstanceDeD.C::X=100;
 
    cout << InstanceDeD.B::X << endl;
    cout << InstanceDeD.C::X << endl;
    return 0;

Il existe deux variable X, une dans la classe B, dont le nom est B::X et une autre, complètement indépendante, dans la classe C dont le nom est C::X. InstanceDeD.X=0; ne compile pas, par ce que le compilateur ignore dans lequel des deux X il doit affecter la valeur 0.

Le cout démontre que les deux variables sont indépendantes en écrivant « 570 » et « 100 ».

Il existe une autre source d’ambiguïté avec ce type d'héritage lorsque les classes B et C déclarent des variables du même nom.

[dalfab]

Salut,

virtual pour un héritage permet d'indiquer que la base est partageable. La structure interne de l'objet est plus complexe qu'habituellement pour permettre cela. Si la base X est vue partageable d'un côté et non partageable de l'autre, une des 2 n'est pas partageable et tu as alors 2 X distincts.

Et en français on parle d'héritage en losange; dans "diamond inheritance", le mot "diamond" correspond au carreau des cartes. Ca s'identifie au dessin représentant les héritages dans ce cas. Le terme français losange a du sens, pas le terme diamant.