Elementos de Java LSUB. 30 de marzo de 2016 GSYC

Transcripción

1 Elementos de Java LSUB GSYC 30 de marzo de 2016

2 (cc) 2015 Laboratorio de Sistemas, Algunos derechos reservados. Este trabajo se entrega bajo la licencia Creative Commons Reconocimiento - NoComercial - SinObraDerivada (by-nc-nd). Para obtener la licencia completa, véase También puede solicitarse a Creative Commons, 559 Nathan Abbott Way, Stanford, California 94305, USA.

3 Elementos Además de las construcciones clásicas de Java tenemos ahora algunas novedades que merece la pena conocer: listas de argumentos, enumerados, genéricos, tipos de referencias...

4 Listas de argumentos En realidad estás creando un array. Se pueden pasar 0 argumentos. p u b l i c i n t sumar ( i n t... a r g s ) { i n t t o t = 0 ; f o r ( i n t e : a r g s ) t o t += e ; r e t u r n t o t ; }

5 Enumerados Son tipos referenciados. Heredan de java.lang.enum, por tanto no pueden extender otras clases. Si tiene constructures, tienen que ser privados. No se pueden crear instancias de Enums con new. Las instancias que pueden existir son los distintos valores del Enum.

6 Enumerados Se pueden usar en un switch-case. Su método ordinal() devuelve la posición del valor en el enumerado. Su método values() devuelve un array con todos los valores.

7 Enumerados p u b l i c enum DiaSem { LUN, MAR, MIE, JUE, VIE, SAB, DOM; } p u b l i c boolean l a b o r a b l e ( ) { s w i t c h ( t h i s ) { case SAB : case DOM: r e t u r n f a l s e ; d e f a u l t : r e t u r n t r u e ; } }

8 Enumerados DiaSem d = DiaSem. Dom; f o r ( DiaSem d : DiaSem. v a l u e s ( ) ) { System. e r r. p r i n t l n ( P o s i c i o n : + d. o r d i n a l ( ) + L a b o r a b l e : + d. l a b o r a b l e ( ) ) ; }

9 Genéricos Permite tratar con objetos de distintos tipos de forma general. Ejemplo más claro: un contenedor.

10 Genéricos p u b l i c c l a s s Par<T1, T2> { p u b l i c T1 e l 1 ; p u b l i c T2 e l 2 ; } Par (T1 e1, T2 e2 ){ e l 1 = e1 ; e l 2 = e2 ; }

11 Genéricos Se usa así: Par<Long, S t r i n g > par = new Par<Long, S t r i n g >(32L, h o l a ) ;

12 Genéricos Podemos exigir que un parámetro del tipo al menos derive de una clase o implemente un interfaz <...? extends...>. También podemos forzar a que un parámetro sea de un tipo o sus supertipos con <...? super...>. c l a s s L i s t a I t e m s <T extends Item>... v o i d f o o ( C l a s s <? extends Other> a r g ) {... }

13 Genéricos El comodín? es útil en este ejemplo: Tenemos la clase Lista, que implementa una lista enlazada genérica. Tenemos la clase Figura, y la clase Elipse la extiende. Si tenemos el método void sumarareas ( L i s t a <Figura > l ) no podremos invocarla pasando una Lista < Elipse > como argumento. Razón: Lista < Elipse > no deriva de Lista < Figura >, aunque Elipse derive de Figura. Debería ser: void sumarareas ( L i s t a <? extends Figura > l )

14 Genéricos El compilador borra los tipos de datos después de compilar. Puede resultar confuso.

15 Genéricos: restricciones No se puede sobrecargar un método cuyos parámetros se traducen en el mismo tipo crudo después del borrado : p u b l i c c l a s s Example { p u b l i c v o i d p r i n t ( Set<S t r i n g > s t r S e t ) { } p u b l i c v o i d p r i n t ( Set<I n t e g e r > i n t S e t ) { } // both a r e e r a s e d to Set <?>. }

16 Genéricos: restricciones No se pueden instanciar tipos genéricos con tipos primitivos. Pair <i n t, char> p = new Pair <>(8, a ) ; // compile time e r r o r

17 Genéricos: restricciones No se puede instanciar el tipo genérico. p u b l i c s t a t i c <E> v o i d append ( L i s t <E> l i s t ) { E elem = new E ( ) ; // compile time e r r o r l i s t. add ( elem ) ; }

18 Genéricos: restricciones No se puede declarar atributos de clase con tipo genérico. p u b l i c c l a s s MobileDevice <T> { p r i v a t e s t a t i c T os ; } //...

19 Genéricos: restricciones No se puede usar instanceof con un tipo parametrizado: p u b l i c s t a t i c <E> v o i d r t t i ( L i s t <E> l i s t ) { // compile time e r r o r i f ( l i s t i n s t a n c e o f A r r a y L i s t <I n t e g e r >) { //... } }

20 Genéricos: restricciones No se puede crear un array de un tipo parametrizado: L i s t <I n t e g e r >[] a r r L i s t = new L i s t <I n t e g e r > [ 2 ] ; // compile time e r r o r

21 JUnit Framework para realizar pruebas unitarias: prueban un módulo de la aplicación. No son pruebas de integración. Son básicas para mantener el código. Está soportado por Eclipse (nos proporciona un asistente para crear unidades de prueba).

22 JUnit Por ejemplo: p u b l i c c l a s s L o g F i l e T e s t ( t i m e o u t = 1000) p u b l i c v o i d t e s t C r e a t e R e m o v e ( ) { L o g F i l e l f = new L o g F i l e (TESTF ) ; l f. remove ( ) ; F i l e f = new F i l e (TESTF ) ; i f ( f. e x i s t s ( ) ) f a i l ( remove f a i l e d ) ; }... }

23 JUnit el método es un se invoca el método antes/después de cada : se invoca el método una única vez, antes/después de todos los tests de la clase. El método tiene que ser static.

24 JUnit Métodos: fail(): hace que la prueba falle con el motivo descrito en su argumento. asserttrue(): comprueba una expresión booleana y si es falsa, falla. assertequals(): comprueba si dos valores si son iguales, y si no lo son, falla. assertnull()/assertnotnull(): comprueba si la referencia es o no es nula.

25 JUnit Buenas prácticas: No escribir nada por su salida/salida de errores. Nombrar los test de forma consistente. Usar los tipos apropiados de aserciones (assertnull, assertequals, etc.). Hacer test para capturar excepciones. P. = java.util.nosuchelementexception.class)

26 Referencias Java tiene varios tipos de referencias: Strong references. Soft references. Weak references. Phantom references.

27 Strong references Strong references. Las de siempre. El GC no elimina objetos referenciados por ellas (el objeto es alcanzable).

28 Soft references Más débiles que strong. El GC elimina objetos referenciados por ellas si no hay ninguna referencia strong tras N ciclos del recolector. Ejemplo: elementos de una cache, que si dejan de estar referenciados con strong ya no las quiero tener si me falta memoria.

29 Soft references S o f t R e f e r e n c e <Pagina> f = new S o f t R e f e r e n c e <Pagina> ( new Pagina ( u r l ) ) ;

30 Weak references Más débiles que soft. El GC elimina objetos referenciados por ellas si no hay ninguna referencia strong nada más verlas (no espera N ciclos de GC). Ejemplo: no quiero afectar a la recolección pero quiero referirme al objeto mientras está vivo por el resto de referencias.

31 Phantom references Se comportan como una weak pero no podemos obtener el objeto referenciado. Necesita estar registrada en una ReferenceQueue. Sirven para saber que se ha liberado el objeto referenciado de la memoria.

32 Reference Clase abstracta de la que derivan las referencias soft, weak y phantom. get() retorna la referencia al objeto referenciado si no ha sido eliminado por el GC todavía, en otro caso retorna null (excepto para phantom, que siempre retorna null).

33 ReferenceQueue El GC mete una Reference (tiene que estar registrada en la cola) si el objeto correspondiente va a ser eliminado. Comúnmente usada por un thread para llevar a cabo una limpieza relaccionada con el objeto ya no referenciado. Las referencias soft, weak y phanton tienen constructores para indicar la cola asociada (obligatorio para phantom ). poll() retorna la primera Reference de la cola, si no hay ninguna, retorna null. remove() lo mismo, pero se bloquea hasta que hay una disponible.

34 ReferenceQueue Cuando el GC recolecta un objeto, se termina invocando su método finalize() (heredado de Object). Este método no es el sitio adecuado para realizar la limpieza del objeto (p. ej. cerrar conexiones, etc.) y no conviene redefinirlo en general. Las WeakReferences (y SoftReferences) se encolan justo cuando su alcance es débil: puede que el objeto no haya sido eliminado de la memoria y no se haya ejecutado su método finalize(). Las PhantomReferences se encolan después de que el objeto haya sido liberado de la memoria de verdad (es la forma de saber que esto ha pasado).

35 ReferenceQueue p r i v a t e f i n a l ReferenceQueue <Pagina> q = new ReferenceQueue <Pagina >();... R e f e r e n c e <Pagina> r e f = ( R e f e r e n c e <Pagina >)q. p o l l ( ) ; i f ( r e f!= n u l l ) { l i m p i a r E s t a d o ( r e f ) ; }