Java Academy · Урок

Сопоставление с шаблоном для instanceof

Присваивайте переменной значение при проверке типа

«Сопоставление с шаблоном для instanceof» — бесплатный урок Java Academy на CoddyKit. Это урок 1 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения Java Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс Java Academy содержит 4 уроков всего.

Сопоставление с образцом при проверке типа

Раньше instanceof использовали для проверки типа с последующим приведением. Сопоставление с образцом объединяет проверку и приведение в один шаг, связывая типизированную переменную, если проверка успешна.

Прежний шаблонный код

Классический код сначала проверяет тип, а затем выполняет приведение в новую переменную. Это повторяется и легко приводит к ошибкам.

public class Main {
    public static void main(String[] args) {
        Object obj = "hello";
        if (obj instanceof String) {
            String s = (String) obj;
            System.out.println(s.length());
        }
    }
}

Новый вариант

Шаблон типа объявляет переменную прямо в условии: if (obj instanceof String s). Если условие истинно, s уже содержит значение после приведения типа.

public class Main {
    public static void main(String[] args) {
        Object obj = "hello";
        if (obj instanceof String s) {
            System.out.println(s.length());
        }
    }
}

Переменная связывания

Переменная s называется переменной шаблона. Она находится в области видимости там, где компилятор может доказать, что шаблон успешно сопоставился, благодаря чему код становится короче и безопаснее.

Использование в условиях

В том же условии if можно использовать переменную шаблона после &&, поскольку на этой ветви успешное сопоставление гарантировано.

public class Main {
    public static void main(String[] args) {
        Object obj = "developer";
        if (obj instanceof String s && s.length() > 5) {
            System.out.println("Long string: " + s);
        }
    }
}

Отрицание и область видимости по потоку

При отрицании область видимости разумно меняется. После if (!(obj instanceof String s)) return; переменная s находится в области видимости до конца метода, потому что выполнение продолжается только при успешном сопоставлении.

public class Main {
    static int safeLength(Object obj) {
        if (!(obj instanceof String s)) {
            return -1;
        }
        return s.length();
    }

    public static void main(String[] args) {
        System.out.println(safeLength("abc"));
        System.out.println(safeLength(42));
    }
}

Замена equals и приведения типа

Типичный пример — аккуратная реализация equals: проверьте тип и свяжите переменную в одной строке, затем сравните поля.

public class Main {
    static final class Point {
        final int x, y;
        Point(int x, int y) { this.x = x; this.y = y; }
        public boolean equals(Object o) {
            return o instanceof Point p && p.x == x && p.y == y;
        }
        public int hashCode() { return x * 31 + y; }
    }

    public static void main(String[] args) {
        System.out.println(new Point(1, 2).equals(new Point(1, 2)));
        System.out.println(new Point(1, 2).equals(new Point(3, 4)));
    }
}

Обработка смешанных типов

Цепочки ветвей else if с шаблонами позволяют аккуратно выбирать действие для одного из нескольких возможных типов.

public class Main {
    static String describe(Object obj) {
        if (obj instanceof Integer i) {
            return "int " + (i * 2);
        } else if (obj instanceof String s) {
            return "string of length " + s.length();
        } else {
            return "unknown";
        }
    }

    public static void main(String[] args) {
        System.out.println(describe(21));
        System.out.println(describe("hello"));
        System.out.println(describe(3.14));
    }
}

Значение null никогда не сопоставляется

Шаблон проверки типа имеет значение ложь для null, как и классический оператор. Поэтому переменной шаблона никогда не присваивается значение null, что устраняет распространённый источник исключений NullPointerException.

public class Main {
    public static void main(String[] args) {
        Object obj = null;
        if (obj instanceof String s) {
            System.out.println("matched: " + s);
        } else {
            System.out.println("null or not a String");
        }
    }
}

Более чистый и безопасный код

Сопоставление с шаблоном устраняет лишнее приведение типа, ограничивает область видимости, поэтому переменную нельзя использовать неправильно, и выглядит почти как обычный текст. Это предпочтительный стиль в современном Java.

Соберём всё вместе

Небольшой диспетчер, который форматирует разные входные данные с помощью шаблонов.

public class Main {
    static String format(Object o) {
        if (o instanceof Double d) return String.format("%.1f", d);
        if (o instanceof Integer i) return Integer.toString(i);
        if (o instanceof String s && !s.isBlank()) return s.trim();
        return "n/a";
    }

    public static void main(String[] args) {
        System.out.println(format(3.14159));
        System.out.println(format(99));
        System.out.println(format("  spaced  "));
        System.out.println(format(null));
    }
}

Быстрая проверка

Проверьте, насколько хорошо Вы поняли шаблоны проверки типов.

Итоги

Вы изучили сопоставление с шаблоном для instanceof.

Оно объединяет проверку типа и приведение типа в одном выражении.
Область видимости переменной шаблона ограничена местом, где соответствие доказано.
Шаблоны дают значение ложь для null, предотвращая исключения NullPointerException.
Они упрощают переопределение метода сравнения и выбор действия по типу.

Часто задаваемые вопросы

Урок «Сопоставление с шаблоном для instanceof» бесплатный?

Да — полный текст урока «Сопоставление с шаблоном для instanceof» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс Java Academy, подпишись на CoddyKit PRO. Курс Java Academy содержит 4 уроков всего.

Чему я научусь в уроке «Сопоставление с шаблоном для instanceof»?

Присваивайте переменной значение при проверке типа Ты практикуешь Java Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать Java Academy?

Предыдущий опыт не требуется. Java Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 1 из 4.

Сколько времени занимает урок «Сопоставление с шаблоном для instanceof»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке Java Academy?

Да. Каждый урок Java Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

Сопоставление с шаблоном для instanceof
Шаблоны record
Вложенные шаблоны record
Шаблоны в switch

← Назад к Java Academy