Respuesta.

Historia del tema:

C++ heredó el concepto de herencia de clases del lenguaje C++ y las metodologías orientadas a objetos. La aparición de la herencia múltiple y virtual complicó la estructura de las jerarquías, lo que aumentó la flexibilidad, pero añadió nuevas clases de errores.

Problema:

La herencia directa es una situación en la que una clase hereda directamente de otra sin complicaciones adicionales. La herencia indirecta ocurre cuando los miembros heredados provienen a través de una o varias cadenas intermedias de herencia. La principal dificultad es el "problema del diamante" (diamond problem), en el cual múltiples caminos hacia una misma clase base pueden provocar la duplicación de sus miembros en las clases derivadas.

Solución:

Para manejar la complejidad se utiliza la herencia virtual, que proporciona una única instancia común del miembro de la clase base para toda la jerarquía, en lugar de para cada cadena.

Ejemplo de código:

class A {
public:
    int value;
};

class B : public virtual A {};
class C : public virtual A {};
class D : public B, public C {};

En la clase D habrá solo una instancia del miembro A::value.

Características clave:

La herencia afecta la visibilidad y el ciclo de vida de los miembros de la clase.
La herencia virtual resuelve el problema de la duplicación de la clase base.
La intervención de la herencia virtual afecta el tamaño del objeto y complica la inicialización.

Preguntas capciosas.

¿Puede la herencia virtual causar comportamiento indefinido si no se utiliza en presencia del problema del diamante?

Si en la jerarquía del diamante no se utiliza la herencia virtual, los miembros de la clase base estarán duplicados. Esto puede confundir la lógica del código y llevar a ambigüedades al acceder a los miembros de la clase base.

¿Cuándo no se debe usar la herencia virtual?

Si está seguro de que sus jerarquías no forman una estructura de diamante, o si la clase base no contiene datos, la herencia virtual no es necesaria.

¿Cómo gestionar la llamada a constructores al usar herencia virtual?

El constructor de la clase base virtual se llama solo desde la clase derivada "más baja". No se permite especificar argumentos para la clase base virtual en las clases intermedias (el constructor se llama por defecto si no se inicializa explícitamente en la clase final).

Ejemplo de código:

class A {
public:
    A(int x) { /* ... */ }
};

class B : public virtual A {
public:
    B() : A(0) {} // error: no se puede inicializar A aquí
};

class D : public B {
public:
    D() : A(10), B() {} // correcto
};

Errores típicos y anti-patrones

Ignorar la necesidad de herencia virtual cuando es requerida.
Inicializar la clase base virtual no en la clase "más baja".
Usar herencia virtual sin necesidad

Ejemplo de la vida real

Caso negativo

En un gran proyecto, un desarrollador no notó la aparición de una estructura de diamante: ambas clases intermedias heredaban directamente de una base. El acceso a un miembro de la clase base causaba ambigüedad, y el código era difícil de leer.

Pros:

Implementación rápida.

Contras:

Errores en la etapa de compilación, ambigüedad, duplicación de miembros, difícil de mantener.

Caso positivo

El arquitecto notó el problema de antemano y utilizó herencia virtual para las clases intermedias, y el constructor de la clase base virtual se llamaba correctamente solo desde la clase derivada más baja.