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

TDC BUSINESS, chega a São Paulo com novas trilhas de Inteligência Artificial e Inovação

Maior conferência de profissionais de tecnologia do Brasil abordará temas em alta no momento como, por exemplo, Inteligência Artificial, Segurança, Ciência de Dados e Inovação O TDC BUSINESS, a 17° edição do The Developer's Conference na cidade de São Paulo, que acontece entre os dias 19 e 21 de Setembro, reunirá profissionais e especialistas da área para troca de experiência, compartilhamento de conteúdos e networking. Com o tema central: “Tecnologia para negócios transformadores”, o evento será totalmente híbrido, ocorrendo presencialmente no espaço Pro Magno, e com transmissão simultânea e atividades de network pela internet. A expectativa é reunir mais de 14.000 pessoas, somando a participação presencial e online.   Segundo Yara Mascarenhas, Fundadora e Host do Evento, “nosso objetivo com o TDC é inspirar a colaboração entre os profissionais e empresas para construir uma nova realidade para o mercado de TI.  Vamos juntar tecnologia e negócios com as trilhas técnicas...

JavaOne Brasil, dicas para submissão de palestras

Não quero parecer pretensiosa dando dicas para submissão de palestras para o JavaOne Brasil, mas sim repassar os tantos conselhos e sugestões recebidas pelos vetaranos do JavaOne: Bruno Souza e Leonardo Galvão que revisaram dezenas de submissões para o JavaOne e ajudaram a aprovar tantas palestras, e também misturar um pouco da minha experiência na seleção de palestras nos eventos realizados pela Globalcode e SouJava . 10 anos de JavaOne: http://www.globalcode.com.br/noticias/Globalcode10AnosNoJavaOne Os palestrantes ganham a entrada! A submissão pode ser feita em português! O passo mais importante para ser aprovado como palestrante no JavaOne é sem dúvida nenhuma submeter pelo menos uma palestra. Então, independente de qualquer coisa, participe, arrisque, divulgue.  Mas, se quiser aumentar as suas chances...   1) Leve a sério: peça para amigos fazerem uma leitura crítica do texto, e claro uma boa revisão ortográfica. 2) Submissão de várias palestras ou variações do ...

Facelets uma forma mais ágil para construção de telas – Parte I

A construção de telas ou camada de apresentação em um sistema MVC seja web ou desktop é uma tarefa complexa e de extrema importância. Nesse post vou comentar e mostrar algum exemplo do Facelets como solução para os desafios existentes nessa etapa especificamente para web. Com a web cada vez mais presente em nosso dia-a-dia, um fato é que com isso nossos usuários tornam-se mais exigentes em relação a usabilidade, agilidade, performance ou de uma forma bem resumida “o usuário espera uma navegação simples e agradável aonde uma determinado tarefa possa ser concluída em poucos passos e em um curto espaço de tempo”. Atender as expectativas em relação ao que o usuário espera com o que realmente ele precisa, definir uma estrutura flexível a mudanças sem engessar o desenvolvimento, acessibilidade, portabilidade em múltiplos navegadores, tudo isso e muito mais, num prazo que quase sempre é apertado. Um outro ponto fundamental é manter o time motivado e produtivo em um ambiente que favoreça a...

O que é Lógica de programação?

Este é o segundo de uma série de posts voltados aos leitores do blog que estão dando início à carreira de desenvolvimento de software. O assunto de hoje é a lógica de programação. Para ler antes: Entendendo como funciona a programação de computadores: linguagens de programação, lógica, banco de dados A lógica de programação é um pré-requisito para quem quer se tornar um desenvolvedor de software, independente da linguagem de programação que se pretende utilizar. Mas o que é de fato a Lógica de Programação e como saber se eu tenho esse pré-requisito? A lógica de programação nada mais é do que a organização coerente das instruções do programa para que seu objetivo seja alcançado. Para criar essa organização, instruções simples do programa, como mudar o valor de uma variável ou desenhar uma imagem na tela do computador, são interconectadas a estruturas lógicas que guiam o fluxo da execução do programa. Isso é muito próximo ao que usamos em nosso cotidiano para realizar atividad...

Seja palestrante no TDC!

Os interessados em palestrar na maior plataforma de Inovação Aberta para desenvolvimento do ecossistema de teologia, tem até 25 de setembro para se inscrever A última edição do ano do TDC (The Developer's Conference), maior conferência para profissionais de tecnologia do Brasil, já tem data confirmada. O TDC Future, que acontece nos dias 6 a 8 de dezembro, em formato híbrido, ocorrerá presencialmente na UniRitter de Porto Alegre, e com transmissão simultânea pela plataforma Hopin. O evento traz como tema central: “O papel da tecnologia na construção do amanhã”, e reúne gestores, especialistas e profissionais da área para debater sobre o futuro da tecnologia, o impacto na vida das pessoas e seu papel na transformação da sociedade. A seleção de palestras nacionais e internacionais, ainda está com o Call4Papers aberto até 25 de setembro, os interessados em participar poderão submeter uma proposta por meio do site do evento . O tema deve estar vinculado a uma trilha específica, que é...

Saiba como programar para Arduino sem ter nenhum hardware disponível

O Arduino já é uma tecnologia muito difundida entre os amantes de tecnologia. É difícil encontrar um profissional da computação que não brincou um pouco com esta ferramenta de prototipagem ou, que gostaria de fazer isso. Porém, em alguns casos, o programador quer conhecer o arduino mas não dispõe de nenhum hardware, nem mesmo da placa. Como isso poderia ser resolvido? A primeira resposta seria aquela mais simples e direta: ir as compras. Isso pode ser feito em uma loja física ou pela internet. No meu caso, por exemplo, tive a felicidade de encontrar em um site (não me lembro qual) um kit arduino, com um conjunto de sensores e um DVD com 41 vídeo aulas. Mas digamos que o profissional não esteja passando por um bom momento financeiro, ou ainda, simplesmente não queira comprar o Arduino sem antes conhecê-lo um pouco melhor. Para a última situação também já existe uma resposta, e diga-se de passagem, uma excelente resposta. Trata-se do site 123D Circuits.io . Depois de criar seu u...