Genéricos Java - inferência de tipo

A inferência de tipo representa a capacidade do compilador Java de examinar uma chamada de método e sua declaração correspondente para verificar e determinar o (s) argumento (s) de tipo. O algoritmo de inferência verifica os tipos de argumentos e, se disponível, o tipo atribuído é retornado. Os algoritmos de inferência tentam encontrar um tipo específico que pode preencher todos os parâmetros de tipo.

O compilador gera um aviso de conversão não verificado caso a inferência de tipo não seja usada.

Sintaxe

Box<Integer> integerBox = new Box<>();

Onde

• Box - Box é uma classe genérica.

• <> - O operador diamante denota inferência de tipo.

Descrição

Usando o operador diamante, o compilador determina o tipo do parâmetro. Este operador está disponível a partir da versão Java SE 7 em diante.

Exemplo

Crie o seguinte programa java usando qualquer editor de sua escolha.

GenericsTester.java

package com.tutorialspoint;

public class GenericsTester {
   public static void main(String[] args) {
      //type inference   
      Box<Integer> integerBox = new Box<>();
      //unchecked conversion warning
      Box<String> stringBox = new Box<String>();

      integerBox.add(new Integer(10));
      stringBox.add(new String("Hello World"));

      System.out.printf("Integer Value :%d\n", integerBox.get());
      System.out.printf("String Value :%s\n", stringBox.get());
   }
}

class Box<T> {
   private T t;

   public void add(T t) {
      this.t = t;
   }

   public T get() {
      return t;
   }   
}

Isso produzirá o seguinte resultado.

Resultado

Integer Value :10
String Value :Hello World