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

PrimeFaces com JSF2 no ScrumToys

O JSF traz um grupo de componentes visuais prontos, a partir da versão 2.0 com suporte a Ajax nativo! Melhor que isso é a possibilidade de customizar ou utilizar uma suíte de componentes prontos para "turbinar" o projeto com o minimo de esforço. PrimeFaces é uma suite de componentes JSF customizados, a maioria com suporte a ajax, conta com um Kit para desenvolvimento mobile, é open source, a documentação é razoável, facíl de instalar e usar. Nesse exemplo utilizo o PrimeFaces 2.0.0, versão com suporte a JSF 2, no ScrumToys. Conheçe o ScrumToys ? ScrumToys é um Projeto Exemplo para JavaServer Faces 2.0 dentro do NetBeans 6.8, criado e mantido pelo time da Globalcode. É interessante que você tenha o NetBeans 6.8 para fazer esse exemplo, senão tiver baixe aqui . Baixe também, aqui , o PrimeFaces e o configure no NetBeans como biblioteca para o ScrumToys. Inicialmente o PrimeFaces requer a runtime JSF, mas isso pode variar dependendo de quais componentes você utilize, mai

Seja um Palestrante do TDC Connections 2022

A Equipe TDC está muito feliz e orgulhosa em começar mais uma jornada de eventos em 2022 e criar muitas oportunidades! Agora, chegou o momento para você que sempre quis ser palestrante mas não teve oportunidade, e também de quem já é palestrante experiente, e está ansioso para compartilhar aquela nova prática ou caso de sucesso fresquinho, submeter sua palestra para o TDC Connections e co-criar conosco o maior evento de desenvolvedores do Brasil.  Link de inscrição: https://cfp-conn.thedevconf.com.br/?_ga=2.103579840.1386204218.1643036190-1988609034.1631800014 Confira aqui o calendário do TDC 2022. Nesta edição teremos muitas novidades e você poderá palestrar de forma Online ou Presencial! Entenda como vai funcionar o TDC CONNECTIONS: Nesta edição, além de todo o conteúdo dividido em Trilhas transmitidas ao vivo (13 trilhas simultâneas) também teremos dois eventos híbridos em Recife e Belo Horizonte, que terão uma trilha por dia, ao vivo, para um público limitado, seguindo protocolo

Entendendo como funciona a programação de computadores: linguagens de programação, lógica, banco de dados

Nesse post, diferente dos últimos que foram mais enfáticos nas experiências com tecnologias, vou focar um pouco mais nos profissionais que estão começando, ou pretendem ingressar na área de desenvolvimento de software, falando sobre conceitos fundamentais relacionados a programação em geral . Mercado de trabalho para programação Conforme já sabemos, o mercado de desenvolvimento de software, especialmente no Brasil, continua em franca expansão, sendo que cada vez mais as empresas buscam desenvolver seus próprios sistemas usando as mais diferentes e novas tecnologias. Algumas matérias interessantes: As seis profissões mais valorizadas em 2010 no IDG Now! Muitas vagas e sensação de reaquecimento da economia Por isso, a área de desenvolvimento de software tem despertado interesse em muitos profissionais de outras áreas que desejam mudar de profissão, já que as oportunidades de trabalho tendem a ser maiores. Esse é um perfil presente em muitos dos clientes da Globalcode que acabou m

JSON fácil em Java com GSon !

Ola pessoal ! O formato JSON ( J ava S cript O bject N otation) vem se consagrando cada vez mais na comunicação de dados, principalmente nos dispositivos móveis devido a esse formato ser mais leve que o XML e também mais legível. Uma prova disso são as inúmeras bibliotecas que existem para manipular esse formato, e no caso do Android, o suporte ao JSON é nativo. Mas apesar de ter esse suporte nativo, algumas operações devem ser feitas manualmente e o código acaba ficando um pouco verboso e repetitivo, já que para cada objeto que se deseja transmitir é necessário fazer um método que lê as propriedades do JSON e faz as devidas atribuições no seu objeto Java. Vamos supor o seguinte objeto sendo transmitido em JSON: {   user: {     id: 123456,     name: "Neto Marin",     username: "netomarin",     email: "netomarin@globalcode.com.br"   } } Se você fosse tratar um Webservice que envia esse JSON para o seu aplicativo Android, além de criar a o

Top 4 desafios do gestor de TI e como superá-los

  O setor de TI se apresenta como uma área essencial ao desenvolvimento e expansão da empresa, em especial, aquelas que têm a criação de soluções tecnológicas como core business. O mercado dinâmico da atualidade, com mudanças constantes e concorrência elevada, exige aperfeiçoamento do gestor de TI para se destacar em suas atividades. Pensando em te ajudar nesse processo, separamos 4 desafios do gestor de TI e como superá-los. Acompanhe! Transformação digital na atualidade A transformação digital é constante e define os caminhos futuros da nossa sociedade. Por isso, o setor de TI vem se tornando mais estratégico em empresas de todos os segmentos. O home office é um bom exemplo de como a revolução digital está se processando. Vamos falar sobre ele e outros pontos nos tópicos a seguir. Confira! Desafios do gestor de TI Para se manter atualizado sobre o tema e permanecer competitivo no mercado, é  necessário acompanhar as tendências de TI . Confira, abaixo, alguns dos principais desafios d

Segurança da informação no alvo: o que esperar do futuro?

A segurança da informação não se trata apenas de proteger os dados contra acesso não autorizado. Na prática, refere-se aos recursos que impedem: uso; registro; inspeção; divulgação; interrupção; modificação; destruição de dados. O uso de dados pode abranger desde um perfil nas redes sociais a detalhes financeiros, biometrias ou novos projetos. Por isso, a preocupação com a proteção dos dados é crescente, tanto para empresas quanto clientes. Para muitas pessoas, a coleta de dados é considerada invasão de privacidade, criando desconfiança do titular dos dados, pois o uso dos dados pode ser facilmente corrompido, utilizado para fins não declarados. Apesar de o uso dos dados terem impulsionado os avanços tecnológicos na última década, as organizações lidam com o desafio de distinguir dados de informações pessoais de modo a proteger a privacidade e as preferências dos clientes. Neste artigo, abordaremos o impacto da segurança da informação e o que esperar do futuro. Confira casos conhecido