Главная / Language / Вывод типов с var
Language Начинающий

Вывод типов с var

Использовать var для вывода типов локальных переменных — меньше шума, та же безопасность.

Сравнение кода
✕ 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
}
Заметили проблему в этом коде? Сообщите нам.
Почему современный подход лучше
⚡

Меньше шаблонного кода

Не нужно повторять сложные обобщённые типы по обе стороны присваивания.

👁

Лучшая читаемость

Фокус на именах переменных и значениях, а не на объявлениях типов.

🔒

По-прежнему типобезопасно

Компилятор выводит и применяет точный тип во время компиляции.

Старый подход
Явные типы
Современный подход
Ключевое слово var
Начиная с JDK
10
Сложность
Начинающий
Поддержка JDK
Вывод типов с var
Доступно

Доступно в JDK 10 (март 2018)

Как это работает

Начиная с Java 10 компилятор выводит типы локальных переменных из правой части выражения. Это уменьшает визуальный шум без ущерба для типобезопасности. var рекомендуется там, где тип очевиден из контекста.

Связанная документация
Local Variable Type Inference (JEP 286) ↗ Style Guidelines for var ↗
Доказательство
Посмотреть исходник доказательства ↗
Похожие шаблоны
Language Средний

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 {}
Наведите, чтобы увидеть современный ➜
JDK 17+ →
Language Начинающий

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());
}
Наведите, чтобы увидеть современный ➜
JDK 16+ →
Language Средний

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!
}
Наведите, чтобы увидеть современный ➜
JDK 21+ →