instanceof測試

class Animal{
    public void testIsA(Animal a){
        System.out.println("Animal");
    }
}
class Dog extends Animal{
    public void testIsA(Animal a){    //a是Animal的參考
        System.out.println(a instanceof Animal);    //但instanceof會看a的物件型別
        System.out.println(a instanceof Dog);
        //a.show();            //此行會產生錯誤，因為a的型別為Animal，而該class無show函式
    }
    public void show(){
        System.out.println("I am class Dog");
    }
}

public class InstanceOfTest{
    public static void main(String[] args){
        Animal dog1 = new Animal();
        Animal dog2 = new Dog();
        Dog dog3 = new Dog();
       
        System.out.println(dog1 instanceof Animal);        //true; Animal IS-A Animal
        System.out.println(dog1 instanceof Dog);        //false; Animal IS-A Dog
        System.out.println(dog2 instanceof Animal);        //true; Dog IS-A Animal
        System.out.println(dog2 instanceof Dog);        //true; Dog IS-A Dog
        System.out.println(dog3 instanceof Animal);        //true; Dog IS-A Dog
       
        dog1.testIsA(dog1);        //Animal,*****
        dog1.testIsA(dog2);        //Animal,overriding取決於呼叫的物件
        dog1.testIsA(dog3);        //Animal,*****
       
        dog1.testIsA(dog1);        //Animal,overriding取決於呼叫的物件
        dog2.testIsA(dog2);        //true, Dog IS-A Animal
                                //true, Dog IS-A Dog
        dog3.testIsA(dog3);        //true,true,
    }
}

＝＝＝＝＝＝
結論：
1・父類別物件可以呼叫子類別函式（通常父類別看不見子類別內的成員），但只限於被子類別overriding過的函式。
2・不管傳入函式的引數為何，皆以函式之參數的型別宣告為準。
3・而instanceof會去看參考所指向的物件，並以該物件為準。