Herencia y tipos ● Cuanta memoria se debe asignar a un objeto cuando se asigna en la pila ● La asignación debe hacerse antes de que se conozca la cantida de memoria a asignar ● Posibles soluciones: – Asignar la cantidad de memoria necesaria sólo para la clase base (C++) – Asignar la cantidad de memoria máxima para cualquier valor legal (difícil de implementar) – Asignar sólo la memoria para tener un apuntador y asignar el espacio neceario en el montículo en tiempo de ejecución (C++, Java, Object Pascal, Smalltalk, otros)

Herencia y tipos En C++ ● Si el objeto se asigna en memoria dinámica se determina en tiempo de ejecución la cantidad de memoria requerida por la clase ● Si la variable se asigna en la pila se asigna sólo la cantidad de memoria necesaria para la clase base (estáticamente) ● Cuando se invoca un método se usa enlace estático (se ejecutan solo los métodos declarados en la clase base)

Herencia y tipos ● Ejemplo class Ventana { int altura; int ancho;... public: virtual void oops(); }; class VentanaDeTexto : public Ventana { char *indice; int ubicacionCursor; public: virtual void oops(); } Ventana X; Ventana *Y; Y = new VentanaDeTexto; X = *Y// el objeto *Y es truncado

Herencia y tipos En Java (Object pascal, smalltalk) ● Los objetos siempre son asignados en memoria dinámica en tiempo de ejecución ● Al declarar una variable dentro de un método en la pila solo se guarda la referencia del objeto

Asignación e igualdad Asignación ● Semántica de copia. ● Semántica de apuntadores.

Asignación e igualdad Asignación en C++ ● El comportamiento por defecto en C++ es copiar cada miembro del objeto ● Es posible hacer sobrecarga del operador = ● En este caso el programador determina lo que ocurrirá cuando se asigna un objeto a otro ● No se debe confundir la asignación con la inicialización (constructores de copia)

Asignación e igualdad Asignación en Java ● El operador = usa semántica de apuntadores ● El método clone() se puede usar para producir una copia del objeto ● Propósito general de clone() – x.clone() != x – x.clone().getClass() == x.getClass() ● Estos no son requerimientos absolutos ● El método clone() definido en la clase objeto – Requiere que la clase del objeto implemente la interfaz clonable – Realiza una copia poco profunda (shalow copy)

Asignación e igualdad Igualdad ● Identidad ● Igualdad de valores

Asignación e igualdad ● Igualdad en C++ – No está definida para objetos – Se puede sobrecargar el operador ==

Asignación e igualdad Igualdad en Java ● El operador == utiliza semántica de punteros (identidad) ● El método equals definido en la clase objeto permite determinar la igualdad de dos objetos. ● Al redefinir equals se debe cumplir con lo siguiente – Es reflexivo: para cualquier referencia x, x.equals(x) debe devolver true. – Es simétrico: para dos referencias x, y, x.equals(y) debe devolver true si y solo si y.equals(x) devuelve true. – Es transitiva: para cualesquiera referencias x, y, z, si x.equals(y) devuelve true y y.equals(z) devuelve true, x.equals(z) debe devolver true. – Es consistente: para cualquier referencia x and y, múltiples invocaciones de x.equals(y) consistentemente devuelven true or consistentemente devuelven false. – Para cualquier referencia no-nula x, x.equals(null) devuelve false.

Acoplamiento y cohesión ● Conceptos introducidos para evaluar el uso efectivo de módulos ● Acoplamiento: se refiere al grado de interconexión entre módulos ● Cohesión: se refiere a que tan integrados están los componentes de un módulo ● Estos conceptos pueden ser extendidos a clases

Acoplamiento y cohesión Tipos de acoplamiento ● Acoplamiento interno de datos. Se hace acceso directo a variables de un módulo (o clase). ● Acoplamiento global de datos. Dos o más módulos acceden a variables globales comunes. ● Acoplamiento de control o de secuencia. Ciertos métodos deben ser ejecutados en un orden predeterminado ● Acoplamiento de parámetros. Inevitable. ● Acoplamiento de clases (herencia).

Acoplamiento y cohesión Cohesión ● Cohesión coincidente. Los elementos se agrupan sin razón aparente. ● Cohesión lógica. La conexión es a nivel conceptual. No se manipulan datos comunes. ● Cohesión temporal. Los procedimientos se agrupan porque todos deben ejecutarse en un momento determinado (ej. inicialización). ● Cohesión de comunicación. Acceso común a dispositivos de entrada/salida. ● Cohesión secuencial. Los elementos del módulo se juntan porque deben ser ejecutados en cierto orden

Acoplamiento y cohesión ● Cohesión funcional. Todos los elementos se unen para ejecutar una función única. ● Cohesión de datos. Un módulo define internamente un conjunto de valores datos y exporta rutinas que manipulan dicha estructura de datos.