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

чая, переход от ссылки типа Parent, которая может ссылаться на объекты трех классов, к ссылке типа Child, которая может ссылаться на объекты лишь одного из трех классов, очевидно, является сужением. Такой пере, ход может оказаться невозможным. Если ссылка типа Parent ссылается на объект типа Parent или Child2, то переход к Child невозможен, ведь в обоих случаях объект не обладает полем у, которое объявлено в классе Child. Поэтому при сужении разработчику необходимо явным образом указывать на то, что необходимо попытаться провести такое преобразова­ние. JVM во время исполнения проверит корректность перехода. Если он возможен, преобразование будет проведено. Если же нет - возникнет ошибка.

Parent p=new Child();

Child c=(Child)p; // преобразование будет успешным. Parent p2=new Child2();

Child c2=(Child)p2; // во время исполнения возникнет ошибка!

Чтобы проверить, возможен ли желаемый переход, можно восполь­зоваться оператором instanceof:

Parent p=new Child(); if (p instanceof Child) { Child с = (Child)p;

}

Parent p2=newChild2(); if (p2 instanceof Child) { Child с = (Child)p2;

}

Parent p3=new Parent(); if (p3 instanceof Child) { Child с = (Child)p3;

}

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

На данный момент можно назвать лишь одно сужающее преобраз0' вание:

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

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

Преобразование к строке

Это преобразование уже не раз упоминалось. Любой тип может быть Приведен к строке, т.е. к экземпляру класса String. Такое преобразование является исключительным в силу того, что охватывает абсолютно все ти­пы, в том числе и boolean, про который говорилось, что он не может уча­ствовать ни в каком другом приведении, кроме тождественного.

Напомним, как преобразуются различные типы.

• Числовые типы записываются в текстовом виде без потери точно­сти представления. Формально такое преобразование происходит в два этапа. Сначала на основе примитивного значения порожда­ется экземпляр соответствующего класса-"