Generici Java: inferenza del tipo

L'inferenza del tipo rappresenta la capacità del compilatore Java di esaminare una chiamata di metodo e la sua dichiarazione corrispondente per controllare e determinare gli argomenti del tipo. L'algoritmo di inferenza controlla i tipi degli argomenti e, se disponibile, viene restituito il tipo assegnato. Gli algoritmi di inferenza cercano di trovare un tipo specifico che possa riempire tutti i parametri del tipo.

Il compilatore genera un avviso di conversione non controllato nel caso in cui l'inferenza del tipo non venga utilizzata.

Sintassi

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

Dove

• Box - Box è una classe generica.

• <> - L'operatore rombo denota l'inferenza del tipo.

Descrizione

Utilizzando l'operatore rombo, il compilatore determina il tipo di parametro. Questo operatore è disponibile dalla versione Java SE 7 in poi.

Esempio

Crea il seguente programma java utilizzando qualsiasi editor di tua scelta.

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;
   }   
}

Questo produrrà il seguente risultato.

Produzione

Integer Value :10
String Value :Hello World