靜態分派 ：
以下是靜態分派的測試程式碼

public class StaticDispatch {
    static abstract class Human{}
    static class Man extends Human{}
    static class Woman extends Human{}
    public static void say(Human human){
        System.out.println("Human");
    }
    public static void say(Man man){
        System.out.println("Man"
 
);
    }
    public static void say(Woman woman){
        System.out.println("Woman");
    }
    public static void main(String []args){
        Human h = new Man();
        Human h2 = new Woman();
        say(h);//輸出Human
        say(h2);//輸出Human
        say((Man)h);//輸出Man
    }
}

我們把上面程式碼中的“Human”稱為變數的靜態型別（Static Type），或者叫做的外觀型別 （Apparent Type），後面的“Man”則稱為變數的實際型別（Actual Type），靜態型別和實際型別在程式中都可以發生一些變化，區別是靜態型別的變化僅僅在使用時發生，變數本身的靜態型別不會被改變，並且最終的靜態型別是在編譯期可知的；而實際型別變化的結果在執行期才可確定，編譯器在編譯程式的時候並不知道一個物件的實際型別是什麼。
動態分派（執行期根據實際型別確定方法執行版本的 分派過程）：

public class DynamicDispatch {
    static abstract class Human{ 
        protected abstract void sayHello();
    } 
    static class Man extends Human{ 
        @Override 
        protected void sayHello(){ 
            System.out.println("man say hello"); 
        } 
    } 
    static class Woman
 
 extends Human{ 
        @Override 
        protected void sayHello(){ 
            System.out.println("woman say hello");
        } 
    } 
    public static void main(String[]args){ 
        Human man=new Man();
        Human woman=new Woman();
        man.sayHello();//輸出man say hello
        woman.sayHello();//輸出woman say hello
        man=new Woman(); 
        man.sayHello();//輸出woman say hello
    }
}