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

Объектная модель в Java

-- _                  —  -        —--

Перейдем к статическим методам. Рассмотрим пример:

class Parent {

static public int getValue() { return 0;

}

}

class Child extends Parent { static public int getValue() { return 1;

}

}

И строки, демонстрирующие работу с этими методами:

Child с = new Child();

System.out.println(c.getValue());

Parent p = c;

System. out.println(p.getValue());

Аналогично случаю со статическими переменными, вспоминаем ал­горитм обработки компилятором таких обращений к статическим элемен­там и получаем, что код эквивалентен следующим строкам:

System. out.println(Child.getValue()); System.out.println(Parent.getValue());

Результатом будет:

1 О

То есть статические методы, подобно статическим полям, принадле­жат классу и появление наследников на них не сказывается.

Статические методы не могут перекрывать обычные, и наоборот.

Полиморфизм и объекты

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

Во-первых, теперь можно точно сформулировать, что является элемен. тами ссылочного типа. Ссылочный тип обладает следующими элементами:

• непосредственно объявленными в его теле;

• объявленными в его родительском классе и реализуемых интер. фейсах, кроме:

- private-элементов;

- "скрытых" элементов (полей и статических методов, скрытых одноименными элементами);

- переопределенных (динамических) методов.

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

Сведем эти данные в таблицу.

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