型キャスト。拡大コンバージョンと縮小コンバージョン

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 の 3 つのタイプすべてに対して正しく機能します。

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

チェックは必要ないため、ここでは型キャスト演算子は必要ありません。 オブジェクト参照は、その祖先の 1 つを型とする変数に常に格納できます。