Полиморфизм Java

Полиморфизм JavaСуществует простое правило, позволяющее определить, стоит ли конкретной ситуации применять наследование или нет. Если между объектами существует  отношение «является» («is-a»), то каждый объект подкласса является объектом суперкласса. Например, каждый менеджер является сотрудником. Следовательно, имеет смысл сделать класс Manager подклассом класса Employee. Естественно, обратное утверждение неверно — не каждый сотрудник является менеджером.

Другой способ — принцип подстановки. Этот принцип гласит, что объект подкласса можно использовать вместо любого объекта суперкласса.Например, объект подкласса можно присвоить переменной суперкласса:

В языке Java объектные переменные являются полиморфными. Переменная типа Employee может ссылаться как на объект Employee, так и на объект любого подкласса класса Employee(например, Manager, Executive, Secretary и т.п.).

Здесь переменные staff[0] и boss ссылаются на один и тот же объект. Однако переменная staff[0] рассматривается компилятором только как объект Employee. Это значит, что допускается следующий вызов:

В то же время выражение, приведенное ниже, некорректное:

Дело в том, что переменная staff[0] объявлена как объект Employee, а метода setBonus() в этом классе нет. Однако присвоить ссылку на объект суперкласса переменной подкласса невозможно. Например, следующий оператор является недопустимым:

Причина очевидна: не все сотрудники являются менеджерами. Если бы это присваивание оказалось выполненным, и переменная м могла бы ссылаться на объект Employee, который менеджером не является, то впоследствии оказался бы возможным вызов метода m.setBonus(…), что привело бы к ошибке при выполнении программы.

Комментариев 2 на “Полиморфизм Java

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *