Strona główna / Language / Inferencja typów z var
Language Początkujący

Inferencja typów z var

Używaj var do inferencji typów zmiennych lokalnych, mniej szumu i to samo bezpieczeństwo typów.

Porównanie kodu
✕ 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
}
Widzisz problem z tym kodem? Daj nam znać.
Dlaczego nowoczesne podejście wygrywa
⚡

Mniej boilerplate

Nie trzeba powtarzać złożonych typów generycznych po obu stronach przypisania.

👁

Lepsza czytelność

Skupiasz się na nazwach zmiennych i wartościach, a nie na deklaracjach typów.

🔒

Nadal bezpieczne typowanie

Kompilator wywnioskuje i egzekwuje dokładny typ już podczas kompilacji.

Stare podejście
Jawne typy
Nowoczesne podejście
Słowo kluczowe var
Od JDK
10
Poziom trudności
Początkujący
Wsparcie JDK
Inferencja typów z var
Dostępne

Szeroko dostępne od JDK 10 (marzec 2018)

Jak to działa

Od Java 10 kompilator wywnioskuje typ zmiennej lokalnej na podstawie prawej strony przypisania. To ogranicza wizualny szum bez utraty bezpieczeństwa typów. Używaj var, gdy typ jest oczywisty z kontekstu.

Powiązana dokumentacja
Local Variable Type Inference (JEP 286) ↗ Style Guidelines for var ↗
Powiązane wzorce
Language Średniozaawansowany

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 {}
Najedź, aby zobaczyć nową wersję ➜
JDK 17+ →
Language Początkujący

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());
}
Najedź, aby zobaczyć nową wersję ➜
JDK 16+ →
Language Średniozaawansowany

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!
}
Najedź, aby zobaczyć nową wersję ➜
JDK 21+ →
Udostępnij 𝕏 🦋 in ⬡