พิมพ์หล่อ. การแปลงที่กว้างขึ้นและแคบลง

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

เรา (รหัสของเรา) ไม่รู้เสมอไปว่าเรากำลังทำงานกับวัตถุประเภทใด อาจเป็นวัตถุประเภทเดียวกับตัวแปร (สัตว์) หรือประเภทลูกหลาน (แมว เสือ)

พิจารณาวิธีการ doAllAction มันทำงานได้อย่างถูกต้อง โดยไม่คำนึงถึงประเภทของวัตถุที่ส่งผ่านเข้ามา

กล่าวอีกนัยหนึ่ง มันทำงานอย่างถูกต้องสำหรับสัตว์ทั้งสามประเภท: สัตว์ แมว และเสือ

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

ไม่จำเป็นต้องใช้ตัวดำเนินการประเภทคาสต์ที่นี่ เนื่องจากไม่จำเป็นต้องมีการตรวจสอบ การอ้างอิงออบเจกต์สามารถเก็บไว้ในตัวแปรที่มีประเภทเป็นบรรพบุรุษของมันได้เสมอ