Loại đúc. Mở rộng và thu hẹp chuyển đổi

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;
}

Điều này khiến máy Java kiểm tra xem đối tượng có thực sự kế thừa loại mà chúng ta muốn chuyển đổi nó thành hay không.

Sự đổi mới nhỏ này đã tạo ra sự giảm thiểu nhiều lần về số lượng lỗi truyền kiểu và tăng đáng kể tính ổn định của các chương trình 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();
}

Chúng tôi (mã của chúng tôi) không phải lúc nào cũng biết chúng tôi đang làm việc với loại đối tượng nào. Nó có thể là một đối tượng cùng loại với biến (Động vật) hoặc bất kỳ loại hậu duệ nào (Mèo, Hổ).

Hãy xem xét phương thức doAllAction. Nó hoạt động chính xác, bất kể loại đối tượng được truyền vào.

Nói cách khác, nó hoạt động chính xác cho cả ba loại: Động vật, Mèo và Hổ.

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

Toán tử truyền kiểu không cần thiết ở đây, vì không cần kiểm tra. Một tham chiếu đối tượng luôn có thể được lưu trữ trong một biến có kiểu là một trong các tổ tiên của nó.