Home / Language / Inferenza di tipo con var
Language Principiante

Inferenza di tipo con var

Usa var per l'inferenza di tipo nelle variabili locali — meno rumore, stessa sicurezza.

Confronto Codice
✕ Java 8 
Map<String, List<Integer>> map =
    new HashMap<String, List<Integer>>();
for (Map.Entry<String, List<Integer>> e
    : map.entrySet()) {
    // verbose type noise
}
✓ Java 10+ 
var map = new HashMap<String, List<Integer>>();
for (var entry : map.entrySet()) {
    // clean and readable
}
Vedi un problema con questo codice? Faccelo sapere.
Perché vince l'approccio moderno
⚡

Meno codice ripetitivo

Non è necessario ripetere tipi generici complessi su entrambi i lati dell'assegnazione.

👁

Migliore leggibilità

Concentrati sui nomi delle variabili e i valori, non sulle dichiarazioni di tipo.

🔒

Ancora type-safe

Il compilatore inferisce e applica il tipo esatto in fase di compilazione.

Approccio Vecchio
Tipi espliciti
Approccio Moderno
Parola chiave var
Dal JDK
10
Difficoltà
Principiante
Supporto JDK
Inferenza di tipo con var
Disponibile

Ampiamente disponibile dal JDK 10 (marzo 2018)

Come funziona

Da Java 10, il compilatore inferisce i tipi delle variabili locali dal lato destro dell'assegnazione. Questo riduce il rumore visivo senza sacrificare la sicurezza dei tipi. Usa var quando il tipo è ovvio dal contesto.

Documentazione Correlata
Local Variable Type Inference (JEP 286) ↗ Style Guidelines for var ↗
Pattern correlati
Language Intermedio

Sealed classes for type hierarchies

Java 8
// Anyone can extend Shape
public abstract class Shape { }
public class Circle extends Shape { }
public class Rect extends Shape { }
// unknown subclasses possible
Java 17+
public sealed interface Shape
    permits Circle, Rect {}
public record Circle(double r)
    implements Shape {}
public record Rect(double w, double h)
    implements Shape {}
Passa il mouse per vedere il moderno ➜
JDK 17+ →
Language Principiante

Pattern matching for instanceof

Java 8
if (obj instanceof String) {
    String s = (String) obj;
    System.out.println(s.length());
}
Java 16+
if (obj instanceof String s) {
    IO.println(s.length());
}
Passa il mouse per vedere il moderno ➜
JDK 16+ →
Language Intermedio

Exhaustive switch without default

Java 8
// Must add default even though
// all cases are covered
double area(Shape s) {
    if (s instanceof Circle c)
        return Math.PI * c.r() * c.r();
    else if (s instanceof Rect r)
        return r.w() * r.h();
    else throw new IAE();
}
Java 21+
// sealed Shape permits Circle, Rect
double area(Shape s) {
    return switch (s) {
        case Circle c ->
            Math.PI * c.r() * c.r();
        case Rect r ->
            r.w() * r.h();
    }; // no default needed!
}
Passa il mouse per vedere il moderno ➜
JDK 21+ →
Condividi 𝕏 🦋 in ⬡