¿Para qué fines puede utilizarse la herencia virtual en C++?

La herencia virtual en C++ se utiliza principalmente para resolver el problema de la herencia en diamante, cuando una clase base se hereda varias veces a través de varias clases intermedias.

Sin herencia virtual, en ese caso, el objeto de la clase final contendrá varios subobjetos de la clase base, lo que conduce a ambigüedades y errores al acceder a los miembros de la clase base.

Con herencia virtual, independientemente de cuántas veces aparezca la clase base en la jerarquía de herencia, solo existirá un subobjeto de la clase base en el objeto final.

Ejemplo:

class Animal { // Clase base
public:
    void eat() { /* ... */ }
};

class Mammal : public Animal { // Clase intermedia 1
public:
    void walk() { /* ... */ }
};

class Bird : public Animal { // Clase intermedia 2
public:
    void fly() { /* ... */ }
};

// La clase Murciélago hereda tanto de Mammal como de Bird.
// Sin herencia virtual, Animal se incluirá dos veces.
// class Bat : public Mammal, public Bird { /* ... */ };

// Con herencia virtual, Animal se incluirá solo una vez.
class Bat : public virtual Mammal, public virtual Bird {
public:
    // No habrá ambigüedad para acceder a eat()
};

Objetivos clave:

• Resolver el problema de herencia en diamante: Prevenir la inclusión múltiple de la misma clase base en el objeto final.
• Garantizar una única instancia de la clase base: Asegurar que en el objeto exista solo un subobjeto de la clase base heredada virtualmente.
• Evitar ambigüedades: Eliminar la ambigüedad al acceder a los miembros de la clase base heredada virtualmente a través de la clase derivada.

La herencia virtual puede implicar ciertos costos de rendimiento y complicar la estructura de los objetos, por lo que su uso debe ser considerado y justificado.