О наследовании в Java

[whesh]

Производный тип -- это всегда более конкретный вариант базового. Пускай вместо базового типа будет "Рыба", а вместо производного -- "Селёдка".

Тогда совершенно очевидно, что писать

Рыба р = new Селёдка();

можно: ваша `р` -- рыба, например, селёдка, почему бы и нет.

Но писать наоборот:

Селёдка с = new Рыба();

нельзя: рыба ведь не обязательно селёдка, правда?

Можно использовать преобразование типов:

// у вас есть какая-то рыба
    Рыба р;
    // тут много кода
    // а здесь вы точно знаете, что ваша рыба на самом деле селёдка
    // тогда можно использовать приведение типов
    Селёдка с = (Селёдка)р;
    // но если вы ошиблись, и в прошлой строке рыба была на самом деле
    // акулой, вы получите exception

Как проверить, рыба ли ваша селёдка? Этого не нужно: `Селёдка` наследник `Рыбы`, то есть каждая `Селёдка` обязательно `Рыба`.

Как проверить, селёдка ли ваша рыба? Очень просто:

Рыба р;
    // много кода
    if (р instanceof Селёдка)
    {
        // о, оказывается, наша рыба -- селёдка!
        Селёдка с = (Селёдка)р; // здесь исключения не будет
    }

      ©пизжено