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

Итак, какова связь между типом ссылочной переменной и ее значе-Ния? Здесь главное ограничение - проверка компилятора, который сле­дит, чтобы все действия, выполняющиеся над объектом, были корректны, компилятор не может предугадать, на объект какого класса будет реально

ссылаться та или иная переменная. Все, чем он располагает, - тип самой переменной. Именно его и использует компилятор для проверок. А значит, все допустимые значения переменной должны гарантированно обладать свойствами, определенными в классе-типе этой переменной. Такую га­рантию дает только наследование. Отсюда получаем правило: ссылочная переменная типа А может указывать на объекты, порожденные от самого типа А или его наследников.

Point р = new Point();

В этом примере переменная и ее значение одинакового типа, поэто­му над объектом можно совершать все возможные для данного класса действия.

Parent р = new Child();

Такое присвоение корректно, так как класс Child порожден от Parent. Однако теперь допустимые действия над переменной р, а значит, над объ­ектом, только что созданным на основе класса Child, ограничены возмож­ностями класса Parent. Например, если в классе Child определен некий но­вый метод newChildMethod(), то попытка его вызвать p.newChildMethod() будет порождать ошибку компиляции Необходимо подчеркнуть, что ника­ких изменений с самим объектом не происходит, ограничение порождает­ся используемым способом доступа к этому объекту - переменной типа Parent.

Чтобы показать, что объект не потерял никаких свойств, произведем следующее обращение:

((Child)p).newChildMethod();

Здесь в начале проводится явное сужение к типу Child. Во время ис­полнения программы JVM проверит, совместим ли тип объекта, на кото­рый ссылается переменная р, с типом Child. В нашем случае это именно так. В результате получается ссылка типа Child, поэтому становится допу­стимым вызов метода newChildMethod(), который вызывается у объекта, созданного в предыдущей строке.

Обратим внимание на важный частный случай - переменная типа Object может ссылаться на объекты любого типа.

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