Допутим у меня есть иреархия классов.
Во главе иерархии стоит класс А, за ним B, C и тд. Наследуются друг от друга.
Уместно ли будет делать такое?
A obj = new B(); //(Расширение)
B obj = new A(); //(Сужение)
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуДумайте по-другому. Расширение-сужение — слишком абстрактно.
Производный тип — это всегда более конкретный вариант базового. Пускай вместо базового типа будет «Рыба», а вместо производного — «Селёдка».
Тогда совершенно очевидно, что писать
Рыба р = new Селёдка();
можно: ваша р
— рыба, например, селёдка, почему бы и нет.
Но писать наоборот:
Селёдка с = new Рыба();
нельзя: рыба ведь не обязательно селёдка, правда?
Можно использовать преобразование типов:
// у вас есть какая-то рыба
Рыба р;
// тут много кода
// а здесь вы точно знаете, что ваша рыба на самом деле селёдка
// тогда можно использовать приведение типов
Селёдка с = (Селёдка)р;
// но если вы ошиблись, и в прошлой строке рыба была на самом деле
// акулой, вы получите exception
Как проверить, рыба ли ваша селёдка? Этого не нужно: Селёдка
наследник Рыбы
, то есть каждая Селёдка
обязательно Рыба
.
Как проверить, селёдка ли ваша рыба? Очень просто:
Рыба р;
// много кода
if (р instanceof Селёдка)
{
// о, оказывается, наша рыба -- селёдка!
Селёдка с = (Селёдка)р; // здесь исключения не будет
}
Нельзя наследнику присвоить предка. Только если Вы предку (указателю на объект-предок) заранее присвоили указатель на объект-потомок, то обратное присваивание выполнять можно.
UPD
class A {
...
}
class B extends A {
...
}
...
B b = new B();
A a = b; // можно
B c = (B) a; // можно
A a1 = new A();
B b1 = a1; // нельзя