Clasificación Estática
ext(C0) = ? ext(Ci) ? completa ext(Ci) ? ext(Cj) = ? ? disjunta Generalización C0 C1 Cn { static }
Clasificación Dinámica
ext(C0) = ? ext(Ci) ? completa extt(Ci) ? extt(Cj) = ? ? disjunta en t
extt1(Ci) ? extt2(Cj) ? ? ? posiblemente no disjunta en diferentes instantes Generalización C0 C1 Cn { dinámica }
Ejemplo: varias especializaciones a partir de la misma clase padre, usando discriminadores:
Generalización Vehículo Aéreo Avión Helicóptero Comercial Militar estructura uso
Clasificación Múltiple (herencia múltiple) Se presenta cuando una subclase tiene más de una superclase
La herencia múltiple debe manejarse con precaución. Algunos problemas son el conflicto de nombre y el conflicto de precedencia
Se recomienda un uso restringido y disciplinado de la herencia. Java y Ada 95 simplemente no ofrecen herencia múltiple
Herencia Múltiple Uso disciplinado de la herencia múltiple: clasificaciones disjuntas con clases padre en hojas de jerarquías alternativas
Animal Bípedo Cuadrúpedo Con Pelos Con Plumas Con Escamas Herbívoro Carnívoro cubertura cobertura cobertura comida nro patas nro patas comida Conejo
Principio de Sustitución El Principio de Sustitución de Liskow (1987) afirma que:
“Debe ser posible utilizar cualquier objeto instancia de una subclase en el lugar de cualquier objeto instancia de su superclase sin que la semántica del programa escrito en los términos de la superclase se vea afectado.”
Principio de Sustitución Dado que los programadores pueden introducir código en las subclases redefiniendo las operaciones, es posible introducir involuntaria-mente incoherencias que violen el principio de sustitución
El polimorfismo que veremos a continuación no debería implementarse sin este principio
Polimorfismo El término polimorfismo se refiere a que una característica de una clase puede tomar varias formas
El polimorfismo representa en nuestro caso la posibilidad de desencadenar operaciones distintas en respuesta a un mismo mensaje
Cada subclase hereda las operaciones pero tiene la posibilidad de modificar localmente el comportamiento de estas operaciones
Polimorfismo Ejemplo: todo animal duerme, pero cada clase lo hace de forma distinta dormir ? ?
Polimorfismo Dormir() { en un árbol } Dormir() { sobrela espalda } Dormir() { sobre el vientre } Dormir() { } Animal dormir() León dormir() Oso dormir() Tigre dormir()
Polimorfismo La búsqueda automática del código que en cada momento se va a ejecutar es fruto del enlace dinámico
El cumplimiento del Principio de Sustitución permite obtener un comportamiento y diseño coherente
| Página siguiente |