Приведение типов. Расширение и сужение

class Animal {
    public void doAnimalActions() {}
}
class Cat extends Animal {
    public void doCatActions() {}
}
class Tiger extends Cat {
    public void doTigerActions() {}
}

public static void main(String[] args) {
    Tiger tiger = new Tiger();
    Cat cat = new Tiger(); Animal animal = new Tiger(); Object obj = new Tiger();
}

public static void main(String[] args) {
    Object obj = new Tiger();
    Animal animal = (Animal) obj; Cat cat = (Cat) obj; Tiger tiger = (Tiger) animal; Tiger tiger2 = (Tiger) cat;
}

При этом Java-машина выполняет проверку, а действительно ли данный объект унаследован от Типа, к которому мы хотим его преобразовать.

Такое небольшое нововведение уменьшило количество ошибок в преобразовании типов в разы, и существенно повысило стабильность работы Java-программ.

public static void main(String[] args) {
    Object obj = new Tiger();
    if (obj instanceof Cat) {
        Cat cat = (Cat) obj;
        cat.doCatActions();
    }
}

public static void main(String[] args) {
    Animal animal = new Tiger();
    doAllAction(animal);

    Animal animal2 = new Cat();
    doAllAction(animal2);

    Animal animal3 = new Animal();
    doAllAction(animal3);
}

public static void doAllAction(Animal animal) {
    if (animal instanceof Tiger) {
        Tiger tiger = (Tiger) animal;
        tiger.doTigerActions();
    }

    if (animal instanceof Cat) {
        Cat cat = (Cat) animal;
        cat.doCatActions();
    }

    animal.doAnimalActions();
}

Мы (наш код) не всегда знаем, с объектом какого типа мы работаем. Это может быть как объект того же типа, что и переменная (Animal), так и любой тип-наследник (Cat, Tiger).

Рассмотрим метод doAllAction. Он корректно работает в независимости от того, объект какого типа в него передали.

Т.е. он корректно работает для всех трех типов Animal, Cat, Tiger.

public static void main(String[] args) {
    Cat cat = new Tiger(); Animal animal = cat; Object obj = cat;
}

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