JAVA 多态向下转型

package Demo513.Multi;

public abstract class Animal {
    public static void main(String[] args) {
        Animal animal =new Cat();
        animal.eat();
        //往下转型：必须保证对象创建的就是猫，
        Cat cat=(Cat) animal;
        //就可以引用子类：Cat类的方法
        cat.CatchMice();
        Animal Dog=new Dog();
        Dog.eat();
        //测试一个对象是否为一个类
        if(Dog instanceof Animal) {
            //会报错，转型错误
            Dog dog=(Dog) animal;
            dog.eat();
        }
        }

    void eat(){
    }
}
class Cat extends Animal{
    @Override
    void eat(){
        System.out.println("我吃鱼");
    }
    void CatchMice(){
        System.out.println("猫抓老鼠");
    }
}
class Dog extends Animal{
    void eat(){
        System.out.println("我吃骨头");
    }
}
运行代码↓