JAVA多态——类型判断

abstract class Animal           //定义了一个动物类，其方法有吃东西{    abstract void eat();}class Dog extends Animal        //定义了一个继承于动物类的狗类，其方法有 吃东西 和 看家{    void eat()    {        System.out.println("啃骨头");    }    void lookHome()    {        System.out.println("看家");    }}class Cat extends Animal        //定义了一个继承于动物类的猫类，其方法有 吃东西 和 抓老鼠{    void eat()    {        System.out.println("吃鱼");    }    void catchMouse()    {        System.out.println("抓老鼠");    }}

以上为类定义。
要使用子类的特有方法，需要对定义的对象进行向下转型

class Demo{//在method方法中执行对象通用的eat()方法，然后判断对象具体类型，然后根据相应类型对对象进行向下转型，然后执行对象的特殊方法。    static void method(Animal a)    {        a.eat();        // instanceof ：用于判断对象的具体类型，只能用于引用数据判断，返回BOOL值        if(a instanceof Cat)//如果a的类型为Cat，为真，否则为假        {            Cat c = (Cat)a;            c.catchMouse();        }        else if(a instanceof Dog)        {            Dog c = (Dog)a;            c.lookHome();        }    }    public static void main(String[] args)                  {        Dog d = new Dog();    }}