Java

POO-TRABAJO TEÓRICO junio, 2003

TIPOS GENÉRICOS EN JAVA
Celia Fontanillo Fontanillo Antonio Garrote Hernández

Departamento de Informática y Automática Universidad de Salamanca

Información de los autores:

Celia Fontanillo Fontanillo Estudiante de Ingeniería Técnica en Informática de Sistemas Facultad de Ciencias – Universidad de Salamanca cfontanillo@eresmas.com Antonio GarroteHernández Estudiante de Ingeniería Técnica en Informática de Sistemas Facultad de Ciencias – Universidad de Salamanca tonino@beograd.com

Este documento puede ser libremente distribuido. © Departamento de Informática y Automática - Universidad de Salamanca.

Resumen
En este documento se pretenden presentar los tipos genéricos en Java que están siendo desarrollados para su pintroducción en lapróxima versión del lenguaje, Java 1.5. La primera parte del trabajo está pensada como una introducción general de los tipos genéricos al lector, por si no está familiarizado. Se realiza para ello una breve descripción de los mismos, mostrando sus ventajas basándose en ejemplos, además de hacer una revisión histórica de la evolución de la especificación hasta el momento actual y de los motivos que hanimpulsado a introducir tipos genéricos en Java. En la segunda parte se trata a cerca de las limitaciones en la implementación y de las características de la nueva especificación desarrollada, comentándose también las principales diferencias entre los tipos parametrizados en C++ (plantillas) y los tipos genéricos en Java. Por último se presentan las especificaciones así como la sintaxis de lostipos genéricos publicada por el grupo encargado de su desarrollo, el JSR14.

POO-TRABAJO TEÓRICO

i

Abstract
Generics Java, which is now being developed to its insertion into the next language version (Java1.5), is expected to be presented in this document. The first part is thought as a general introduction to Generics in case the reader isn’t used to them. A short description is carriedout, and its advantages are showed having grounds in examples. Also, a historical revision of the evolution of the specification until the most recent events is done, presenting the main reasons which have led to the introduction of generics in Java. The second part describes the limitations in the implementation and the main characteristics of the new specification. After all this, generic types inC++ (templates) and generics in Java are compared, showing the differences between them. And finally, specifications as well as generics syntax are presented. The specifications included in this document are the ones extracted from the JSR14, the group in charge of adding generic types in Java.

ii

POO-TRABAJO TEÓRICO

Tabla de Contenidos
1.Introducción a los TiposGenéricos______________________________________________1 1.1.Qué son tipos genéricos_______________________________________________1 1.2.Cómo se programan los tipos genéricos en la versión actual de Java________________________________________________________

________________1 1.3.Problemas de la forma de programar actual________________________________2 1.4.Soluciones y ventajas derivadas del uso degenéricos________________________4 2.Evolución temporal de la especificación __________________________________________7 2.1.Motivos para iniciar el desarrollo de tipos genéricos en Java __________________7 2.2.Desarrolladores actuales ______________________________________________8 3.Limitaciones en la implementación de tipos genéricos en Java ________________________8 4.Características____________________________________________________________

__8 5.Diferencias entre los tipos genéricos en Java y las plantillas en C++____________________9 6.Especificación del JSR14 ____________________________________________________10 6.1.Sintaxis de tipos ____________________________________________________10 6.2.Subtipos, supertipos y tipos miembros __________________________________12 6.3.Tipos “crudos”...