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

224

jja объекты точно такого же типа. Теперь можно перейти к преобразова­нию ссылочных типов на основе такого дерева наследования.

Расширение означает переход от более конкретного типа к менее конкретному, т.е. переход от детей к родителям. В нашем примере преоб­разование от любого наследника (Child, Child2) к родителю (Parent) есть расширение, переход к более общему типу. Подобно случаю с примитив­ными типами, этот переход производится самой JVM при необходимости и незаметен для разработчика, то есть не требует никаких дополнительных усилий, так как он всегда проходит успешно: всегда можно обращаться к объекту* порожденному от наследника, по типу его родителя.

Parent p1-new Child(); Parent p2=new Child2();

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

Обратите внимание, что при подобном преобразовании с самим объектом ничего не происходит. Несмотря на то, что, например, поле у класса Child теперь недоступно, это не означает, что оно исчезло. Такое существенное изменение структуры объекта невозможно. Он был порож­ден от класса Child и сохраняет все его свойства. Изменился лишь тип ссылки, через которую идет обращение к объекту. Эту ситуацию можно условно сравнить с рассматриванием некоего предмета через подзорную трубу. Если перейти от трубы с большим увеличением к более слабой, то видимых деталей станет меньше, но сам предмет, конечно, никак от это­го не изменится.

Следующие преобразования являются расширяющими:

• от класса А к классу В, если А наследуется от В (важным частным случаем является преобразование от любого ссылочного типа к Object);

• от null-типа к любому объектному типу.

Второй случай иллюстрируется следующим примером:

Parent p=null;

Пустая ссылка null не обладает каким-либо конкретным ссылочным ™пом, поэтому иногда говорят о специальном null-типе. Однако на прак-^е важно, что такое значение можно прозрачно преобразовать к любому 0&ьектному типу.

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

15 ^ 3440                                                      2 25

Обратный переход, то есть движение по дереву наследования вниз,ц наследникам, является сужением. Например, для рассматриваемого слу