Herencia y búsqueda de métodos en Smalltalk

Transcripción

1 Herencia y búsqueda de métodos en Smalltalk Animal Pajaro Mamifero Loro Pinguino Perro Ballena Ballena new decialgo Ballena new decialgo Mamifero new decialgo New crea una nueva ballena. Smalltalk responde no tengo nada para decir Buscamos el método decialgo en Ballena Buscamos el método decialgo en Mamífero Buscamos el método decialgo en Animal. Ahí está la implementación Ahora queremos que las ballenas hablen apropiadamente, sobrescribimos decialgo en Ballena Reponde Libérenme!! Responde No tengo nada para decir decialgo devuelve por defecto la instancia del objeto receptor. Modifiquemos decialgo para que además de mostrar por el Transcript lo que dice el mamífero, también devuelva el String. Búsqueda de métodos: Smalltalk ejecuta el primer método con el selector correspondiente que encuentra en la jerarquía, empezando desde la clase a la cual pertenece el objeto. Inicializacion de instancias Ejemplos: Time, Date y Point metodos new y new: t := Time new. t hours t hours: 13 minutes: 10 seconds:55. t shortprintstring. Time now shortprintstring. Como habíamos visto el new es un selector de clase, que crea objetos de esa clase. Por ejemplo el new de Time crea un time vacío. Devuelve nil, porque no lo instancié con ninguna hora en particular. '1:10:55 pm' Si queremos el Time actual Lo mismo ocurre con Date Ejercicio: Agregar una clase Humano que diga Mi nombre es (super) Hacer que Humano diga lo que dicen los animales, mas Mi nombre es...

2 super altera el orden en que se búscan los métodos, comenzando a buscar por la superclase en donde está definido el método que contiene super. KindOf y MemberOf: Predecir el resultado iglu de mijo class String Pinguino new class superclass Pajaro Pinguino superclass superclass Animal String allinstances size 4629 p := Pinguino new. p iskindof: Animal p ismemberof: Animal false p ismemberof: Pinguino equivalente a: p class == Pinguino p respondsto: #decialgo p respondsto: #vola false Pinguino allinstances size 1 iskindof: dice si un objeto es instancia de la clase o alguna subclase ismemberof: dice si el objeto es exactamente de esa clase Bloques: Los bloques representan secuencias de instrucciones cuya ejecución es diferida, es decir, el código que representan podría no ser ejecutado nunca. Es por esto que se utilizan para controlar el flujo de ejecución de los programas Los bloques también son objetos (pertenecen a la clase BlockClosure) Se notan escribiendo el código que los componen entre []. Los bloques pueden ser asignados a variables, pasados como parámetros o devueltos como resultado El mensaje value pide a un bloque que se evalúe. Como en los métodos, un bloque puede contener una cantidad arbitraria de parámetros. Los bloques pueden declarar variables temporales. El valor que devuelve un método, es el valor que devuelve la última sentencia. Los bloques pueden tener sentencias del tipo ^, y en ese caso el método que contiene el bloque devuelve el valor. Puede hacer referencias a variables externas al bloque. bloque := [ 1 / 0]. bloque class bloque value bloque := [ :i :j i+j ]. bloque value:1 value:3. bloque := [ :i :j i+j. chocotorta. ]. bloque value:1 value:3 Sólo se compiló el bloque y se asignó a una variable, no se ejecutó. Recién ahora lo evaluamos. Pueden recibir parámetros tantos parámetros como queramos Y los evaluamos de esta forma El valor que devuelve es el de la última sentencia.

3 IF: Métodos de Boolean: o iftrue: o iftrue: iffalse: o iffalse: AND y OR tambien son métodos de Boolean: o and: o or: FOR: Métodos de Number o to:do: (recibe un bloque con un parámetro numérico) o to:by:do: Métodos de Integer o timesrepeat: (recibe un bloque sin parámetros) 1 to: 10 do: [:i Transcript show: i printstring; cr.] 1 to: 10 by:2 do: [:i Transcript show: i printstring; cr.] 3 timesrepeat: [Transcript show: bomba ; cr.] WHILE: Métodos de BlockClosure (bloques) o whiletrue o whiletrue: (recibe un bloque sin parámetros) o whilefalse o whilefalse: (recibe un bloque sin parámetros) o repeat (evalua el bloque receptor para siempre) La idea es que evalúa el receptor en cada iteración. Si fuera un miembro de Boolean, entonces el objeto sería inmutable y no podría cambiar de valor (como i>0). Sería instancia de True o instancia de False, con lo que iteraría infinitamente o no iteraría. True y False tienen una única instancia cada uno. Transcript clear. i:=2. [i>0] whiletrue: [ Transcript show: i printstring; cr. i := i - 1.]. Colecciones Clases Colecciones Las clases son moldes o factories de objetos pero no colecciones. Todos los objetos se construyen a partir de alguna clase Ejemplo: si la clase Onion fuera una colección de cebollas, entonces habría problemas a la hora de tratar de diferenciar las cebollas que están en el estante de la verduleria y las que están en el carrito del supermercado. Nos veriamos tentados de crear nuevas clases ShelfOnion, CartOnion, etc. Lo que en realidad tenemos son diferentes contenedores para nuestras cebollas.

4 Colecciones básicas Las colecciones de Smalltalk son heterogéneas. arreglo := #(1 2 3). diccionario := Dictionary new. diccionario at: 'pancho' put: 'mostaza'. diccionario at: 1@50000 put: 'chimi'. diccionario at: 'pancho'. Ejemplos de arreglo, diccionario e intervalo. Notar que las colecciones son heterogéneas. intervalo := 1 to: 3. coleccionordenada := OrderedCollection new. coleccionordenada add: (Time now). Enumeracion de elementos do: ablock select: ablock reject: ablock collect: ablock detect: ablock inject: thisvalue into: binaryblock Recibe un bloque con un parámetro y evalúa el argumento ablock para cada uno de los elementos del receptor bloque con un parámetro, evalua en booleano evalua el argumento ablock para cada uno de los elementos del receptor genera una nueva coleccion del mismo tipo que el receptor con únicamente los elementos para los cuales ablock evalua en bloque con un parámetro, evalua en booleano evalua el argumento ablock para cada uno de los elementos del receptor genera una nueva coleccion del mismo tipo que el receptor con únicamente los elementos para los cuales ablock evalua en false bloque con un parámetro, evalua en cualquier cosa evalua el argumento ablock para cada uno de los elementos del receptor genera una nueva coleccion del mismo tipo que el receptor, y para cada elemento del receptor agrega el resultado de aplicarle ablock bloque con un parámetro, evalua en booleano evalua el argumento ablock para cada uno de los elementos del receptor y devuelve el primer elemento para el cual ablock evaluó en. Si ninguno da, error bloque con dos parámetros, evalua en lo mismo que el primer parámetro el primer parámetro del bloque es el resultado de la evaluacion anterior, empezando por thisvalue. el segundo parámetro es cada uno de los

5 elementos del receptor devuelve el resultado de la última evaluacion Ejemplos: #( ) do: [ :i Transcript show: 'la']. #( ) select: [ :i i even.]. #( ) reject: [ :i i even.]. #( ) collect: [:i i+1.]. #( ) detect: [ :i (i > 1) and: [i even].] #( ) inject: '' into: [ :i :j i, j printstring]. Motivacion: Anomalias en colecciones conjunto := Set new. p := Pinguino new. conjunto add: p. p2 := Pinguino new. conjunto add: p2. p = p2. p == p2. Se agregan: = ananimal ^(self nombre) = (ananimal nombre) y hash ^(self nombre) hash A la clase Animal. Ahora tengo dos elementos en el conjunto, por más que sean dos pinguinos observacionalmente iguales. El problema es que no son idénticos, y la implementación default de la igualdad es la identidad. Para lograr el efecto de que dos animales se diferencien, por ejemplo, únicamente por su nombre, necesitamos sobreescribir el método hash de la clase y hacer que el hash dé igual para los objetos que queremos que sean iguales. Identidad e igualdad Equivalencia (==): testea si dos objetos son el mismo objeto (es decir, la misma instancia) Igualdad (=): testea si dos objetos representan el mismo componente La igualdad debe ser reimplementada por cada clase de forma apropiada La implementación default de = es == Caso especial: nil == equivalencia = igualdad ~= no igualdad ~~ no equivalencia isnil notnil testea si el receptor es nil testea si el receptor no es nil == nil ~~ nil Nota: Solo existe un único objeto 3 en Smalltalk

6 Hash hash devuelve un entero. Dos objetos iguales deben devolver el mismo valor. Dos objetos distintos podrían devolver el mismo valor o no. Cada vez que se redefine =, hay que redefinir hash de forma acorde Clases abstractas Una clase abstracta es aquella que nunca tendrá instancias Se usan para reunir comportamiento y expectativas comunes a todas las subclases Ejemplos: Magnitude y Animal Métodos abstractos: o En Smalltalk: subclassresponsibility o implementedbysubclass o En C++: pure virtual o En Java: abstract Sirven para explicitar las expectativas sobre las subclases Una clase que tiene métodos abstractos es necesariamente abstracta Muchas veces, las clases abstractas también tienen comportamiento concreto (ejemplo Magnitude>>max:) Los métodos de una clase abstracta pueden ser de 3 tipos: o abstractos: no están implementados y deben ser implementados por las subclases Magnitude>> > o base: están implementados y son autocontenidos. No generan ninguna obligación a las subclases Animal >> getnombre o template: están implementados pero usan métodos abstractos, con lo cual el implementador de la subclase debe completar el comportamiento pero sin sobreescribir el método completo Magnitude>>max: Polimorfismo y late-binding Late-binding: un mensaje y el método que debe ejecutarse se asocian en tiempo de ejecución polimorfismo: multiples formas, es decir, un mensaje puede generar comportamiento distinto según el objeto polimorfismo semántico Ejemplo: iftrue:iffalse: