Herencia múltiple

Los idiomas tienen diferentes maneras de abordar estos problemas de herencia repetida.

• C# (desde C# 8.0) permite la implementación predeterminada de métodos de interfaz, lo que provoca que una clase A, que implementa interfaces Iay Ibtiene métodos similares con implementaciones predeterminadas, tenga dos métodos "heredados" con la misma firma, causando el problema del diamante. Esto se mitiga exigiendo Aque se implemente el método en sí, eliminando así la ambigüedad, o forzando al llamador a convertir primero el Aobjeto a la interfaz apropiada para usar su implementación predeterminada de ese método (por ejemplo ((Ia) aInstance).Method();).
• C++ por defecto sigue cada ruta de herencia por separado. Por lo tanto, dado el problema del diamante, un Dobjeto en realidad contendría dos Aobjetos separados, y los usos de Alos miembros de deben estar debidamente calificados. Si la herencia de Aa By la herencia de Aa Cestán ambas marcadas " virtual" (por ejemplo, " "), C++ se asegura de crear solo un objeto, y los usos de los miembros de funcionan correctamente. Si se mezclan la herencia virtual y la herencia no virtual, hay un único virtual y un no virtual para cada ruta de herencia no virtual a . C++ requiere indicar explícitamente de qué clase padre se invoca la característica que se va a usar, es decir, . C++ no admite la herencia repetida explícita ya que no habría forma de calificar qué superclase usar (es decir, que una clase aparezca más de una vez en una sola lista de derivación [ ]). C++ también permite que se cree una única instancia de la clase múltiple a través del mecanismo de herencia virtual (es decir, y harán referencia al mismo objeto).class B : virtual public AAAAAAWorker::Human.ageclass Dog : public Animal, AnimalWorker::HumanMusician::Human
• Common Lisp CLOS intenta proporcionar tanto un comportamiento predeterminado razonable como la capacidad de anularlo. Por defecto, en pocas palabras, los métodos se ordenan en D,B,C,A, cuando B se escribe antes que C en la definición de la clase. Se elige el método con las clases de argumento más específicas (D>(B,C)>A)  ; luego en el orden en que se nombran las clases padre en la definición de la subclase (B>C). Sin embargo, el programador puede anular esto, proporcionando un orden de resolución de métodos específico o estableciendo una regla para combinar métodos. Esto se denomina combinación de métodos, que puede controlarse completamente. El protocolo MOP ( protocolo de metaobjetos ) también proporciona medios para modificar la herencia, el despacho dinámico , la instanciación de clases y otros mecanismos internos sin afectar la estabilidad del sistema.
• Curl solo permite la herencia repetida de clases marcadas explícitamente como compartidas . Las clases compartidas deben definir un constructor secundario para cada constructor regular de la clase. El constructor regular se llama la primera vez que se inicializa el estado de la clase compartida mediante un constructor de subclase, y el constructor secundario se invocará para todas las demás subclases.
• En Eiffel , las características de los ancestros se eligen explícitamente con las directivas `select` y `rename`. Esto permite que las características de la clase base se compartan entre sus descendientes o que cada uno de ellos tenga una copia independiente de la clase base. Eiffel permite unir o separar explícitamente las características heredadas de las clases ancestro. Eiffel unirá automáticamente las características si tienen el mismo nombre e implementación. El autor de la clase tiene la opción de renombrar las características heredadas para separarlas. La herencia múltiple es frecuente en el desarrollo de Eiffel; la mayoría de las clases efectivas en la biblioteca EiffelBase, ampliamente utilizada para estructuras de datos y algoritmos, por ejemplo, tienen dos o más padres. ^{[ 7 ]}
• Go evita el problema del diamante en tiempo de compilación . Si una estructura Dincrusta dos estructuras By Cque ambas tienen un método F(), satisfaciendo así una interfaz A, el compilador se quejará de un "selector ambiguo" si D.F()se llama a , o si se asigna una instancia de Da una variable de tipo A. Los métodos Bde y Cse pueden llamar explícitamente con D.B.F()o D.C.F().
• Java 8 introduce métodos predeterminados en las interfaces. Si A, By Cson interfaces, By Cpueden proporcionar cada una una implementación diferente para un método abstracto de A, causando el problema del diamante. Cualquiera de las clases Ddebe reimplementar el método (cuyo cuerpo puede simplemente reenviar la llamada a una de las implementaciones de super), o la ambigüedad será rechazada como un error de compilación. ^{[ 8 ]} Antes de Java 8, Java no estaba sujeto al riesgo del problema del diamante, porque los métodos predeterminados de las interfaces no estaban disponibles. Todas las versiones de Java hasta la versión 26 más reciente no admiten la herencia múltiple directamente: una clase solo puede extender una única clase, pero puede implementar múltiples interfaces con métodos predeterminados.
• JavaFX Script en la versión 1.2 permite la herencia múltiple mediante el uso de mixins . En caso de conflicto, el compilador prohíbe el uso directo de la variable o función ambigua. Aún se puede acceder a cada miembro heredado convirtiendo el objeto al mixin de interés, por ejemplo (individual as Person).printInfo();.
• Kotlin permite la herencia múltiple de interfaces; sin embargo, en un escenario de problema de diamante, la clase hija debe sobrescribir el método que causa el conflicto de herencia y especificar qué implementación de la clase padre debe usarse. Por ejemplo: super<ChosenParentInterface>.someMethod()
• Logtalk admite la herencia múltiple tanto de interfaz como de implementación, lo que permite la declaración de alias de métodos que proporcionan tanto el cambio de nombre como el acceso a métodos que quedarían ocultos por el mecanismo de resolución de conflictos predeterminado.
• En OCaml , las clases padre se especifican individualmente en el cuerpo de la definición de clase. Los métodos (y atributos) se heredan en el mismo orden, y cada método heredado sobrescribe los métodos existentes. OCaml elige la última definición coincidente de una lista de herencia de clases para determinar qué implementación de método usar en caso de ambigüedad. Para anular el comportamiento predeterminado, basta con calificar la llamada al método con la definición de clase deseada.
• Perl utiliza la lista de clases de las que heredar como una lista ordenada. El compilador utiliza el primer método que encuentra mediante una búsqueda en profundidad en la lista de superclases o utilizando la linealización C3 de la jerarquía de clases. Varias extensiones proporcionan esquemas alternativos de composición de clases. El orden de herencia afecta a la semántica de la clase. En la ambigüedad anterior, la clase By sus ancestros se comprobarían antes que la clase Cy sus ancestros, por lo que el método en Ase heredaría a través de B. Esto se comparte con Io y Picolisp . En Perl, este comportamiento se puede anular utilizando mrou otros módulos para utilizar la linealización C3 u otros algoritmos. ^{[ 9 ]}
• Python tiene la misma estructura que Perl, pero, a diferencia de Perl, la incluye en la sintaxis del lenguaje. El orden de herencia afecta la semántica de la clase. Python tuvo que lidiar con esto tras la introducción de las clases de nuevo estilo, todas las cuales tienen un ancestro común, object. Python crea una lista de clases utilizando el algoritmo de linealización C3 (o Orden de Resolución de Métodos (MRO)). Ese algoritmo impone dos restricciones: los hijos preceden a sus padres y, si una clase hereda de varias clases, se mantienen en el orden especificado en la tupla de clases base (sin embargo, en este caso, algunas clases altas en el grafo de herencia pueden preceder a clases más bajas en el grafo ^{[ 10 ]} ). Por lo tanto, el orden de resolución de métodos es: D, B, C, A. ^{[ 11 ]}
• Las clases Ruby tienen un único padre, pero pueden heredar de varios módulos; las definiciones de clase Ruby se ejecutan, y la (re)definición de un método oculta cualquier definición previa existente en el momento de la ejecución. En ausencia de metaprogramación en tiempo de ejecución, esto tiene aproximadamente la misma semántica que la resolución en profundidad hacia la derecha.
• Scala permite la instanciación múltiple de traits , lo que permite la herencia múltiple al agregar una distinción entre la jerarquía de clases y la jerarquía de traits. Una clase solo puede heredar de una única clase, pero puede mezclar tantos traits como desee. Scala resuelve los nombres de los métodos usando una búsqueda en profundidad primero a la derecha de los 'traits' extendidos, antes de eliminar todas las ocurrencias de cada módulo excepto la última en la lista resultante. Por lo tanto, el orden de resolución es: [ D, C, A, B, A], que se reduce a [ D, C, B, A].
• Tcl permite múltiples clases padre; el orden de especificación en la declaración de clase afecta la resolución de nombres para los miembros que utilizan el algoritmo de linealización C3 . ^{[ 12 ]}

Los lenguajes que permiten solo herencia simple , donde una clase solo puede derivar de una clase base, no tienen el problema del diamante. La razón es que dichos lenguajes tienen como máximo una implementación de cualquier método en cualquier nivel de la cadena de herencia, independientemente de la repetición o ubicación de los métodos. Normalmente, estos lenguajes permiten que las clases implementen múltiples protocolos , llamados interfaces en Java. Estos protocolos definen métodos pero no proporcionan implementaciones concretas. Esta estrategia ha sido utilizada por ActionScript , C# , D , Java , Nemerle , Object Pascal , Objective-C , Smalltalk , Swift y PHP . ^{[ 13 ]} Todos estos lenguajes permiten que las clases implementen múltiples protocolos.

Además, Ada , C#, Java, Object Pascal, Objective-C, Swift y PHP permiten la herencia múltiple de interfaces (llamadas protocolos en Objective-C y Swift). Las interfaces son como clases base abstractas que especifican firmas de métodos sin implementar ningún comportamiento. (Las interfaces "puras", como las de Java hasta la versión 7, no permiten ninguna implementación ni datos de instancia en la interfaz). Sin embargo, incluso cuando varias interfaces declaran la misma firma de método, tan pronto como ese método se implementa (define) en cualquier punto de la cadena de herencia, sobrescribe cualquier implementación de ese método en la cadena superior (en sus superclases). Por lo tanto, en cualquier nivel dado de la cadena de herencia, puede haber como máximo una implementación de cualquier método. Así, la implementación de métodos de herencia simple no presenta el problema del diamante, incluso con la herencia múltiple de interfaces. Con la introducción de la implementación predeterminada para interfaces en Java 8 y C# 8, todavía es posible generar un problema del diamante, aunque esto solo aparecerá como un error de compilación.