最近在看多型，裡面有一句話困擾了我很久，就是

    編譯時型別和執行時型別
    ps:多型定義：把子類物件直接賦給父類的引用時，當執行時呼叫該引用型別的方法時，其方法行為總是表現出子類的行為特徵，而不是父類的行為特徵，這就出現了同一引用呼叫引用變數帶的方法是，表現出不同的特徵，這就是多型。 
    我一直都對這個編譯時型別和執行時型別很迷惑，百度了很多講的都很淺顯大都如下：


Java的引用變數有兩個型別，一個是編譯時型別，一個是執行時型別，編譯時型別由宣告該變數時使用的型別決定，執行時型別由實際賦給該變數的物件決定。


這樣的說法只是簡單地描述了編譯時型別、執行時型別，並沒有真正的從本質上說明什麼是編譯時型別什麼是執行時型別。最終我還是找到了一篇寫的比較好的文章，拷貝其中的一段給大家看看，外加上自己的程式碼
Person p=new Women()(Women類繼承自Person類)那麼，假如p的屬性修飾符為public 訪問屬性時得到的是Person類的屬性還是Women類的屬性，方法呼叫又是哪個類？答案：會得到Person類的屬性，呼叫Women類的方法。為什麼會這樣呢？這裡就需要知道什麼是編譯時型別和執行時型別，Java程式狀態會分為編譯和執行這兩種狀態，編譯時，JVM會在棧中靜態建立基本資料變數，和引用資料變數的引用，回到剛剛那句程式碼，顯然，p這個引用就是在編譯時建立的，那麼，p的編譯時型別就是Person了，當執行這句java程式碼時，JVM在堆中為p新建一塊記憶體，對應new Women（）這句程式碼，所以p的執行時型別就是Women
這篇文章的地址在這大家可以去看看原版文章寫得非常好。http://blog.csdn.net/qq_23419401/article/details/52064871#java
下面我就要發表一下自己的看法了。我們都知道棧和堆，在棧中存放的是一些引用和一些變數，而堆記憶體中存放的是物件。

所以：編譯時期可以理解為堆記憶體中還沒有為該物件建立記憶體，只是在棧中建立了一些基本型別的變數和引用，所以編譯時型別就是指在new該物件之前被載入到棧中的屬性或方法。而執行時型別，是指new了一個物件出來，在棧中為該物件分配了記憶體，此時的執行時型別也就是棧中物件的屬性或方法了。
 Person person = new student();

這裡就可以很好地理解編譯時型別和執行時型別了。
編譯時型別是Person，當new了一個物件之後，堆記憶體中產生了一個Student物件，此時的型別就是執行時型別，也就是Student型別了。

這裡需要補充的是，在多型中，將子類物件賦給父類的引用，會產生多型。
Father son = new Son();
 

而這裡的son只能呼叫Father的方法（重寫或者繼承的方法），而不能呼叫本身定義的一些方法（自己編寫的父類中沒有的方法）。例如下面這樣就會報錯。

public class Father {
    public String name;
    public Father(){
        this.name = "father";
    }
    public void show(){
        System.out.println("father's name : " + this.name);
    }
}



public class Son extends
 
 Father {
    public String name;
    public Son(){
        this.name = "son";
    }
    public void show(){
        System.out.println("Son's name: " + this.name);
    }
    public void show2(){
        System.out.println("show2");
    }
    public static void main(String[] args) {
        Father son = new
 
 Son();
        son.show2();//此處就會報錯
    }
}

1因為多型中強調：編寫java程式時，引用型別變數只能呼叫其編譯時型別的變數，不能呼叫其執行時型別變數。此時的show2（）就是執行時型別的變量了。所以會報錯