Java靜態綁定與動態綁定

程序綁定的概念:
綁定指的是一個方法的調用與方法所在的類(方法主體)關聯起來。對java來說,綁定分爲靜態綁定和動態綁定;或者叫做前期綁定和後期綁定.

靜態綁定:
在程序執行前方法已經被綁定(也就是說在編譯過程中就已經知道這個方法到底是哪個類中的方法),此時由編譯器或其它連接程序實現。例如:C。
針對java簡單的可以理解爲程序編譯期的綁定;這裏特別說明一點,java當中的方法只有final,static,private和構造方法是前期綁定

動態綁定:
後期綁定:在運行時根據具體對象的類型進行綁定
若一種語言實現了後期綁定,同時必須提供一些機制,可在運行期間判斷對象的類型,並分別調用適當的方法。也就是說,編譯器此時依然不知道對象的類型,但方法調用機制能自己去調查,找到正確的方法主體。不同的語言對後期綁定的實現方法是有所區別的。但我們至少可以這樣認爲:它們都要在對象中安插某些特殊類型的信息。
動態綁定的過程:
  1. 虛擬機提取對象的實際類型的方法表;
  2. 虛擬機搜索方法簽名;
  3. 調用方法。

關於final,static,private和構造方法是前期綁定的理解
對於private的方法,首先一點它不能被繼承,既然不能被繼承那麼就沒辦法通過它子類的對象來調用,而只能通過這個類自身的對象來調用。因此就可以說private方法和定義這個方法的類綁定在了一起。
final方法雖然可以被繼承,但不能被重寫(覆蓋),雖然子類對象可以調用,但是調用的都是父類中所定義的那個final方法,(由此我們可以知道將方法聲明爲final類型,一是爲了防止方法被覆蓋,二是爲了有效地關閉java中的動態綁定)。
構造方法也是不能被繼承的(網上也有說子類無條件地繼承父類的無參數構造函數作爲自己的構造函數,不過個人認爲這個說法不太恰當,因爲我們知道子類是通過super()來調用父類的無參構造方法,來完成對父類的初始化, 而我們使用從父類繼承過來的方法是不用這樣做的,因此不應該說子類繼承了父類的構造方法),因此編譯時也可以知道這個構造方法到底是屬於哪個類。
對於static方法,具體的原理我也說不太清。不過根據網上的資料和我自己做的實驗可以得出結論:static方法可以被子類繼承,但是不能被子類重寫(覆蓋),但是可以被子類隱藏。(這裏意思是說如果父類裏有一個static方法,它的子類裏如果沒有對應的方法,那麼當子類對象調用這個方法時就會使用父類中的方法。而如果子類中定義了相同的方法,則會調用子類的中定義的方法。唯一的不同就是,當子類對象上轉型爲父類對象時,不論子類中有沒有定義這個靜態方法,該對象都會使用父類中的靜態方法。因此這裏說靜態方法可以被隱藏而不能被覆蓋。這與子類隱藏父類中的成員變量是一樣的。隱藏和覆蓋的區別在於,子類對象轉換成父類對象後,能夠訪問父類被隱藏的變量和方法,而不能訪問父類被覆蓋的方法)

由上面我們可以得出結論,如果一個方法不可被繼承或者繼承後不可被覆蓋,那麼這個方法就採用的靜態綁定。

java的編譯與運行
java的編譯過程是將java源文件編譯成字節碼(jvm可執行代碼,即.class文件)的過程,在這個過程中java是不與內存打交道的,在這個過程中編譯器會進行語法的分析,如果語法不正確就會報錯。
Java的運行過程是指jvm(java虛擬機)裝載字節碼文件並解釋執行。在這個過程纔是真正的創立內存佈局,執行java程序。
java字節碼的執行有兩種方式: (1)即時編譯方式:解釋器先將字節編譯成機器碼,然後再執行該機器碼;(2)解釋執行方式:解釋器通過每次解釋並執行一小段代碼來完成java字節碼程序的所有操作。(這裏我們可以看出java程序在執行過程中其實是進行了兩次轉換,先轉成字節碼再轉換成機器碼。這也正是java能一次編譯,到處運行的原因。在不同的平臺上裝上對應的java虛擬機,就可以實現相同的字節碼轉換成不同平臺上的機器碼,從而在不同的平臺上運行)

前面已經說了對於java當中的方法而言,除了final,static,private
和構造方法是前期綁定外,其他的方法全部爲動態綁定。
而動態綁定的典型發生在父類和子類的轉換聲明之下:
比如:Parent p = new Children();
其具體過程細節如下:
1:編譯器檢查對象的聲明類型和方法名。
假設我們調用x.f(args)方法,並且x已經被聲明爲C類的對象,那麼編譯器會列舉出C 類中所有的名稱爲f 的方法和從C 類的超類繼承過來的f 方法。
2:接下來編譯器檢查方法調用中提供的參數類型。
如果在所有名稱爲f 的方法中有一個參數類型和調用提供的參數類型最爲匹配,那麼就調用這個方法,這個過程叫做“重載解析”。

3:當程序運行並且使用動態綁定調用方法時,虛擬機必須調用同x所指向的對象的實際類型相匹配的方法版本。

假設實際類型爲D(C的子類),如果D類定義了f(String)那麼該方法被調用,否則就在D的超類中搜尋方法f(String),依次類推。

JAVA 虛擬機調用一個類方法時(靜態方法),它會基於對象引用的類型(通常在編譯時可知)來選擇所調用的方法。相反,當虛擬機調用一個實例方法時,它會基於對象實際的類型(只能在運行時得知)來選擇所調用的方法,這就是動態綁定,是多態的一種。動態綁定爲解決實際的業務問題提供了很大的靈活性,是一種非常優美的機制。

與方法不同,在處理java類中的成員變量(實例變量和類變量)時,並不是採用運行時綁定,而是一般意義上的靜態綁定。所以在向上轉型的情況下,對象的方法可以找到子類,而對象的屬性(成員變量)還是父類的屬性(子類對父類成員變量的隱藏)。
Java代碼
public class Father {
    protected String name = "父親屬性";
}
  

public class Son extends Father {
    protected String name = "兒子屬性";

    public static void main(String[] args) {
        Father sample = new Son();
        System.out.println("調用的屬性:" + sample.name);
    }
}

結論,調用的成員爲父親的屬性。
這個結果表明,子類的對象(由父類的引用handle)調用到的是父類的成員變量。所以必須明確,運行時(動態)綁定針對的範疇只是對象的方法
現在試圖調用子類的成員變量name,該怎麼做?最簡單的辦法是將該成員變量封裝成方法getter形式
代碼如下:
Java代碼
public class Father {
    protected String name = "父親屬性";

    public String getName() {
        return name;
    }
}  

public class Son extends Father {
    protected String name = "兒子屬性";

    public String getName() {
        return name;
    }

    public static void main(String[] args) {
        Father sample = new Son();
        System.out.println("調用的屬性:" + sample.getName());
    }
}

結果:調用的是兒子的屬性
java因爲什麼對屬性要採取靜態的綁定方法。這是因爲靜態綁定是有很多的好處,它可以讓我們在編譯期就發現程序中的錯誤,而不是在運行期。這樣就可以提高程序的運行效率!而對方法採取動態綁定是爲了實現多態,多態是java的一大特色。多態也是面向對象的關鍵技術之一,所以java是以效率爲代價來實現多態這是很值得的。

注:以上內容大部分來自互聯網,小部分是個人見解,絕非權威性言論。如有語言表達不當或者表述不正確的地方,萬望指教。
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章