public void imprimePair( Par<String,Long><\/span> <\/b> par) {<\/tt>
\n \u00a0 System.out.println(\"(\"+pair.getFirst()+\",\"+pair.getSecond()+\")\");<\/tt>
\n }<\/tt> Par<String,Long><\/span> <\/b> limite = novo Par<String,Long><\/span> <\/b> (\"m\u00e1ximo\",1024L);<\/tt>
\n printPair(limite);<\/tt><\/p><\/blockquote>\nExemplo (de um tipo wildcard parametrizado):<\/p>\n
\n public void imprimePair( Par<?,?><\/span> <\/b> par) {<\/tt>
\n \u00a0 System.out.println(\"(\"+pair.getFirst()+\",\"+pair.getSecond()+\")\");<\/tt>
\n }<\/tt> Par<?,?><\/span> <\/b> limite = novo Par<String,Long><\/span> <\/b> (\"m\u00e1ximo\",1024L);<\/tt>
\n printPair(limite);<\/tt><\/p><\/blockquote>\n<\/blockquote>\nTodas as instancia\u00e7\u00f5es de um tipo gen\u00e9rico partilham a mesma representa\u00e7\u00e3o do tipo de tempo de execu\u00e7\u00e3o, ou seja, a representa\u00e7\u00e3o do tipo bruto. Por exemplo, as instancia\u00e7\u00f5es de um tipo gen\u00e9rico Lista<\/tt> , como Lista<Data><\/tt> , Lista<String><\/tt> , Lista<Long><\/tt> , etc. t\u00eam tipos est\u00e1ticos diferentes em tempo de compila\u00e7\u00e3o, mas o mesmo tipo din\u00e2mico Lista <\/tt> em tempo de execu\u00e7\u00e3o.<\/p>\n
Um elenco \u00e9 constitu\u00eddo por duas partes:<\/p>\n
\n- uma verifica\u00e7\u00e3o est\u00e1tica de tipo realizada pelo compilador em tempo de compila\u00e7\u00e3o e<\/li>\n
- uma verifica\u00e7\u00e3o din\u00e2mica de tipo realizada pela m\u00e1quina virtual em tempo de execu\u00e7\u00e3o.<\/li>\n<\/ul>\n
A parte est\u00e1tica classifica as conjura\u00e7\u00f5es sem sentido, que n\u00e3o podem ter sucesso, como a conjura\u00e7\u00e3o de Corda<\/tt> que Data<\/tt> ou de Lista<String><\/tt> que Lista<Data><\/tt> .<\/p>\n
A parte din\u00e2mica utiliza a informa\u00e7\u00e3o do tipo de tempo de execu\u00e7\u00e3o e executa uma verifica\u00e7\u00e3o de tipo em tempo de execu\u00e7\u00e3o.\u00a0 Isto levanta um ClassCastException<\/tt> se o tipo din\u00e2mico do objeto n\u00e3o for o tipo de destino (ou um subtipo do tipo de destino) da convers\u00e3o. Exemplos de moldes com parte din\u00e2mica s\u00e3o os moldes de Objeto<\/tt> que Corda<\/tt> ou de Objeto<\/tt> que Lista<String><\/tt> .\u00a0 S\u00e3o os chamados downcasts, de um supertipo at\u00e9 um subtipo.<\/p>\n
Exemplos de tipos parametrizados concretos s\u00e3o Lista<String><\/tt> , Mapa<String,Data><\/tt> , mas n\u00e3o Lista<? estende o n\u00famero><\/tt> ou Mapa<String,?><\/tt> .<\/p>\n
Por vezes espera-se que um Lista<Object><\/tt> seria um supertipo de um Lista<String><\/tt> , porque Objeto<\/tt> \u00e9 um supertipo de Corda<\/tt> .\u00a0 Esta expectativa decorre do facto de existir tal tipo de rela\u00e7\u00e3o para arrays:\u00a0 Objeto[]<\/tt> \u00e9 um supertipo de Corda[]<\/tt> , porque Objeto<\/tt> \u00e9 um supertipo de Corda<\/tt> . (Este tipo de relacionamento \u00e9 conhecido como covari\u00e2ncia<\/i> .) A rela\u00e7\u00e3o de supersubtipo dos tipos de componentes estende-se aos tipos de array correspondentes. N\u00e3o existe tal rela\u00e7\u00e3o de tipo para instancia\u00e7\u00f5es de tipos gen\u00e9ricos. (Tipos parametrizados s\u00e3o n\u00e3o<\/i> covariante.)<\/p>\n
A falta de uma rela\u00e7\u00e3o de supersubtipo entre instancia\u00e7\u00f5es do mesmo tipo gen\u00e9rico tem v\u00e1rias consequ\u00eancias.\u00a0 Aqui est\u00e1 um exemplo.<\/p>\n
Exemplo:<\/p>\n
void printAll(ArrayList<Object> c) {<\/tt>
\n \u00a0 para (Objecto o: c)\u00a0<\/tt>
\n \u00a0\u00a0\u00a0 System.out.println(o);<\/tt>
\n }<\/tt> ArrayList<String> lista = new ArrayList<String>();<\/tt>
\n ... preencher lista ...<\/tt>
\n imprimirTodos(lista);\u00a0\u00a0 \/\/erro<\/tt><\/p>\n
UM ArrayList<String><\/tt> objeto n\u00e3o pode ser passado como argumento para um m\u00e9todo que solicita um ArrayList<Object><\/tt> porque os dois tipos s\u00e3o instancia\u00e7\u00f5es do mesmo tipo gen\u00e9rico, mas para diferente<\/i> argumentos de tipo e, por esse motivo, n\u00e3o s\u00e3o compat\u00edveis entre si.<\/p>\n
Os tipos parametrizados concretos s\u00e3o instancia\u00e7\u00f5es concretas de um tipo gen\u00e9rico.\u00a0 S\u00e3o quase como tipos; existem apenas algumas restri\u00e7\u00f5es.\u00a0 N\u00c3O podem ser utilizados para os seguintes fins:<\/p>\n
\n- para cria\u00e7\u00e3o de matrizes<\/li>\n
- no tratamento de exce\u00e7\u00f5es<\/li>\n
- numa classe literal<\/li>\n
- num inst\u00e2ncia de<\/tt> express\u00e3o<\/li>\n<\/ul>\n
As matrizes que contenham elementos cujo tipo \u00e9 um tipo parametrizado concreto s\u00e3o ilegais.<\/p>\n
Exemplo (de tipo de array ilegal):<\/p>\n
teste est\u00e1tico de vazio() {<\/tt>
\n \u00a0 Par<Inteiro,Inteiro>[]<\/span> <\/b> intPairArr = novo Par<Inteiro,Inteiro>[10]<\/span> <\/b> ; \/\/erro<\/span> <\/b> <\/tt>
\n \u00a0 addElements(intPairArr);\u00a0<\/tt>
\n \u00a0 Pair<Integer,Integer> par = intPairArr[1];<\/tt>
\n \u00a0 Inteiro i = par.getFirst();<\/tt>
\n \u00a0 par.setSecond(i);<\/tt>
\n }<\/tt>
\n static void addElements( Objeto[]<\/b> objArr) {<\/tt>
\n \u00a0 objArr[0] = new Par<Integer,Integer>(0,0);<\/tt>
\n \u00a0 objArr[1] = new Par<String,String>(\"\",\"\");\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ deve falhar com ArrayStoreException<\/tt>
\n }<\/tt><\/p>\nO compilador pro\u00edbe a cria\u00e7\u00e3o de arrays cujo tipo de componente seja um tipo parametrizado concreto, como Par<Inteiro,Inteiro><\/tt> no nosso exemplo.\u00a0 Discutimos na entrada anterior porque \u00e9 razo\u00e1vel que o compilador qualifique um Par<Inteiro,Inteiro>[]<\/tt> <\/span> como ilegal.\u00a0 O principal problema \u00e9 que o compilador e o sistema de tempo de execu\u00e7\u00e3o devem garantir que um array \u00e9 um homog\u00eaneo<\/i> sequ\u00eancia de elementos do mesmo tipo.\u00a0 Uma das verifica\u00e7\u00f5es de tipo, ou seja, a verifica\u00e7\u00e3o de armazenamento de arrays realizada pela m\u00e1quina virtual em tempo de execu\u00e7\u00e3o, n\u00e3o consegue detetar a inser\u00e7\u00e3o ofensiva de um elemento estranho. No exemplo, a segunda inser\u00e7\u00e3o no adicionarElementos<\/tt> O m\u00e9todo deveria falhar, porque estavam a adicionar um par de strings a um array de valores integrais, mas n\u00e3o falha como esperado. Os motivos foram discutidos na entrada anterior.<\/p>\nSe n\u00e3o pudermos utilizar matrizes contendo elementos cujo tipo \u00e9 um tipo parametrizado concreto, o que utilizaremos como solu\u00e7\u00e3o alternativa?<\/p>\n
Consideremos tr\u00eas solu\u00e7\u00f5es alternativas conceb\u00edveis:<\/p>\n
\n- matriz de tipos brutos<\/li>\n
- matriz de tipo parametrizado wildcard ilimitado<\/li>\n
- cole\u00e7\u00e3o em vez de array<\/li>\n<\/ul>\n
Embora as matrizes de tipos parametrizados concretos sejam ilegais, s\u00e3o permitidas cole\u00e7\u00f5es de tipos parametrizados concretos.<\/p>\n
Um tipo parametrizado curinga \u00e9 uma instancia\u00e7\u00e3o de um tipo gen\u00e9rico em que pelo menos um argumento de tipo \u00e9 um curinga.\u00a0 Exemplos de tipos parametrizados wildcard s\u00e3o Cole\u00e7\u00e3o<?><\/tt> , Lista<? estende o n\u00famero><\/tt> , Comparador<? super String><\/tt> e Par<String,?><\/tt> . Um tipo parametrizado wildcard denota uma fam\u00edlia de tipos que compreende instancia\u00e7\u00f5es concretas de um tipo gen\u00e9rico.\u00a0 O tipo de joker utilizado determina quais os tipos parametrizados concretos que pertencem \u00e0 fam\u00edlia.\u00a0 Por exemplo, o tipo parametrizado wildcard Cole\u00e7\u00e3o<?><\/tt> denota a fam\u00edlia de todas as instancia\u00e7\u00f5es do Cole\u00e7\u00e3o<\/tt> interface independentemente do argumento de tipo.\u00a0 O tipo parametrizado curinga Lista<? estende o n\u00famero><\/tt> denota a fam\u00edlia de todos os tipos de lista em que o tipo de elemento \u00e9 um subtipo de\u00a0 N\u00famero<\/tt> .\u00a0 O tipo parametrizado curinga Comparador<? super String><\/tt> \u00e9 a fam\u00edlia de todas as instancia\u00e7\u00f5es do Comparador<\/tt> interface para tipos de argumentos de tipo que s\u00e3o supertipos de Corda.<\/tt><\/p>\n
Um tipo parametrizado wildcard n\u00e3o \u00e9 um tipo no sentido regular (diferente de uma classe\/interface n\u00e3o parametrizada ou de um tipo bruto).<\/em> <\/strong><\/p>\nOs tipos curinga parametrizados podem ser utilizados para digita\u00e7\u00e3o (como classes e interfaces n\u00e3o parametrizadas):<\/p>\n
\n- como argumentos e tipos de m\u00e9todos de retorno<\/li>\n
- como tipo de campo ou vari\u00e1vel de refer\u00eancia local<\/li>\n
- como tipo de componente de um argumento de tipo arrayas de outros tipos parametrizados<\/li>\n
- como tipo de alvo em lan\u00e7amentos<\/li>\n<\/ul>\n
N\u00e3o s\u00f3 os tipos podem ser gen\u00e9ricos, como os m\u00e9todos tamb\u00e9m podem ser gen\u00e9ricos. Os m\u00e9todos est\u00e1ticos e n\u00e3o est\u00e1ticos, bem como os construtores, podem ter par\u00e2metros de tipo. A sintaxe para a declara\u00e7\u00e3o dos par\u00e2metros formais do tipo \u00e9 semelhante \u00e0 sintaxe para os tipos gen\u00e9ricos. A sec\u00e7\u00e3o do par\u00e2metro de tipo \u00e9 delimitada por par\u00eantesis angulares e aparece antes do tipo de retorno do m\u00e9todo. A sua sintaxe e significado s\u00e3o id\u00eanticos \u00e0 lista de par\u00e2metros de tipo de um tipo gen\u00e9rico.<\/p>\n
Eis o exemplo de um gen\u00e9rico m\u00e1x.<\/tt> m\u00e9todo que calcula o maior valor numa cole\u00e7\u00e3o de elementos de tipo desconhecido UM<\/tt> .<\/p>\n
Exemplo (de um m\u00e9todo gen\u00e9rico):<\/p>\n
Cole\u00e7\u00f5es de turma {<\/tt>
\n \u00a0 est\u00e1tica p\u00fablica <A estende Compar\u00e1vel<A>> A<\/span> <\/b> max(Cole\u00e7\u00e3o< UM<\/span> <\/b> > xs) {<\/tt>
\n \u00a0\u00a0\u00a0 Iterador< UM<\/span> <\/b> > xi = xs.iterator();<\/tt>
\n \u00a0\u00a0\u00a0 UM<\/span> <\/b> w = xi. seguinte();<\/tt>
\n \u00a0\u00a0\u00a0 while (xi.hasNext()) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0 UM<\/span> <\/b> x = xi. seguinte();<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0 if (w.compareTo(x) < 0) w = x;<\/tt>
\n \u00a0\u00a0\u00a0 }<\/tt>
\n \u00a0\u00a0\u00a0 retornar w;<\/tt>
\n \u00a0 }<\/tt>
\n }\u00a0<\/tt><\/p><\/blockquote>\nO m\u00e1x.<\/tt> m\u00e9todo tem um par\u00e2metro de tipo, denominado UM<\/tt> .\u00a0 \u00c9 um espa\u00e7o reservado para o tipo de elemento da cole\u00e7\u00e3o em que o m\u00e9todo funciona. O par\u00e2metro type tem um limite; deve ser um tipo que seja um subtipo de Compar\u00e1vel<A><\/tt><\/p>\n
Exemplo (do mesmo tipo gen\u00e9rico, desta vez com<\/i> limites):<\/p>\n interface p\u00fablica compar\u00e1vel<T> {<\/tt>
\n \u00a0 public int compararTo(T arg);<\/tt>
\n }<\/tt>
\n classe p\u00fablica TreeMap<Key estende Compar\u00e1vel<Key><\/span> <\/b> ,Dados>{<\/tt>
\n \u00a0 private static class Entry<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> esquerda = nulo;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entrada<K,V> direita = nulo;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entrada<K,V> pai;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 private transient Entry<Key,Data> root = null;<\/tt>
\n \u00a0 ...<\/tt>
\n \u00a0 private Entry<Key,Data> getEntry(chave-chave) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Entrada<Key,Dados> p = raiz;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 Chave k = chave;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 while (p! = nulo) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 int cmp = k. compareTo(p.key)<\/span> <\/b> ;\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 if (cmp == 0)<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 devolver p;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 sen\u00e3o se (cmp < 0)<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p. esquerda;<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 outro\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 p = p.direito;\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 }<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 retornar nulo;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 public boolean containsKey(Chave-chave) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 return getEntry(chave)! = nulo;<\/tt>
\n \u00a0 }<\/tt>
\n \u00a0 ...<\/tt>
\n }<\/tt><\/p><\/blockquote>\nNo exemplo acima, o par\u00e2metro de tipo Chave<\/tt> tem o limite Compar\u00e1vel<Key><\/tt> .\u00a0 A especifica\u00e7\u00e3o de um limite tem dois efeitos:<\/p>\n\n- D\u00e1 acesso aos m\u00e9todos que o limite especifica<\/i> .\u00a0 No exemplo, o limite Compar\u00e1vel<Key> <\/tt> d\u00e1 acesso ao comparar com<\/tt> m\u00e9todo que queremos invocar na implementa\u00e7\u00e3o do nosso \u00c1rvoreMapa<\/tt> aula.<\/li>\n<\/ul>\n
\n- Apenas os tipos “dentro dos limites” podem ser utilizados para a instancia\u00e7\u00e3o do tipo gen\u00e9rico.<\/i> \u00a0 No exemplo, um tipo parametrizado como TreeMap<Number,String><\/tt> seria rejeitado, porque o tipo N\u00famero<\/tt> n\u00e3o \u00e9 um subtipo de Compar\u00e1vel<N\u00famero><\/tt> .\u00a0 Um tipo parametrizado como TreeMap<String,String><\/tt> seria aceite, porque o tipo String est\u00e1 dentro dos limites, ou seja, \u00e9 um subtipo de Compar\u00e1vel<String><\/tt> .<\/li>\n<\/ul>\n
Todas as classes, interfaces e tipos de enum podem ser utilizados como limite de par\u00e2metros de tipo, incluindo tipos aninhados e internos.\u00a0 Nem os tipos primitivos nem os tipos de array podem ser utilizados como limite de par\u00e2metros de tipo.<\/p>\n
Exemplos (de limites de par\u00e2metros de tipo):<\/p>\n
classe X0 <T estende interno<\/span> <\/b> > {...}\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/erro<\/span> <\/b> <\/tt>
\n classe X1 <T estende Objeto[]<\/span> <\/b> > {...} \/\/erro<\/span> <\/b> <\/tt>
\n classe X2 <T estende N\u00famero<\/span> <\/b> > {...}<\/tt>
\n classe X3 <T estende Corda<\/span> <\/b> > {...}<\/tt>
\n classe X4 <T estende Execut\u00e1vel<\/span> <\/b> > {...}<\/tt>
\n classe X5 <T estende Thread.Estado<\/span> <\/b> > {...}<\/tt>
\n classe X6 <T estende Lista<\/span> <\/b> > {...}<\/tt>
\n classe X7 <T estende Lista<String><\/span> <\/b> > {...}<\/tt>
\n classe X8 <T estende Lista<? estende o n\u00famero><\/span> <\/b> > {...}<\/tt>
\n classe X9 <T estende Compar\u00e1vel<? super N\u00famero><\/span> <\/b> > {...}<\/tt>
\n classe X10<T estende Mapa.Entry<?,?><\/span> <\/b> > {...}<\/tt><\/p><\/blockquote>\nO exemplo de c\u00f3digo mostra que tipos primitivos como interno<\/tt> e tipos de array como Objeto[] <\/tt> n\u00e3o s\u00e3o permitidos como limite de par\u00e2metro de tipo.<\/p>\n
Os tipos de classe, como N\u00famero<\/tt> ou Corda<\/tt> e tipos de interface, como Execut\u00e1vel<\/tt> , s\u00e3o permitidos como limite de par\u00e2metro de tipo.<\/p>\n
Os tipos de enumera\u00e7\u00e3o, como Thread.Estado<\/tt> tamb\u00e9m s\u00e3o permitidos como limite de par\u00e2metro de tipo. Thread.Estado<\/tt> \u00e9 um exemplo de um tipo aninhado utilizado como limite de par\u00e2metro de tipo.\u00a0 Os tipos internos n\u00e3o est\u00e1ticos tamb\u00e9m s\u00e3o permitidos.<\/p>\n
Os tipos brutos s\u00e3o permitidos como par\u00e2metros de tipo vinculados; Lista<\/span> <\/tt> \u00e9 um exemplo.<\/p>\nOs tipos parametrizados s\u00e3o permitidos como limite de par\u00e2metro de tipo, incluindo tipos parametrizados concretos, como Lista<String><\/tt> , tipos parametrizados de joker limitados, como Lista<? estende o n\u00famero><\/tt> e Compar\u00e1vel<? superlongo><\/tt> e tipos parametrizados de wildcard ilimitados, como Mapa.Entry<?,?><\/tt> .\u00a0 Um limite que \u00e9 um tipo parametrizado wildcard permite como argumento de tipo todos os tipos que pertencem \u00e0 fam\u00edlia de tipos que o joker denota.\u00a0 O limite de tipo parametrizado wildcard apenas fornece acesso restrito a campos e m\u00e9todos; as restri\u00e7\u00f5es dependem do tipo de joker.<\/p>\n
Exemplo (de tipo wildcard parametrizado como limite de par\u00e2metro de tipo):<\/p>\n
classe X< T estende List<? estende o n\u00famero><\/span> <\/b> >{<\/tt>
\n \u00a0 public void algumMetodo(T t) {<\/tt>
\n \u00a0\u00a0\u00a0 t.add(novo Longo(0L));\u00a0\u00a0\u00a0 \/\/erro<\/span> <\/b> <\/tt>
\n \u00a0\u00a0\u00a0 N\u00famero n = t.remove(0);<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt>
\n classe Teste {<\/tt>
\n \u00a0 public static void main(String[] args) {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0 <\/span> <\/b> X<ArrayList<<\/span> Longo<\/span> <\/b> >> x1 = new X<ArrayList<Long>>();\u00a0<\/span> <\/tt>
\n \u00a0\u00a0\u00a0\u00a0 X<ArrayList<<\/span> Corda<\/span> <\/b> >> x2 = new X<ArrayList<String>>(); <\/span> \/\/erro<\/span> <\/b> <\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nVari\u00e1veis \u200b\u200bde refer\u00eancia do tipo T <\/tt> (o par\u00e2metro de tipo) s\u00e3o tratados como vari\u00e1veis \u200b\u200bde refer\u00eancia de um tipo curinga (o par\u00e2metro de tipo ligado).\u00a0 No nosso exemplo, a consequ\u00eancia \u00e9 que o compilador rejeita a invoca\u00e7\u00e3o de m\u00e9todos que recebem um argumento do tipo “unknown” que o par\u00e2metro de tipo representa, como Lista.adicionar<\/tt> , porque o limite \u00e9 um tipo parametrizado wildcard com um limite superior.
\nAo mesmo tempo o limite Lista<? estende o n\u00famero><\/tt> determina os tipos que podem ser utilizados como argumentos de tipo. O compilador aceita todos os argumentos de tipo que pertencem \u00e0 fam\u00edlia de tipos Lista<? estende o n\u00famero><\/tt> , isto \u00e9, todos os subtipos de Lista<\/tt> com um argumento de tipo que \u00e9 um subtipo de N\u00famero<\/tt> .<\/p>\n
Um par\u00e2metro de tipo pode ser utilizado como limite de outro par\u00e2metro de tipo.<\/p>\n
Exemplo (de um par\u00e2metro de tipo utilizado como limite de par\u00e2metro de tipo):<\/p>\n
classe Triplo <T><\/b> {<\/tt>
\n \u00a0 privado T fst, snd, trd;<\/tt>
\n \u00a0 p\u00fablico < Voc\u00ea<\/b> estende T<\/span> <\/b> , V estende T<\/span> <\/b> , C estende T<\/span> <\/b> > Triplo (U arg1, V arg2, W arg3) {<\/tt>
\n \u00a0\u00a0\u00a0 fst = arg1;<\/tt>
\n \u00a0\u00a0\u00a0 snd = arg2;<\/tt>
\n \u00a0\u00a0\u00a0 trd = arg3;<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nNeste exemplo o par\u00e2metro de tipo T<\/tt> da classe parametrizada \u00e9 utilizado como limite dos par\u00e2metros do tipo Voc\u00ea<\/tt> ,\u00a0 V<\/tt> e C<\/tt> de um m\u00e9todo de inst\u00e2ncia parametrizado dessa classe.<\/p>\n
Outras oportunidades para utilizar par\u00e2metros de tipo como limites de outros par\u00e2metros de tipo incluem situa\u00e7\u00f5es em que um tipo aninhado \u00e9 definido dentro de um tipo gen\u00e9rico ou uma classe local \u00e9 definida dentro de um m\u00e9todo gen\u00e9rico.\u00a0 \u00c9 ainda permitido utilizar um par\u00e2metro de tipo como limite de outro par\u00e2metro de tipo na mesma sec\u00e7\u00e3o de par\u00e2metro de tipo.<\/p>\n
Um limite que \u00e9 uma classe d\u00e1 acesso a todos os seus membros p\u00fablicos, ou seja, campos p\u00fablicos, m\u00e9todos e tipos aninhados. Apenas os construtores n\u00e3o s\u00e3o acess\u00edveis, porque n\u00e3o h\u00e1 garantia de que uma subclasse do limite tenha os mesmos construtores que o limite.<\/p>\n
Exemplo (de uma classe utilizada como limite de um par\u00e2metro de tipo):<\/p>\n
aula p\u00fablica SuperClasse<\/span> {<\/tt> \u00a0\u00a0\u00a0 \/\/ membros est\u00e1ticos<\/tt>
\n \u00a0\u00a0\u00a0 enum public EnumType {ISSO, ISSO}<\/tt>
\n \u00a0\u00a0\u00a0 objeto est\u00e1tico p\u00fablico staticField;<\/tt>
\n \u00a0\u00a0\u00a0 public static void staticMethod() { ... }<\/tt><\/p>\n \u00a0\u00a0\u00a0 \/\/ membros n\u00e3o est\u00e1ticos<\/tt>
\n \u00a0\u00a0\u00a0 public class InnerClass {...}<\/tt>
\n \u00a0\u00a0\u00a0 public object n\u00e3oStaticField;<\/tt>
\n \u00a0\u00a0\u00a0 public void n\u00e3oStaticMethod() { ... }<\/tt><\/p>\n
\u00a0\u00a0\u00a0 \/\/ construtores<\/tt>
\n \u00a0\u00a0\u00a0 public SuperClass() { ... }<\/tt><\/p>\n
\u00a0\u00a0\u00a0 \/\/ membros privados<\/tt>
\n \u00a0\u00a0\u00a0 objeto privado campoprivado;\u00a0<\/tt><\/p>\n
\u00a0\u00a0\u00a0 ...<\/tt>
\n }<\/tt><\/p>\n
public final class SomeClass<T extends SuperClasse<\/span> <\/b> >{<\/tt>
\n \u00a0\u00a0\u00a0 objeto T privado;<\/tt>
\n \u00a0\u00a0\u00a0 public AlgumaClasse(T t) { objeto = t; }\u00a0<\/tt><\/p>\n \u00a0\u00a0\u00a0 public string paraString() {<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 retornar<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \"tipo aninhado 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 aninhado n\u00e3o est\u00e1tico: \"+T.InnerClass.class+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"campo n\u00e3o est\u00e1tico\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+object.nonStaticField+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"m\u00e9todo n\u00e3o est\u00e1tico\u00a0\u00a0\u00a0\u00a0 : \"+object.nonStaticMethod()+\"\\n\"<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"construtor\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+(novo T())+\"\\n\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ erro<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 +\"membro privado\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 : \"+object.privateField+\"\\n\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \/\/ erro\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 ;<\/tt>
\n \u00a0\u00a0\u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
O limite SuperClasse<\/tt> d\u00e1 acesso aos seus tipos aninhados, campos e m\u00e9todos est\u00e1ticos e campos e m\u00e9todos n\u00e3o est\u00e1ticos.\u00a0 Apenas o construtor n\u00e3o est\u00e1 acess\u00edvel.\u00a0 Isto ocorre porque os construtores n\u00e3o s\u00e3o herdados. Cada subclasse define os seus pr\u00f3prios construtores e n\u00e3o tem de suportar os construtores da sua superclasse.\u00a0 Assim, n\u00e3o h\u00e1 garantia de que uma subclasse de SuperClasse<\/tt> ter\u00e1 o mesmo construtor que a sua superclasse.<\/p>\n
O contexto em que Enum<E estende Enum<E>><\/tt> “aparece \u00e9 a declara\u00e7\u00e3o do Enum<\/tt> classe no pacote java.lang<\/tt> :<\/p>\n classe abstrata p\u00fablica Enum<E estende Enum<E>><\/b> {<\/tt>
\n \u00a0 ...<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
O tipo Enum<\/tt> \u00e9 a classe base comum de todos os tipos de enumera\u00e7\u00e3o.\u00a0 Em Java, um tipo de enumera\u00e7\u00e3o como Cor<\/tt> \u00e9 traduzido numa classe Cor<\/tt> que se estende Enum<Color><\/tt> . O objectivo da superclasse Enum<\/tt> \u00e9 fornecer funcionalidade comum a todos os tipos de enumera\u00e7\u00e3o.<\/p>\n
Aqui est\u00e1 um esbo\u00e7o da aula Enum<\/tt> :<\/p>\n classe abstrata p\u00fablica Enum< E<\/span> estende Enum<E>><\/b> implementa Comparable< E<\/span> <\/b> >, serializ\u00e1vel {<\/tt>
\n \u00a0 nome da string final privada;<\/tt>
\n \u00a0 public final string nome() { ... }<\/tt> \u00a0 privado final int ordinal;<\/tt>
\n \u00a0 public final int ordinal() { ... }<\/tt><\/p>\n \u00a0 Enum protected (string nome, int ordinal) { ... }<\/tt><\/p>\n
\u00a0 Public String\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 toString() { ... }<\/tt>
\n \u00a0 public final boolean equals(Objecto outro) {...}<\/tt>
\n \u00a0 public final int hashCode() { ... }<\/tt>
\n \u00a0 protected end object clone() throws CloneNotSupportedException { ... }<\/tt>
\n \u00a0 public final int compareTo( E<\/span> <\/b> o) {...}<\/tt><\/p>\n \u00a0 Classe final p\u00fablica< E<\/span> <\/b> > getDeclaringClass() { ... }<\/tt>
\n \u00a0 public static <T extends Enum<T>> T valueOf(Class<T> enumType, String name) { ... }<\/tt>
\n }<\/tt><\/p><\/blockquote>\nA caracter\u00edstica surpreendente da afirma\u00e7\u00e3o “ Enum<E estende Enum<E>><\/tt> ” \u00e9 o facto de a classe rec\u00e9m-definida Enum<\/tt> e o seu par\u00e2metro de tipo rec\u00e9m-definido E <\/tt> aparecem no limite desse mesmo par\u00e2metro de tipo.\u00a0 Significa que o Enum<\/tt> type deve ser instanciado para um dos seus subtipos.\u00a0 Para perceber porque \u00e9 que isto faz sentido, considere-se que todo o tipo enum \u00e9 traduzido num subtipo de Enum<\/tt> .<\/p>\n
Eis o tipo de enum inventado Cor<\/tt> :<\/p>\n enumera\u00e7\u00e3o Cor<\/b> {VERMELHO, AZUL, VERDE}<\/tt><\/p><\/blockquote>\n
O compilador traduz-no na seguinte classe:<\/p>\n
aula final p\u00fablica Cor<\/b> estende Enum<Color><\/b> {<\/tt>
\n \u00a0 public static final Color[] valores() { return (Color[])$VALUES. clone(); }<\/tt>
\n \u00a0 public static color valueOf (string nome) { ... }<\/tt> \u00a0 private color (String s, int i) { super (s, i); }<\/tt><\/p>\n
\u00a0 p\u00fablico est\u00e1tico final Cor VERMELHO;<\/tt>
\n \u00a0 public static final Cor AZUL;<\/tt>
\n \u00a0 p\u00fablico est\u00e1tico final Cor VERDE;<\/tt><\/p>\n
\u00a0 private static final cor $VALUES[];<\/tt><\/p>\n
\u00a0 est\u00e1tico {<\/tt>
\n \u00a0\u00a0\u00a0 VERMELHO = new Cor(\"VERMELHO\", 0);<\/tt>
\n \u00a0\u00a0\u00a0 AZUL = new Cor(\"AZUL\", 1);<\/tt>
\n \u00a0\u00a0\u00a0 VERDE = nova Cor(\"VERDE\", 2);<\/tt>
\n \u00a0\u00a0\u00a0 $VALUES = (nova Cor[] { VERMELHO, AZUL, VERDE });<\/tt>
\n \u00a0 }<\/tt>
\n }<\/tt><\/p><\/blockquote>\n
A heran\u00e7a tem o efeito de que o Cor<\/tt> type herda todos os m\u00e9todos implementados no Enum<Color><\/tt> .\u00a0 Entre eles est\u00e1 o comparar com<\/tt> m\u00e9todo.\u00a0 O Cor. comparar com<\/tt> m\u00e9todo deveria provavelmente levar um Cor<\/tt> como argumento.\u00a0 Para que isso aconte\u00e7a, a aula Enum<\/tt> \u00e9 gen\u00e9rico e o Enum.compareTo<\/tt> m\u00e9todo leva Enum<\/tt> par\u00e2metro de tipo E <\/tt> como argumento.\u00a0 Como resultado, digite Cor<\/tt> derivado de Enum<Color><\/tt> herda um comparar com<\/tt> m\u00e9todo que leva um Cor<\/tt> como e argumento, exatamente como deveria.
\nSe dissecarmos a declara\u00e7\u00e3o “ Enum<E estende Enum<E>><\/tt> “podemos perceber que este padr\u00e3o tem v\u00e1rios aspetos.<\/p>\n
Em primeiro lugar, existe o facto de que o par\u00e2metro de tipo ligado \u00e9 o pr\u00f3prio tipo: “ Enum<\/b> <E estende Enum<\/b> <E>><\/tt> “. Garante que apenas os subtipos do tipo Enum<\/tt> s\u00e3o permitidos como argumentos de tipo. (Teoricamente, digite Enum<\/tt> poderia ser instanciado em si mesmo, como em Enum<Enum><\/tt> , mas isso n\u00e3o \u00e9 certamente intencional e \u00e9 dif\u00edcil imaginar uma situa\u00e7\u00e3o em que tal instancia\u00e7\u00e3o seja \u00fatil.)<\/p>\n
Em segundo lugar, h\u00e1 o facto de que o tipo ligado ao par\u00e2metro \u00e9 o tipo parametrizado Enum <E><\/b> <\/tt> , que utiliza o par\u00e2metro de tipo E<\/tt> como o argumento de tipo do limite. Esta declara\u00e7\u00e3o garante que a rela\u00e7\u00e3o de heran\u00e7a entre um subtipo e uma instancia\u00e7\u00e3o de Enum<\/tt> \u00e9 da forma X estende Enum<X><\/tt> “. Um subtipo como “ X estende Enum<Y><\/tt> “n\u00e3o pode ser declarado por causa do argumento de tipo S<\/tt> n\u00e3o estaria dentro dos limites; apenas subtipos de Enum<X><\/tt> est\u00e3o dentro dos limites.<\/p>\n
Terceiro, h\u00e1 o facto de Enum<\/tt> \u00e9 gen\u00e9rico em primeiro lugar.\u00a0 Isto significa que alguns dos m\u00e9todos da classe Enum<\/tt> receber um argumento ou devolver um valor de um tipo desconhecido (ou depender de um tipo desconhecido). Como j\u00e1 sabemos, este tipo desconhecido ser\u00e1 mais tarde um subtipo X<\/tt> de Enum<X><\/tt> .\u00a0 Portanto, no tipo parametrizado Enum<X><\/tt> , estes m\u00e9todos envolvem o subtipo X<\/tt> , e s\u00e3o herdados no subtipo X<\/tt> .\u00a0 O comparar com<\/tt> m\u00e9todo \u00e9 um exemplo de um m\u00e9todo deste tipo; \u00e9 herdado da superclasse para cada subclasse e tem uma assinatura espec\u00edfica da subclasse em cada caso.<\/p>\n
Em suma, a declara\u00e7\u00e3o “ Enum<E estende Enum<E>><\/tt> ” pode ser decifrado como: Enum<\/tt> \u00e9 um tipo gen\u00e9rico que s\u00f3 pode ser instanciado para os seus subtipos, e estes subtipos herdar\u00e3o alguns m\u00e9todos \u00fateis, alguns dos quais aceitam argumentos espec\u00edficos do subtipo (ou dependem do subtipo).<\/p>\n
Par\u00e2metros de tipo de limite inferior de classes<\/b><\/p>\n
Os par\u00e2metros de tipo podem ter v\u00e1rios limites, como por classe Box<T extends Number> {...}<\/tt> . Mas um par\u00e2metro de tipo n\u00e3o pode ter um limite inferior, ou seja, uma constru\u00e7\u00e3o como classe Caixa<T \u00f3timo<\/b> N\u00famero> {...}<\/tt> n\u00e3o \u00e9 permitido.\u00a0 Por que n\u00e3o?\u00a0 A resposta \u00e9: \u00e9 in\u00fatil porque n\u00e3o lhe compraria nada, se lhe fosse permitido.\u00a0 Vamos ver porque \u00e9 que os par\u00e2metros de tipo de limite inferior das classes s\u00e3o confusos, explorando o que significa um limite superior num par\u00e2metro de tipo.<\/p>\n
O limite superior de um par\u00e2metro de tipo tem tr\u00eas efeitos:<\/p>\n
\n\n- Instancia\u00e7\u00e3o restrita.<\/i> <\/b> O limite superior restringe o conjunto de tipos que podem ser utilizados para a instancia\u00e7\u00e3o do tipo gen\u00e9rico.\u00a0 Se declararmos um classe Box<T extends Number> {...} <\/tt> ent\u00e3o o compilador garantiria que apenas subtipos de N\u00famero<\/tt> pode ser usado como argumento de tipo.\u00a0 Ou seja, um Caixa<N\u00famero><\/tt> ou um Caixa<Longa><\/tt> \u00e9 permitido, mas um Caixa<Object><\/tt> ou Caixa<String><\/tt> seria rejeitado<\/li>\n<\/ol>\n<\/ol>\n
Exemplo (de instancia\u00e7\u00e3o restrita devido a um limite superior num par\u00e2metro de tipo):
\n classe Box<T extends N\u00famero> {\u00a0<\/tt>
\n \u00a0\u00a0 valor T privado;\u00a0<\/tt>
\n \u00a0\u00a0 caixa p\u00fablica (T t) { valor = t; }\u00a0<\/tt>
\n \u00a0\u00a0 ...<\/tt>
\n }\u00a0<\/tt> classe Teste {\u00a0<\/tt>
\n \u00a0\u00a0 public static void main(String[] args) {\u00a0<\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Box<Long> boxOfLong = new Box<Long>(0L);\u00a0\u00a0 \/\/ multar<\/b> <\/tt>
\n \u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 Box<String> boxOfString = new Box<String>(\"\"); \/\/ erro: String n\u00e3o est\u00e1 dentro dos limites<\/span> <\/b> <\/tt>
\n \u00a0\u00a0 }<\/tt>
\n }<\/tt><\/p>\n\n- Acesso a membros n\u00e3o est\u00e1ticos. <\/i> <\/b> O limite superior d\u00e1 acesso a todos os m\u00e9todos e campos n\u00e3o est\u00e1ticos p\u00fablicos do limite superior.\u00a0 Na implementa\u00e7\u00e3o do nosso classe Box<T extends Number> {...}<\/tt> podemos invocar todos os m\u00e9todos p\u00fablicos n\u00e3o est\u00e1ticos definidos na classe N\u00famero<\/tt> , como intValor()<\/tt> por exemplo.\u00a0 Sem o limite superior, o compilador rejeitaria qualquer invoca\u00e7\u00e3o deste tipo. Exemplo (de acesso a membros n\u00e3o est\u00e1ticos devido a um limite superior num par\u00e2metro de tipo):<\/li>\n<\/ol>\n
classe Box<T extends N\u00famero> {\u00a0<\/tt>
\n \u00a0\u00a0 valor T privado;\u00a0<\/tt>
\n \u00a0\u00a0 caixa p\u00fablica (T t) { valor = t; }\u00a0<\/tt>
\n \u00a0\u00a0 public int incremento() { return valor.intValue()+1; } \/\/ <= seria um erro sem o limite de n\u00famero<\/b> <\/tt>
\n \u00a0\u00a0 ...<\/tt>