Comment l'héritage virtuel résout l'ambiguïté de l'héritage multiple
Dans la programmation orientée objet, l'héritage multiple permet à une classe dérivée d'hériter de plusieurs classes de base . Cependant, cela peut conduire à une ambiguïté lorsque la classe dérivée hérite de plusieurs méthodes avec la même signature de ses classes de base. C'est ce qu'on appelle le « problème du diamant ».
Considérez le code suivant :
class A { public: void eat() { cout << "A"; } }; class B: virtual public A { public: void eat() { cout << "B"; } }; class C: virtual public A { public: void eat() { cout << "C"; } }; class D: public B, C { public: void eat() { cout << "D"; } }; int main() { A *a = new D(); a->eat(); }
Dans cet exemple, la classe D hérite à la fois de la classe B et de la classe C, qui héritent toutes deux de la classe R. Lorsqu'un objet de type D est créé et affecté à un pointeur de type A, le compilateur doit déterminer quelle implémentation de la méthode eat() appeler. Sans héritage virtuel, cela conduirait à une ambiguïté, car le compilateur ne pourrait pas déterminer le chemin à suivre.
L'héritage virtuel résout cette ambiguïté en créant une seule instance de la classe de base dans la classe dérivée. Dans ce cas, il n’y aurait qu’une seule instance de la classe A dans la classe D, même si elle hérite à la fois de la classe B et de la classe C. Cela signifie qu’il n’y a plus d’ambiguïté lors de l’appel de la méthode eat(), puisqu’il n’y a que une implémentation de la méthode.
La hiérarchie de classes résultante ressemblerait à ceci :
A / \ B C \ / D
Avec l'héritage virtuel, la taille de l'objet de la classe D est augmentée, car elle stocke désormais deux pointeurs de table virtuelle (un pour la classe B et un pour la classe C). Cependant, ce compromis est nécessaire pour résoudre l'ambiguïté qui autrement surviendrait.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!