par de impresi\u00f3n p\u00fablico vac\u00edo ( Par<Cadena,Largo><\/span> <\/b> par) {<\/tt>
\n \u00a0 System.out.println(\"(\"+pair.getFirst()+\",\"+pair.getSecond()+\")\");<\/tt>
\n }<\/tt> Par<Cadena,Largo><\/span> <\/b> l\u00edmite = nuevo Par<Cadena,Largo><\/span> <\/b> (\"m\u00e1ximo\",1024L);<\/tt>
\n imprimirPar(l\u00edmite);<\/tt><\/p><\/blockquote>\nEjemplo (de un tipo parametrizado con comod\u00edn):<\/p>\n
\n par de impresi\u00f3n p\u00fablico vac\u00edo ( Par<?,?><\/span> <\/b> par) {<\/tt>
\n \u00a0 System.out.println(\"(\"+pair.getFirst()+\",\"+pair.getSecond()+\")\");<\/tt>
\n }<\/tt> Par<?,?><\/span> <\/b> l\u00edmite = nuevo Par<Cadena,Largo><\/span> <\/b> (\"m\u00e1ximo\",1024L);<\/tt>
\n imprimirPar(l\u00edmite);<\/tt><\/p><\/blockquote>\n<\/blockquote>\nTodas las instancias de un tipo gen\u00e9rico comparten la misma representaci\u00f3n del tipo de tiempo de ejecuci\u00f3n, es decir, la representaci\u00f3n del tipo sin formato. Por ejemplo, las instancias de un tipo gen\u00e9rico. Lista<\/tt> , como Lista<Fecha><\/tt> , Lista<Cadena><\/tt> , Lista<Long><\/tt> , etc. tienen diferentes tipos est\u00e1ticos en el momento de la compilaci\u00f3n, pero el mismo tipo din\u00e1mico Lista <\/tt> en tiempo de ejecuci\u00f3n.<\/p>\n
Un elenco consta de dos partes:<\/p>\n
\n- una verificaci\u00f3n de tipo est\u00e1tico realizada por el compilador en el momento de la compilaci\u00f3n y<\/li>\n
- una verificaci\u00f3n de tipo din\u00e1mica realizada por la m\u00e1quina virtual en tiempo de ejecuci\u00f3n.<\/li>\n<\/ul>\n
La parte est\u00e1tica clasifica los lanzamientos sin sentido que no pueden tener \u00e9xito, como el lanzamiento de Cadena<\/tt> eso Fecha<\/tt> o de Lista<Cadena><\/tt> eso Lista<Fecha><\/tt> .<\/p>\n
La parte din\u00e1mica utiliza la informaci\u00f3n del tipo de tiempo de ejecuci\u00f3n y realiza una verificaci\u00f3n de tipo en tiempo de ejecuci\u00f3n.\u00a0 Se plantea un Excepci\u00f3n ClassCast<\/tt> si el tipo din\u00e1mico del objeto no es el tipo de destino (o un subtipo del tipo de destino) de la conversi\u00f3n. Ejemplos de elencos con una parte din\u00e1mica son el elenco de Objeto<\/tt> eso Cadena<\/tt> o de Objeto<\/tt> eso Lista<Cadena><\/tt> .\u00a0 Estos son los llamados abatidos, desde un supertipo hasta un subtipo.<\/p>\n
Ejemplos de tipos parametrizados concretos son Lista<Cadena><\/tt> , Mapa<Cadena,Fecha><\/tt> , pero no Lista<? extiende el n\u00famero><\/tt> o Mapa<String,?><\/tt> .<\/p>\n
A veces se espera que un Lista<Objeto><\/tt> ser\u00eda un supertipo de Lista<Cadena><\/tt> , porque Objeto<\/tt> es un supertipo de Cadena<\/tt> .\u00a0 Esta expectativa surge del hecho de que existe este tipo de relaci\u00f3n para las matrices:\u00a0 Objeto[]<\/tt> es un supertipo de Cadena[]<\/tt> , porque Objeto<\/tt> es un supertipo de Cadena<\/tt> . (Este tipo de relaci\u00f3n se conoce como covarianza<\/i> .) La relaci\u00f3n de supersubtipo de los tipos de componentes se extiende a los tipos de matriz correspondientes. No existe tal relaci\u00f3n de tipos para instancias de tipos gen\u00e9ricos. (Los tipos parametrizados son no<\/i> covariante.)<\/p>\n
La falta de una relaci\u00f3n de supersubtipo entre instancias del mismo tipo gen\u00e9rico tiene varias consecuencias.\u00a0 Aqu\u00ed hay un ejemplo.<\/p>\n
Ejemplo:<\/p>\n
void printAll(ArrayList<Object> c) {<\/tt>
\n \u00a0 para (Objeto o: c)\u00a0<\/tt>
\n \u00a0\u00a0\u00a0 System.out.println(o);<\/tt>
\n }<\/tt> Lista ArrayList<String> = nueva ArrayList<String>();<\/tt>
\n ... llenar lista ...<\/tt>
\n imprimirTodo(lista);\u00a0\u00a0 \/\/ error<\/tt><\/p>\n
A ArrayList<String><\/tt> El objeto no se puede pasar como argumento a un m\u00e9todo que solicita una ArrayList<Object><\/tt> porque los dos tipos son instancias del mismo tipo gen\u00e9rico, pero para diferente<\/i> argumentos de tipo, y por esta raz\u00f3n no son compatibles entre s\u00ed.<\/p>\n
Los tipos parametrizados concretos son instancias concretas de un tipo gen\u00e9rico.\u00a0 Son casi como tipos; s\u00f3lo hay unas pocas restricciones.\u00a0 NO se pueden utilizar para los siguientes fines:<\/p>\n
\n- para la creaci\u00f3n de matrices<\/li>\n
- en el manejo de excepciones<\/li>\n
- en una clase literal<\/li>\n
- en un instancia de<\/tt> expresi\u00f3n<\/li>\n<\/ul>\n
Las matrices que contienen elementos cuyo tipo es un tipo parametrizado concreto son ilegales.<\/p>\n
Ejemplo (de tipo de matriz ilegal):<\/p>\n
prueba de vac\u00edo est\u00e1tico() {<\/tt>
\n \u00a0 Par<Entero,Entero>[]<\/span> <\/b> intPairArr = nuevo Par<Entero,Entero>[10]<\/span> <\/b> ; \/\/ error<\/span> <\/b> <\/tt>
\n \u00a0 agregarElementos(intPairArr);\u00a0<\/tt>
\n \u00a0 Par<Integer,Integer> par = intPairArr[1];<\/tt>
\n \u00a0 Entero i = par.getFirst();<\/tt>
\n \u00a0 par.setSecond(i);<\/tt>
\n }<\/tt>
\n addElements vac\u00edo est\u00e1tico ( Objeto[]<\/b> objetoArr) {<\/tt>
\n \u00a0 objArr[0] = nuevo Par<Integer,Integer>(0,0);<\/tt>
\n \u00a0 objArr[1] = nuevo Par<String,String>(\"\",\"\");\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ deber\u00eda fallar con ArrayStoreException<\/tt>
\n }<\/tt><\/p>\nEl compilador proh\u00edbe la creaci\u00f3n de matrices cuyo tipo de componente sea un tipo parametrizado concreto, como Par<Entero,Entero><\/tt> en nuestro ejemplo.\u00a0 En la entrada anterior analizamos por qu\u00e9 es razonable que el compilador califique un Par<Entero,Entero>[]<\/tt> <\/span> como ilegal.\u00a0 El problema clave es que el compilador y el sistema de ejecuci\u00f3n deben garantizar que una matriz sea una homog\u00e9neo<\/i> secuencia de elementos del mismo tipo.\u00a0 Una de las comprobaciones de tipo, concretamente la comprobaci\u00f3n de almacenamiento de matriz realizada por la m\u00e1quina virtual en tiempo de ejecuci\u00f3n, no detecta la inserci\u00f3n infractora de un elemento extra\u00f1o. En el ejemplo, la segunda inserci\u00f3n en el agregarElementos<\/tt> El m\u00e9todo deber\u00eda fallar porque estaban agregando un par de cadenas a una matriz de valores integrales, pero no falla como se esperaba. Las razones fueron discutidas en la entrada anterior.<\/p>\nSi no podemos usar matrices que contengan elementos cuyo tipo sea un tipo parametrizado concreto, \u00bfqu\u00e9 usamos como soluci\u00f3n alternativa?<\/p>\n
Consideremos 3 posibles soluciones:<\/p>\n
\n- variedad de tipos crudos<\/li>\n
- matriz de tipo parametrizado con comod\u00edn ilimitado<\/li>\n
- colecci\u00f3n en lugar de matriz<\/li>\n<\/ul>\n
Si bien las matrices de tipos parametrizados concretos son ilegales, se permiten colecciones de tipos parametrizados concretos.<\/p>\n
Un tipo con par\u00e1metros comod\u00edn es una instanciaci\u00f3n de un tipo gen\u00e9rico donde al menos un argumento de tipo es un comod\u00edn.\u00a0 Ejemplos de tipos parametrizados con comodines son Colecci\u00f3n<?><\/tt> , Lista<? extiende el n\u00famero><\/tt> , Comparador<? s\u00faper cuerda><\/tt> y Par<Cadena,?><\/tt> . Un tipo parametrizado con comod\u00edn denota una familia de tipos que comprende instancias concretas de un tipo gen\u00e9rico.\u00a0 El tipo de comod\u00edn que se utiliza determina qu\u00e9 tipos parametrizados concretos pertenecen a la familia.\u00a0 Por ejemplo, el tipo parametrizado comod\u00edn Colecci\u00f3n<?><\/tt> denota la familia de todas las instancias del Recopilaci\u00f3n<\/tt> interfaz independientemente del tipo de argumento.\u00a0 El tipo parametrizado comod\u00edn Lista<? extiende el n\u00famero><\/tt> denota la familia de todos los tipos de lista donde el tipo de elemento es un subtipo de\u00a0 N\u00famero<\/tt> .\u00a0 El tipo parametrizado comod\u00edn Comparador<? s\u00faper cuerda><\/tt> es la familia de todas las instancias del Comparador<\/tt> interfaz para tipos de argumentos de tipo que son supertipos de Cadena.<\/tt><\/p>\n
Un tipo parametrizado con comod\u00edn no es un tipo en el sentido normal (diferente de una clase\/interfaz no parametrizada o un tipo sin formato).<\/em> <\/strong><\/p>\nSe pueden utilizar tipos parametrizados comod\u00edn para escribir (como clases e interfaces no parametrizadas):<\/p>\n
\n- como argumento y tipos de m\u00e9todos de retorno<\/li>\n
- como tipo de campo o variable de referencia local<\/li>\n
- como tipo de componente de una matriz como argumento de tipo de otros tipos parametrizados<\/li>\n
- como tipo de objetivo en lanzamientos<\/li>\n<\/ul>\n
No s\u00f3lo los tipos pueden ser gen\u00e9ricos, sino que los m\u00e9todos tambi\u00e9n pueden serlo. Los m\u00e9todos est\u00e1ticos y no est\u00e1ticos, as\u00ed como los constructores, pueden tener par\u00e1metros de tipo. La sintaxis para la declaraci\u00f3n de par\u00e1metros de tipo formal es similar a la sintaxis para tipos gen\u00e9ricos. La secci\u00f3n de par\u00e1metro de tipo est\u00e1 delimitada por corchetes angulares y aparece antes del tipo de retorno del m\u00e9todo. Su sintaxis y significado son id\u00e9nticos a la lista de par\u00e1metros de tipo de un tipo gen\u00e9rico.<\/p>\n
Aqu\u00ed est\u00e1 el ejemplo de un gen\u00e9rico. m\u00e1ximo<\/tt> M\u00e9todo que calcula el mayor valor en una colecci\u00f3n de elementos de un tipo desconocido. A<\/tt> .<\/p>\n
Ejemplo (de un m\u00e9todo gen\u00e9rico):<\/p>\n
Colecciones de clase {<\/tt>
\n \u00a0 est\u00e1tica p\u00fablica <A ampl\u00eda Comparable<A>> A<\/span> <\/b> max(Colecci\u00f3n< A<\/span> <\/b> > xs) {<\/tt>
\n \u00a0\u00a0\u00a0 Iterador< A<\/span> <\/b> > xi = xs.iterador();<\/tt>
\n \u00a0\u00a0\u00a0 A<\/span> <\/b> w = xi.siguiente();<\/tt>
\n \u00a0\u00a0\u00a0 mientras (xi.hasNext()) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0 A<\/span> <\/b> x = xi.siguiente();<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0 si (w.compareTo(x) < 0) w = x;<\/tt>
\n \u00a0\u00a0\u00a0 }<\/tt>
\n \u00a0\u00a0\u00a0 devolver w;<\/tt>
\n \u00a0 }<\/tt>
\n }\u00a0<\/tt><\/p><\/blockquote>\nEl m\u00e1ximo<\/tt> El m\u00e9todo tiene un par\u00e1metro de tipo, llamado A<\/tt> .\u00a0 Es un marcador de posici\u00f3n para el tipo de elemento de la colecci\u00f3n en la que funciona el m\u00e9todo. El par\u00e1metro de tipo tiene un l\u00edmite; debe ser un tipo que sea un subtipo de Comparable<A><\/tt><\/p>\n
Ejemplo (del mismo tipo gen\u00e9rico, esta vez con<\/i> l\u00edmites):<\/p>\n interfaz p\u00fablica Comparable<T> {<\/tt>
\n \u00a0 p\u00fablico int compararTo(T arg);<\/tt>
\n }<\/tt>
\n clase p\u00fablica TreeMap<Key extiende Comparable<Key><\/span> <\/b> ,Datos>{<\/tt>
\n \u00a0 Entrada de clase est\u00e1tica privada<K,V> {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 tecla K;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 valor V;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entrada<K,V> izquierda = nula;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entrada<K,V> derecha = nula;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entrada<K,V> padre;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 Entrada transitoria privada<Key,Data> root = null;<\/tt>
\n \u00a0 ...<\/tt>
\n \u00a0 Entrada privada<Key,Data> getEntry(Clave clave) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entrada<Key,Datos> p = ra\u00edz;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Clave k = clave;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 mientras (p! = nulo) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 intcmp = k. comparar con (tecla p.)<\/span> <\/b> ;\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 si (cmp == 0)<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 devolver p;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 de lo contrario si (cmp < 0)<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p.izquierda;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 dem\u00e1s\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p.derecha;\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 }<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 devolver nulo;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 booleano p\u00fablico contiene clave (clave clave) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 devolver getEntry(clave) != nulo;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 ...<\/tt>
\n }<\/tt><\/p><\/blockquote>\nEn el ejemplo anterior, el par\u00e1metro de tipo Llave<\/tt> tiene el l\u00edmite Comparable<Key><\/tt> .\u00a0 La especificaci\u00f3n de un l\u00edmite tiene dos efectos:<\/p>\n\n- Da acceso a los m\u00e9todos que el l\u00edmite especifica.<\/i> .\u00a0 En el ejemplo, el l\u00edmite Comparable<Key> <\/tt> da acceso a la comparar con<\/tt> m\u00e9todo que queremos invocar en la implementaci\u00f3n de nuestro \u00c1rbolMapa<\/tt> clase.<\/li>\n<\/ul>\n
\n- S\u00f3lo se pueden utilizar tipos “dentro de l\u00edmites” para la creaci\u00f3n de instancias del tipo gen\u00e9rico.<\/i> \u00a0 En el ejemplo, un tipo parametrizado como \u00c1rbolMapa<N\u00famero,Cadena><\/tt> ser\u00eda rechazado, porque el tipo N\u00famero<\/tt> no es un subtipo de Comparable<N\u00famero><\/tt> .\u00a0 Un tipo parametrizado como TreeMap<String,String><\/tt> ser\u00eda aceptado, porque el tipo String est\u00e1 dentro de los l\u00edmites, es decir, es un subtipo de Comparable<String><\/tt> .<\/li>\n<\/ul>\n
Todas las clases, interfaces y tipos de enumeraci\u00f3n se pueden utilizar como par\u00e1metros de tipo vinculados, incluidos los tipos anidados e internos.\u00a0 Ni los tipos primitivos ni los tipos de matriz se utilizar\u00e1n como l\u00edmite de par\u00e1metro de tipo.<\/p>\n
Ejemplos (de l\u00edmites de par\u00e1metros de tipo):<\/p>\n
clase X0 <T se extiende entero<\/span> <\/b> > { ... }\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ error<\/span> <\/b> <\/tt>
\n clase X1 <T se extiende Objeto[]<\/span> <\/b> > { ... } \/\/ error<\/span> <\/b> <\/tt>
\n clase X2 <T se extiende N\u00famero<\/span> <\/b> > { ... }<\/tt>
\n clase X3 <T se extiende Cadena<\/span> <\/b> > { ... }<\/tt>
\n clase X4 <T se extiende Ejecutable<\/span> <\/b> > { ... }<\/tt>
\n clase X5 <T se extiende Hilo.Estado<\/span> <\/b> > { ... }<\/tt>
\n clase X6 <T se extiende Lista<\/span> <\/b> > { ... }<\/tt>
\n clase X7 <T se extiende Lista<Cadena><\/span> <\/b> > { ... }<\/tt>
\n clase X8 <T se extiende Lista<? extiende el n\u00famero><\/span> <\/b> > { ... }<\/tt>
\n clase X9 <T se extiende \u00bfComparable<? super n\u00famero><\/span> <\/b> > { ... }<\/tt>
\n la clase X10<T se extiende Mapa.Entrada<?,?><\/span> <\/b> > { ... }<\/tt><\/p><\/blockquote>\nEl ejemplo de c\u00f3digo muestra que los tipos primitivos como entero<\/tt> y tipos de matrices como Objeto[] <\/tt> no est\u00e1n permitidos como l\u00edmite de par\u00e1metro de tipo.<\/p>\n
Tipos de clases, como N\u00famero<\/tt> o Cadena<\/tt> y tipos de interfaz, como Ejecutable<\/tt> , est\u00e1n permitidos como par\u00e1metro de tipo vinculado.<\/p>\n
Tipos de enumeraci\u00f3n, como Hilo.Estado<\/tt> Tambi\u00e9n se permiten como l\u00edmite de par\u00e1metro de tipo. Hilo.Estado<\/tt> es un ejemplo de un tipo anidado utilizado como l\u00edmite de par\u00e1metro de tipo.\u00a0 Tambi\u00e9n se permiten tipos interiores no est\u00e1ticos.<\/p>\n
Los tipos sin formato se permiten como par\u00e1metro de tipo vinculado; Lista<\/span> <\/tt> es un ejemplo.<\/p>\nLos tipos parametrizados se permiten como l\u00edmite de par\u00e1metro de tipo, incluidos tipos parametrizados concretos como Lista<Cadena><\/tt> , tipos parametrizados con comodines acotados, como Lista<? extiende el n\u00famero><\/tt> y \u00bfComparable<? s\u00faper largo><\/tt> y tipos parametrizados con comodines ilimitados, como Mapa.Entrada<?,?><\/tt> .\u00a0 Un l\u00edmite que es un tipo parametrizado con comod\u00edn permite como argumento de tipo todos los tipos que pertenecen a la familia de tipos que denota el comod\u00edn.\u00a0 El tipo parametrizado comod\u00edn solo proporciona acceso restringido a campos y m\u00e9todos; las restricciones dependen del tipo de comod\u00edn.<\/p>\n
Ejemplo (de tipo parametrizado con comod\u00edn como par\u00e1metro de tipo vinculado):<\/p>\n
clase X< \u00bfT extiende List<? extiende el n\u00famero><\/span> <\/b> > {<\/tt>
\n \u00a0 alg\u00fan m\u00e9todo p\u00fablico vac\u00edo (T t) {<\/tt>
\n \u00a0\u00a0\u00a0 t.add(nuevo Largo(0L));\u00a0\u00a0\u00a0 \/\/ error<\/span> <\/b> <\/tt>
\n \u00a0\u00a0\u00a0 N\u00famero n = t.remove(0);<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt>
\n prueba de clase {<\/tt>
\n \u00a0 public static void main(String[] args) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 <\/span> <\/b> X<AArrayList<<\/span> Largo<\/span> <\/b> >> x1 = nuevo X<ArrayList<Long>>();\u00a0<\/span> <\/tt>
\n \u00a0\u00a0\u00a0\u00a0 X<AArrayList<<\/span> Cadena<\/span> <\/b> >> x2 = nuevo X<ArrayList<String>>(); <\/span> \/\/ error<\/span> <\/b> <\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nVariables de referencia de tipo t <\/tt> (el par\u00e1metro de tipo) se tratan como variables de referencia de un tipo comod\u00edn (el par\u00e1metro de tipo vinculado).\u00a0 En nuestro ejemplo, la consecuencia es que el compilador rechaza la invocaci\u00f3n de m\u00e9todos que toman un argumento del tipo “desconocido” que representa el par\u00e1metro de tipo, como por ejemplo Lista.a\u00f1adir<\/tt> , porque el l\u00edmite es un tipo parametrizado comod\u00edn con un l\u00edmite superior.
\nAl mismo tiempo el obligado Lista<? extiende el n\u00famero><\/tt> Determina los tipos que se pueden utilizar como argumentos de tipo. El compilador acepta todos los argumentos de tipo que pertenecen a la familia de tipos. Lista<? extiende el n\u00famero><\/tt> , es decir, todos los subtipos de Lista<\/tt> con un argumento de tipo que es un subtipo de N\u00famero<\/tt> .<\/p>\n
Un par\u00e1metro de tipo se puede utilizar como l\u00edmite de otro par\u00e1metro de tipo.<\/p>\n
Ejemplo (de un par\u00e1metro de tipo utilizado como par\u00e1metro de tipo vinculado):<\/p>\n
clase triple <T><\/b> {<\/tt>
\n \u00a0 privado T fst, snd, trd;<\/tt>
\n \u00a0 p\u00fablico < Ud.<\/b> extiende T<\/span> <\/b> , V extiende T<\/span> <\/b> , W. extiende T<\/span> <\/b> > Triple(U arg1, V arg2, W arg3) {<\/tt>
\n \u00a0\u00a0\u00a0 primero = arg1;<\/tt>
\n \u00a0\u00a0\u00a0 nd = arg2;<\/tt>
\n \u00a0\u00a0\u00a0 trd=arg3;<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nEn este ejemplo el par\u00e1metro de tipo t<\/tt> de la clase parametrizada se utiliza como l\u00edmite de los par\u00e1metros de tipo Ud.<\/tt> ,\u00a0 V<\/tt> y W.<\/tt> de un m\u00e9todo de instancia parametrizado de esa clase.<\/p>\n
Otras oportunidades para utilizar par\u00e1metros de tipo como l\u00edmites de otros par\u00e1metros de tipo incluyen situaciones en las que se define un tipo anidado dentro de un tipo gen\u00e9rico o se define una clase local dentro de un m\u00e9todo gen\u00e9rico.\u00a0 Incluso est\u00e1 permitido utilizar un par\u00e1metro de tipo como l\u00edmite de otro par\u00e1metro de tipo en la misma secci\u00f3n de par\u00e1metro de tipo.<\/p>\n
Un l\u00edmite que es una clase da acceso a todos sus miembros p\u00fablicos, es decir, campos p\u00fablicos, m\u00e9todos y tipos anidados. S\u00f3lo los constructores no son accesibles, porque no hay garant\u00eda de que una subclase del l\u00edmite tenga los mismos constructores que el l\u00edmite.<\/p>\n
Ejemplo (de una clase utilizada como l\u00edmite de un par\u00e1metro de tipo):<\/p>\n
clase publica Superclase<\/span> {<\/tt> \u00a0\u00a0\u00a0 \/\/ miembros est\u00e1ticos<\/tt>
\n \u00a0\u00a0\u00a0 enumeraci\u00f3n p\u00fablica EnumType {ESTO, ESO}<\/tt>
\n \u00a0\u00a0\u00a0 Objeto est\u00e1tico p\u00fablico staticField;<\/tt>
\n \u00a0\u00a0\u00a0 m\u00e9todo est\u00e1tico p\u00fablico est\u00e1tico vac\u00edo() {...}<\/tt><\/p>\n \u00a0\u00a0\u00a0 \/\/ miembros no est\u00e1ticos<\/tt>
\n \u00a0\u00a0\u00a0 clase p\u00fablica InnerClass {...}<\/tt>
\n \u00a0\u00a0\u00a0 Objeto p\u00fablico campo no est\u00e1tico;<\/tt>
\n \u00a0\u00a0\u00a0 m\u00e9todo p\u00fablico vac\u00edo no est\u00e1tico() {...}<\/tt><\/p>\n
\u00a0\u00a0\u00a0 \/\/ constructores<\/tt>
\n \u00a0\u00a0\u00a0 Superclase p\u00fablica() {...}<\/tt><\/p>\n
\u00a0\u00a0\u00a0 \/\/ miembros privados<\/tt>
\n \u00a0\u00a0\u00a0 objeto privado campo privado;\u00a0<\/tt><\/p>\n
\u00a0\u00a0\u00a0 ...<\/tt>
\n }<\/tt><\/p>\n
la clase final p\u00fablica SomeClass<T se extiende Superclase<\/span> <\/b> > {<\/tt>
\n \u00a0\u00a0\u00a0 objeto T privado;<\/tt>
\n \u00a0\u00a0\u00a0 public SomeClass(T t) { objeto = t; }\u00a0<\/tt><\/p>\n \u00a0\u00a0\u00a0 cadena p\u00fablica toString() {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 devolver<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \"tipo anidado est\u00e1tico\u00a0\u00a0\u00a0 : \"+T.EnumType.class+\"\\n\"\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"campo est\u00e1tico\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+T.staticField+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"m\u00e9todo est\u00e1tico\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+T.staticMethod()+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"tipo anidado no est\u00e1tico: \"+T.InnerClass.class+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"campo no est\u00e1tico\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+object.nonStaticField+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"m\u00e9todo no est\u00e1tico\u00a0\u00a0\u00a0\u00a0 : \"+object.nonStaticMethod()+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"constructor\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+(nueva T())+\"\\n\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ error<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"miembro privado\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+object.privateField+\"\\n\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ error\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 ;<\/tt>
\n \u00a0\u00a0\u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
el atado Superclase<\/tt> da acceso a sus tipos anidados, campos y m\u00e9todos est\u00e1ticos y campos y m\u00e9todos no est\u00e1ticos.\u00a0 S\u00f3lo el constructor no es accesible.\u00a0 Esto se debe a que los constructores no se heredan. Cada subclase define sus propios constructores y no necesita soportar los constructores de su superclase.\u00a0 Por lo tanto, no hay garant\u00eda de que una subclase de Superclase<\/tt> tendr\u00e1 el mismo constructor que su superclase.<\/p>\n
El contexto en el que Enum<E extiende Enum<E>><\/tt> “Lo que aparece es la declaraci\u00f3n del enumeraci\u00f3n<\/tt> clase en paquete java.lang<\/tt> :<\/p>\n clase abstracta p\u00fablica Enum<E extiende Enum<E>><\/b> {<\/tt>
\n \u00a0 ...<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
el tipo enumeraci\u00f3n<\/tt> es la clase base com\u00fan de todos los tipos de enumeraci\u00f3n.\u00a0 En Java, un tipo de enumeraci\u00f3n como Color<\/tt> se traduce en una clase Color<\/tt> que se extiende Enum<Color><\/tt> . El prop\u00f3sito de la superclase. enumeraci\u00f3n<\/tt> es proporcionar una funcionalidad que sea com\u00fan a todos los tipos de enumeraci\u00f3n.<\/p>\n
Aqu\u00ed hay un boceto de la clase. enumeraci\u00f3n<\/tt> :<\/p>\n clase abstracta p\u00fablica Enum< mi<\/span> extiende Enum<E>><\/b> implementa Comparable< mi<\/span> <\/b> >, serializable {<\/tt>
\n \u00a0 nombre de cadena final privado;<\/tt>
\n \u00a0 nombre de cadena final p\u00fablica() {...}<\/tt> \u00a0 ordinal final privado;<\/tt>
\n \u00a0 p\u00fablico final int ordinal() {...}<\/tt><\/p>\n \u00a0 Enumeraci\u00f3n protegida (nombre de cadena, int ordinal) {...}<\/tt><\/p>\n
\u00a0 cadena p\u00fablica\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 toString() { ... }<\/tt>
\n \u00a0 p\u00fablico final booleano es igual (Objeto otro) {...}<\/tt>
\n \u00a0 p\u00fablico final int hashCode() {...}<\/tt>
\n \u00a0 Clon de objeto final protegido () lanza CloneNotSupportedException {...}<\/tt>
\n \u00a0 p\u00fablico final int comparar con ( mi<\/span> <\/b> o) {...}<\/tt><\/p>\n \u00a0 Clase final p\u00fablica< mi<\/span> <\/b> > getDeclaringClass() { ... }<\/tt>
\n \u00a0 <T est\u00e1tico p\u00fablico extiende Enum<T>> T valueOf(Class<T> enumType, nombre de cadena) {...}<\/tt>
\n }<\/tt><\/p><\/blockquote>\nLa caracter\u00edstica sorprendente de la declaraci\u00f3n “ Enum<E extiende Enum<E>><\/tt> ” es el hecho de que la clase reci\u00e9n definida enumeraci\u00f3n<\/tt> y su par\u00e1metro de tipo reci\u00e9n definido mi <\/tt> aparecen en el l\u00edmite de ese mismo par\u00e1metro de tipo.\u00a0 Significa que el enumeraci\u00f3n<\/tt> Se debe crear una instancia del tipo para uno de sus subtipos.\u00a0 Para entender por qu\u00e9 esto tiene sentido, considere que cada tipo de enumeraci\u00f3n se traduce en un subtipo de enumeraci\u00f3n<\/tt> .<\/p>\n
Aqu\u00ed est\u00e1 el tipo de enumeraci\u00f3n artificial. Color<\/tt> :<\/p>\n enumeraci\u00f3n Color<\/b> {ROJO, AZUL, VERDE}<\/tt><\/p><\/blockquote>\n
El compilador lo traduce a la siguiente clase:<\/p>\n
clase final publica Color<\/b> se extiende Enum<Color><\/b> {<\/tt>
\n \u00a0 valores finales est\u00e1ticos p\u00fablicos de Color[]() { return (Color[])$VALUES.clone(); }<\/tt>
\n \u00a0 valor de color est\u00e1tico p\u00fablico de (nombre de cadena) {...}<\/tt> \u00a0 Color privado (Cadena s, int i) { super(s, i); }<\/tt><\/p>\n
\u00a0 p\u00fablico est\u00e1tico final Color ROJO;<\/tt>
\n \u00a0 p\u00fablico est\u00e1tico final Color AZUL;<\/tt>
\n \u00a0 p\u00fablico est\u00e1tico final Color VERDE;<\/tt><\/p>\n
\u00a0 Color final est\u00e1tico privado $VALUES[];<\/tt><\/p>\n
\u00a0 est\u00e1tico {<\/tt>
\n \u00a0\u00a0\u00a0 ROJO = nuevo Color(\"ROJO\", 0);<\/tt>
\n \u00a0\u00a0\u00a0 AZUL = nuevo Color(\"AZUL\", 1);<\/tt>
\n \u00a0\u00a0\u00a0 VERDE = nuevo Color(\"VERDE\", 2);<\/tt>
\n \u00a0\u00a0\u00a0 $VALUES = (nuevo Color[] { ROJO, AZUL, VERDE });<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
La herencia tiene por efecto que el Color<\/tt> El tipo hereda todos los m\u00e9todos implementados en Enum<Color><\/tt> .\u00a0 Entre ellos est\u00e1 el comparar con<\/tt> m\u00e9todo.\u00a0 El Color. comparar con<\/tt> El m\u00e9todo probablemente deber\u00eda tomar un Color<\/tt> como argumento.\u00a0 Para que esto suceda clase enumeraci\u00f3n<\/tt> es gen\u00e9rico y el Enum.compareTo<\/tt> el m\u00e9todo toma enumeraci\u00f3n<\/tt> par\u00e1metro de tipo mi <\/tt> como argumento.\u00a0 Como resultado, escriba Color<\/tt> derivado de Enum<Color><\/tt> hereda un comparar con<\/tt> m\u00e9todo que requiere un Color<\/tt> como y argumento, exactamente como deber\u00eda.
\nSi analizamos la declaraci\u00f3n “ Enum<E extiende Enum<E>><\/tt> “Podemos ver que este patr\u00f3n tiene varios aspectos.<\/p>\n
En primer lugar, est\u00e1 el hecho de que el par\u00e1metro de tipo vinculado es el tipo mismo: “ enumeraci\u00f3n<\/b> <E se extiende enumeraci\u00f3n<\/b> <E>><\/tt> “. Se asegura de que solo los subtipos de tipo enumeraci\u00f3n<\/tt> est\u00e1n permitidos como argumentos de tipo. (Te\u00f3ricamente, escriba enumeraci\u00f3n<\/tt> podr\u00eda ser instanciado en s\u00ed mismo, como en Enum<Enum><\/tt> , pero ciertamente esto no es lo que se pretende y es dif\u00edcil imaginar una situaci\u00f3n en la que tal creaci\u00f3n de instancias ser\u00eda \u00fatil).<\/p>\n
En segundo lugar, est\u00e1 el hecho de que el tipo vinculado al par\u00e1metro es el tipo parametrizado enumeraci\u00f3n <E><\/b> <\/tt> , que utiliza el par\u00e1metro de tipo mi<\/tt> como argumento de tipo del l\u00edmite. Esta declaraci\u00f3n asegura que la relaci\u00f3n de herencia entre un subtipo y una instanciaci\u00f3n de enumeraci\u00f3n<\/tt> es de la forma X extiende Enum<X><\/tt> “. Un subtipo como “ X extiende Enum<Y><\/tt> “no se puede declarar debido al argumento de tipo Y<\/tt> no estar\u00eda dentro de los l\u00edmites; s\u00f3lo subtipos de Enum<X><\/tt> est\u00e1n dentro de los l\u00edmites.<\/p>\n
En tercer lugar, est\u00e1 el hecho de que enumeraci\u00f3n<\/tt> es gen\u00e9rico en primer lugar.\u00a0 Significa que algunos de los m\u00e9todos de clase. enumeraci\u00f3n<\/tt> tomar un argumento o devolver un valor de un tipo desconocido (o depender de un tipo desconocido). Como ya sabemos, este tipo desconocido luego ser\u00e1 un subtipo inc\u00f3gnita<\/tt> de Enum<X><\/tt> .\u00a0 Por lo tanto, en el tipo parametrizado Enum<X><\/tt> , estos m\u00e9todos involucran el subtipo inc\u00f3gnita<\/tt> , y se heredan en el subtipo inc\u00f3gnita<\/tt> .\u00a0 El comparar con<\/tt> El m\u00e9todo es un ejemplo de tal m\u00e9todo; se hereda de la superclase a cada subclase y tiene una firma espec\u00edfica de subclase en cada caso.<\/p>\n
En resumen, la declaraci\u00f3n “ Enum<E extiende Enum<E>><\/tt> ” se puede descifrar como: enumeraci\u00f3n<\/tt> es un tipo gen\u00e9rico del que solo se pueden crear instancias para sus subtipos, y esos subtipos heredar\u00e1n algunos m\u00e9todos \u00fatiles, algunos de los cuales toman argumentos espec\u00edficos del subtipo (o dependen del subtipo).<\/p>\n
Par\u00e1metros de clases de tipo de l\u00edmite inferior<\/b><\/p>\n
Los par\u00e1metros de tipo pueden tener varios l\u00edmites, como en clase Box<T extiende N\u00famero> {...}<\/tt> . Pero un par\u00e1metro de tipo no puede tener l\u00edmite inferior, es decir, una construcci\u00f3n como caja de clase<T excelente<\/b> N\u00famero> {...}<\/tt> no est\u00e1 permitido.\u00a0 \u00bfPor qu\u00e9 no?\u00a0 La respuesta es: no tiene sentido porque no te comprar\u00eda nada, si estuviera permitido.\u00a0 Veamos por qu\u00e9 los par\u00e1metros de tipo de l\u00edmite inferior de las clases son confusos explorando lo que significa un l\u00edmite superior en un par\u00e1metro de tipo.<\/p>\n
El l\u00edmite superior de un par\u00e1metro de tipo tiene tres efectos:<\/p>\n
\n\n- Creaci\u00f3n de instancias restringida.<\/i> <\/b> El l\u00edmite superior restringe el conjunto de tipos que se pueden utilizar para la creaci\u00f3n de instancias del tipo gen\u00e9rico.\u00a0 Si declaramos un clase Box<T extiende N\u00famero> {...} <\/tt> entonces el compilador se asegurar\u00eda de que solo los subtipos de N\u00famero<\/tt> se puede utilizar como argumento de tipo.\u00a0 Es decir, un Caja<N\u00famero><\/tt> o un Caja<Largo><\/tt> est\u00e1 permitido, pero un Caja<Objeto><\/tt> o Caja<Cadena><\/tt> ser\u00eda rechazado<\/li>\n<\/ol>\n<\/ol>\n
Ejemplo (de creaci\u00f3n de instancias restringida debido a un l\u00edmite superior en un par\u00e1metro de tipo):
\n clase Box<T extiende N\u00famero> {\u00a0<\/tt>
\n \u00a0\u00a0 valor T privado;\u00a0<\/tt>
\n \u00a0\u00a0 Caja p\u00fablica(T t) { valor = t; }\u00a0<\/tt>
\n \u00a0\u00a0 ...<\/tt>
\n }\u00a0<\/tt> prueba de clase {\u00a0<\/tt>
\n \u00a0\u00a0 public static void main(String[] args) {\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Box<Long> boxOfLong = nuevo Box<Long>(0L);\u00a0\u00a0 \/\/ bien<\/b> <\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Box<String> boxOfString = nuevo Box<String>(\"\"); \/\/ error: la cadena no est\u00e1 dentro de los l\u00edmites<\/span> <\/b> <\/tt>
\n \u00a0\u00a0 }<\/tt>
\n }<\/tt><\/p>\n\n- Acceso a miembros no est\u00e1ticos. <\/i> <\/b> El l\u00edmite superior da acceso a todos los m\u00e9todos y campos p\u00fablicos no est\u00e1ticos del l\u00edmite superior.\u00a0 En la implementaci\u00f3n de nuestra clase Box<T extiende N\u00famero> {...}<\/tt> podemos invocar todos los m\u00e9todos p\u00fablicos no est\u00e1ticos definidos en la clase N\u00famero<\/tt> , como valorint()<\/tt> por ejemplo.\u00a0 Sin el l\u00edmite superior, el compilador rechazar\u00eda cualquier invocaci\u00f3n de este tipo. Ejemplo (de acceso a miembros no est\u00e1ticos debido a un l\u00edmite superior en un par\u00e1metro de tipo):<\/li>\n<\/ol>\n
clase Box<T extiende N\u00famero> {\u00a0<\/tt>
\n \u00a0\u00a0 valor T privado;\u00a0<\/tt>
\n \u00a0\u00a0 Caja p\u00fablica(T t) { valor = t; }\u00a0<\/tt>
\n \u00a0\u00a0 public int incremento() { valor de retorno.intValue()+1; } \/\/ <= ser\u00eda un error sin el n\u00famero vinculado<\/b> <\/tt>
\n \u00a0\u00a0 ...<\/tt>