Multiherencia

Multiherencia, conocida en inglés como multiple inheritance, es un mecanismo de muchos lenguajes de programación orientados a objetos que permite que una clase derive de más de una clase base. Este modelo amplía el concepto de herencia simple, donde una subclase hereda los atributos y métodos de una sola superclase, al permitir la combinación de comportamientos y propiedades de varias superclases en una única clase derivada.

El origen de la multiherencia se remonta a los primeros sistemas de programación orientada a objetos, como Simula y Smalltalk. Algunos lenguajes de su época, como C++ y Eiffel, adoptaron la multiherencia como característica central, mientras que otros, como Java y C#, han evitado su implementación directa para simplificar el modelo de clases y la gestión del diccionario de tipos. En los lenguajes que la soporte, el orden de la herencia y la resolución de nombres son críticos; por ello, la mayoría define reglas de resolución de ambigüedad, como la regla de la "mecanografía de C3" en Python, que garantiza un orden determinista de los métodos.

La multiherencia se emplea cuando una subclase necesita combinar funcionalidades que son independientes pero complementarias, por ejemplo, una clase que actúa tanto como ventana GUI como objeto de reproducción de audio. Sin embargo, introduce complejidad llamada el “diamante de la herencia”, donde se puede producir duplicación de miembros y ambiguos métodos. Los lenguajes que la incluyen ofrecen estrategias de resolución de ambiguidades, como el método de resolución de múltiplos caminos, y también permiten la sobrecarga de métodos y el uso de mixins para evitar el diamante.

A pesar de sus ventajas, muchos diseñadores de lenguajes lo evitan porque dificulta el análisis de la jerarquía de tipos, la verificación de tipos y la optimización del código. Por ello, lenguajes modernos suelen prestar la herencia simple y los interfaces (o prototipos) como alternativas más predecibles, aunque la multiherencia sigue manteniendo su lugar en entornos donde la flexibilidad de composición de comportamientos es esencial.