Startseite / Language / Typinferenz mit var
Language Einsteiger

Typinferenz mit var

var für lokale Variablen-Typinferenz verwenden – weniger Rauschen, gleiche Sicherheit.

Code-Vergleich
✕ 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
}
Problem mit diesem Code entdeckt? Sag uns Bescheid.
Warum der moderne Weg gewinnt
⚡

Weniger Boilerplate

Komplexe generische Typen müssen nicht auf beiden Seiten der Zuweisung wiederholt werden.

👁

Bessere Lesbarkeit

Fokus auf Variablennamen und Werte, nicht auf Typdeklarationen.

🔒

Noch typsicher

Der Compiler leitet den genauen Typ ab und erzwingt ihn zur Compile-Zeit.

Alter Ansatz
Explizite Typen
Moderner Ansatz
var-Schlüsselwort
Seit JDK
10
Schwierigkeitsgrad
Einsteiger
JDK-Unterstützung
Typinferenz mit var
Verfügbar

Seit JDK 10 allgemein verfügbar (März 2018)

Wie es funktioniert

Seit Java 10 leitet der Compiler lokale Variablentypen aus der rechten Seite ab. Dies reduziert visuelles Rauschen ohne Einbußen bei der Typsicherheit. var empfiehlt sich, wenn der Typ aus dem Kontext offensichtlich ist.

Zugehörige Dokumentation
Local Variable Type Inference (JEP 286) ↗ Style Guidelines for var ↗
Verwandte Muster
Language Fortgeschritten

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 {}
Hover für Modernes ➜
JDK 17+ →
Language Einsteiger

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());
}
Hover für Modernes ➜
JDK 16+ →
Language Fortgeschritten

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!
}
Hover für Modernes ➜
JDK 21+ →
Teilen 𝕏 🦋 in ⬡