Программирование на JAVA

}

}

В результате удалось свести работу с одним свойством трех разнород­ных классов в одно место, сделать код более универсальным. Обратите внимание, что при добавлении еще одного насекомоядного такая модель зоопарка не потребует никаких изменений, чтобы обслуживать новый вид, в отличие от первоначального громоздкого решения. Благодаря введению интерфейса удалось отделить классы, реализующие его (живые организ­мы) и использующие его (служащий зоопарка). После любых изменений этих классов при условии сохранения интерфейса их взаимодействие не нарушится.

Данный пример иллюстрирует, как интерфейсы предоставляют аль­тернативный, более строгий и гибкий подход вместо множественного на­следования.

Полиморфизм

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

Поля

Начнем с полей, которые могут быть статическими или динамичес­кими. Рассмотрим пример:

class Parent { int a=2;

}

class Child extends Parent { int a=3;

}

Прежде всего, нужно сказать, что такое объявление корректно. На­следники могут объявлять поля с любыми именами, даже совпадающими с родительскими. Затем, необходимо понять, как два одноименных поля будут сосуществовать. Действительно, объекты класса Child будут содер­жать сразу две переменных, а поскольку они могут отличаться не только значением, но и типом (ведь это два независимых поля), именно компи­лятор будет определять, какое из значений использовать. Компилятор может опираться только на тип ссылки, с помощью которой происходит обращение к полю:

Child с = new Child(); System.out.println(c.а); Parent p = с; System.out.println(p.a);

Обе ссылки указывают на один и тот же объект, порожденный от класса Child, но одна из них имеет такой же тип, а другая - Parent. Отсюда следуют и результаты:

3 2

Объявление поля в классе-наследнике "скрыло" родительское поле. Данное объявление так и называется — "скрывающим" (hiding). Это осо­бый случай перекрытия областей видимости, отличный от "