Pular para o conteúdo principal

Type Inference no Java 7, generics com código compacto

O suporte a tipos genéricos, bastante conhecido pela comunidade como Generics, foi uma das mudanças mais importantes do Java, realizada  na versão 5 da linguagem. Com essa funcionalidade os programadores Java passaram a contar com a checagem do tipo dos objetos realizada pelo compilador em estruturas flexíveis.

No framework Collections do Java, por exemplo, faz muito sentido usar tipos genéricos para determinar qual tipo de objetos serão armazenados por uma coleção. Delegando ao compilador a validação desse código, sem a necessidade do programador escrever código para validação (instanceof) e conversão (casting) dos tipos.

Por outro lado, a utilização de tipos genéricos pode aumentar a complexidade e verbosidade do código! Nesse post vou demostrar as mudanças do Java 7, como a Inferência de Tipos (type inference) e o operador diamond, para deixar o código de tipos genéricos um pouco mais limpo.

Criar Coleções

O código a seguir demonstra como relacionar uma lista de emails com o nome de uma pessoa em uma coleção Map, tirando proveito dos tipos genéricos.

import java.util.*;

public class GenericosAntigo {

  public static void main(String[] args) {
    //uma mapa composto por chave string e lista de strings
    Map<String, List<String>> emails = new HashMap<String, List<String>>();

    //lista de strings
    List<String> emailsJoao = new ArrayList<String>();
    emailsJoao.add("joao@jj.com.br");
    emailsJoao.add("joao@yaw.com");
    emailsJoao.add("joao@gc.com");

    //carrega os emails
    emails.put("Joao", emailsJoao);
    emails.put("Juca", Arrays.asList("juca@yaw.com","juca@gc.com"));
    emails.put("Foo", new ArrayList<String>());
  }
}

Agora com o Java 7 é possível reduzir a instrução que cria o objeto coleção. Utilizando o operador diamond (<>), o compilador realiza a inferência do tipo de acordo com a declaração da variável, tornando a expressão mais sucinta. Veja o mesmo código utilizando o Java 7:

import java.util.*;

public class GenericosNovo {

  public static void main(String[] args) {
    //operador diamond simplifica a instancia do HashMap
    Map<String, List<String>> emails = new HashMap<>();

    //outro exemplo do diamond
    List<String> emailsJoao = new ArrayList<>();
    emailsJoao.add("joao@jj.com.br");
    emailsJoao.add("joao@yaw.com");
    emailsJoao.add("joao@gc.com");

    //carrega os emails
    emails.put("Joao", emailsJoao);
    emails.put("Juca", Arrays.asList("juca@yaw.com", "juca@gc.com"));
    emails.put("Foo", new ArrayList<String>());
  }
}

Uma regra importante: o operador diamond não deve ser utilizado em um contexto sem a definição da variável, com tipo a ser inferido. Veja o trecho de código:

  //instrucao invalida! o compilador nao aceita...
  emails.put("Foo", new ArrayList<>()); //nao existe relacao com tipo

  //a seguir o uso do operador diamond eh aceito
  List<String> emailsFoo;
  emails.put("Foo", emailsFoo = new ArrayList<>()); //compila!

Outro detalhe é que a inferência de tipos só ocorre com o uso do operador diamond. O código a seguir não utiliza a inferência:

  //compilador aceita, mas com warning
  List<String> emailsJoao = new ArrayList(); //unchecked conversion warning

Dessa forma, a coleção foi assinalada sem estipular um tipo de elemento. O nome para essa estratégia é raw type. Nesse caso o compilador gera um alerta, unchecked conversion warning, indicando que o tipo de objetos armazenados na coleção é desconhecido, mesmo comportamento das versões 5 e 6 do Java.

Construtores

A linguagem Java também suporta o uso de tipos genéricos para definir argumentos em construtores, generic constructors, de forma independente da tipagem da classe. Para demonstrar como isso funciona eu criei uma lista, uma extensão de ArrayList, a ListaComparadora. Essa lista recebe no construtor um comparador (Comparator), responsável pela classificação/posicionamento dos elementos que compõe a lista em uma determinada ordem. Por isso, além da coleção, também é necessário estipular qual é o tipo de elemento no comparador.

O detalhe mais importante desse exemplo é a definição do tipo do parâmetro no construtor. O trecho <C extends Comparator<E>> determina que a lista receba um objeto de algum tipo que implemente o contrato Comparator. Veja o código:

import java.util.*;

public class ListaComparadora<E> extends ArrayList<E> {

  private Comparator<E> comparador;

  public <C extends Comparator<E>> ListaComparadora(C c) {
    this.comparador = c;
  }

  @Override
  public Iterator<E> iterator() {
    Collections.sort(this, comparador);
    return super.iterator();
  }
}

A implementação da ListaComparadora funciona a partir da versão 5 do Java. Nenhum recurso especifico do Java 7 foi utilizado nessa classe. A novidade do Java 7 está na forma de criar o objeto ListaComparadora. No próximo trecho de código demonstro algumas opções de como instânciar objetos ListaComparadora.

  List<String> list;

  //opcao mais verbosa, indicando os tipos do contrutor e classe
  list = new <Comparator<String>> ListaComparadora<String>(comp);
      
  //nesse caso ocorre a inferencia do tipo comparator (funciona no Java 5 e 6)
  list = new ListaComparadora<String>(comp);
        
  //utilizando a inferencia automatica atraves do diamond (somente java 7)
  list = new ListaComparadora<>(comp);

A última instrução sem dúvidas é a opção mais interessante. O próximo código demonstra um teste na classe ListaComparadora, utilizando um comparador que ordena as strings pelo tamanho de forma ascendente.

import java.util.*;

public class TesteListaComparadora {

  public static void main(String[] args) {
    Comparator<String> comp = new Comparator<String>() {
      @Override
      public int compare(String o1, String o2) {
        //organiza as strings pelo tamanho (asc)
        return o1.length() - o2.length();
      }
    };

    //type inference
    List<String> list = new ListaComparadora<>(comp);

    list.add("Andreia");
    list.add("Claudia");
    list.add("Emy");
    list.add("Bruno");

    for (String s : list) {
      System.out.println(s);
    }
  }
}

Métodos

Da mesma forma que em construtores, os tipos genéricos também são suportados nos métodos. Com o Java 7 é possível, por exemplo, que o compilador Java faça inferência de tipos em uma coleção a partir do retorno indicado na assinatura de um método.

A classe Util demonstra como utilizar tipos genéricos em métodos, fazendo uso da inferência de tipos automática. A classe define dois métodos: o toSet carrega um LinkedHashSet a partir dos elementos informados em um parâmetro varargs;  já o método printSet recebe um Set como argumento e percorre seus elementos para realizar um print na console. Veja:

import java.*;

public class Util {

  static <T> Set<T> toSet(T ... from) {
    if (from == null || from.length == 0) return null;

    //aqui a inferencia ocorre pela assinatura do metodo
    return new LinkedHashSet<>(Arrays.asList(from));
  }

  //define um tipo para o parametro do metodo
  static <T> void printSet(T ... from) {
    if (from == null || from.length == 0) return;

    System.out.print("\nPrintSet: \t");
    for (T t: from) {
      System.out.print(t);
    }
  }


  public static void main(String[] args) {
    Set<Integer> numeros = toSet(100, 300, 250, 35);
    printSet(numeros);

    Set<String> nomes = toSet("Carlos","Ana","Pedro", "Emy");
    printSet(nomes);
  }
}

O compilador Java utiliza as informações dos tipos genéricos para validar o código, mas no momento em que o byte-code é gerado essas informações são descartadas. Essa técnica é chamada Type Erase. Essa foi a estratégia escolhida quando Generics foi implementado na linguagem, com o objetivo de manter a compatibilidade com código legado. No Java 7 esse conceito não muda! Faça um teste compile a classe GenericosNovo com o parâmetro -XD-printflat e veja o conteúdo Java que o compilador utiliza para gerar o byte-code.

O Java 7 disponibiliza outros recursos, esses links complementam o aprendizado e as novidades da linguagem:
[]s
Eder Magalhães
www.yaw.com.br
twitter.com/youandwe
twitter.com/edermag 

Comentários

Postagens mais visitadas deste blog

10 reasons why we love JSF

1. One-slide technology: it's so simple that I can explain basic JSF with one slide. 2. Easy to extend: components, listeners, render kit, Events, Controller, etc. 3. Real-world adoption: JBoss, Exadel, Oracle, IBM, ... 4. Architecture model: you can choose between more than 100 different architecture. 5. Open-mind community: using JSF you are going to meet very interesting people. 6. We are using JSF the last 5 years and we found very good market for JSF in Brazil 7. Progress: look to JSf 1.1 to JSF 1.2, JSF 1.2 to JSF 2.0. People are working really hard! 8. Many professionals now available 9. It's a standard. It's JCP. Before complain, report and help! 10. Ed Burns, spec leader, is an old Globalcode community friend! EXTRA: My wife is specialist in JSF. She's my F1 for JSF :) Nice job JSF community! -Vinicius Senger

Palestras do TDC Business Disponíveis Online

🚨 Atenção, TDC Lovers! O TDC Business em São Paulo acabou, mas os conteúdos mal começaram!  Não pô de aproveitar a STADIUM ao vivo? Não tem problema, porque trouxemos ela até você. Todas as palestras da STADIUM, palco principal do TDC, já estão no ar e liberadas para qualquer pessoa assistir. Essa Trilha incrível conta com palestras de Trilhas Premium e temas variados de forma GRATUITA para você poder maratonar de casa!  Aproveite para prestigiar seu evento de TI favorito com pipoca direto do seu sofá. 🎥 🍿 Gravação da STADIUM, 22 a 24 de Agosto de 2022, disponível aqui: https://www.globalcode.com.br/videos/tdc-2022-business/  Todas as demais trilhas do TDC Business serão publicadas gradualmente nas próximas semanas, fique atento aos nossos e-mails, você será notificado por lá quando sua Trilha estiver disponível. Acompanhe nossas redes sociais para não perder nada e ficar por dentro de todas as novidades do TDC!

TDC ONLINE: SUA PLATAFORMA DE PALESTRAS GRAVADAS DO TDC DISPONÍVEL

Além do conteúdo ao vivo transmitido online nas edições do TDC, agora você pode ter acesso à centenas de palestras gravadas, através da nossa nova plataforma de vídeos - o TDC Online, que reúne todas as Trilhas premium, Stadium e Salas dos Patrocinadores das edições anteriores de 2022, TDC Innovation e TDC Connections.  Para acessar, basta clicar na edição em que você participou ( TDC Innovation ou TDC Connections ); Fazer o mesmo login (com e-mail e senha) cadastrados na hora de adquirir ou resgatar o seu ingresso no TDC; E clicar na Trilha de sua opção, e de acordo com a modalidade do seu ingresso. Logo em seguida, você será direcionado para a seguinte página com a lista de todas as palestras por Trilha: Pronto! Agora você tem acesso à centenas de palestras gravadas da sua área de interesse, para assistir como e quando quiser! Caso tenha esquecido a senha, clique na opção "Esqueci a senha" , insira o e-mail que você realizou para o cadastro no evento, e aparecerá a op

TDC INNOVATION lança University Pass

Modalidade de ingresso tem como objetivo ajudar na capacitação dos universitários Uma pesquisa realizada em 2020 pela Associação Brasileira das Empresas de Tecnologia da Informação e Comunicação (Brasscom) diz que até o ano de 2024 o Brasil precisará de cerca de 420 mil profissionais na área de Tecnologia da Informação. Porém, por ano, a mesma pesquisa diz que o país forma apenas 46 mil profissionais capacitados no nicho. Pensando nisso, para ajudar na formação e capacitação desses jovens profissionais, o TDC INNOVATION, segunda edição do ano do The Developer's Conference, lança o University Pass, modalidade de ingresso que possibilita aceso digital gratuito a todas as palestras do evento, ou com 50% de desconto para quem preferir ir pessoalmente. Com o tema central “Desafios para a criação do futuro Digital”, o TDC INNOVATION ocorrerá entre 1 e 3 de junho, de forma híbrida: presencialmente no Centro de Convenções CentroSul, em Florianópolis, e com transmissão simultaneamente pela

Inspire a mudança com a liderança ágil

A liderança ágil é essencial para que uma organização realize mudanças de negócios significativas. Ser líder é uma tarefa desafiadora, especialmente em um cenário de constantes transformações, principalmente na forma de lidar com a relação empresa e pessoal. Pesquisas sobre liderança na era digital revelam que algumas soft skills têm sido substituídas por outras, o profundo conhecimento na área de negócio, ser referência nas tecnologias utilizadas, ter foco total no prazo e nas entregas e conhecer um arsenal de técnicas e ferramentas, têm dado espaço a habilidades, como: empatia; adaptabilidade; senso de equipe; visão e propósito; engajamento constante. A colaboração entre pessoas de todos os níveis hierárquicos são vitais, afinal, as equipes estão trabalhando para o mesmo objetivo: o encantamento e atendimento das necessidades do cliente que proporcionarão um crescimento sustentável da organização. Com propósito claro, estratégia e prioridades definidas, os times desfrutam de uma ma

Facelets ainda mais divertido! Parte II

De volta ao Facelets , na primeira parte mantive o foco na utilização de templates e técnicas de reutilização visando maior agilidade para desenvolver telas com JSF , mas o Facelets vai bem além disso! Nesse post vou comentar e mostrar um pouco sobre a criação de componentes UI (User Interface) usando xht ml - na minha opinião esse é o grande diferencial da tecnologia. Com esse recurso é possível customizar / padronizar componentes usando xhtml + tags JSF + JavaScript + Css, sem código Java. A ideia é bem próxima ao Tag File em uma rápida comparação com JSP (JavaServer Pages), mas no caso do Facelets feito de uma forma ainda mais simples e com aderência a (infra)estrutura do JSF. Vou descrever o mesmo cenário da primeira parte, um sistema composto por vários cadastros ( C reate R ead U pdate D elete). Pensando especificamente em cada formulário, usando como exemplo um rascunho ou protótipo para o cadastro de Fornecedores, podemos assumir o seguinte formato: campos para preenchi