Java 靜態繫結與動態綁定深入分析_java

來源:互聯網
上載者:User

Java 靜態繫結與動態綁定

          最近學習java 的知識,對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類中的成員變數(執行個體變數和類變數)時,並不是採用運行時綁定,而是一般意義上的靜態繫結。所以在向上轉型的情況下,對象的方法可以找到子類,而對象的屬性(成員變數)還是父類的屬性(子類對父類成員變數的隱藏)。

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形式。
代碼如下:

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因為什麼對屬性要採取靜態Binder 方法。這是因為靜態繫結是有很多的好處,它可以讓我們在編譯期就發現程式中的錯誤,而不是在運行期。這樣就可以提高程式的運行效率!而對方法採取動態綁定是為了實現多態,多態是java的一大特色。多態也是物件導向的關鍵技術之一,所以java是以效率為代價來實現多態這是很值得的。

註:以上內容大部分來自互連網,小部分是個人見解,絕非權威性言論。如有語言表達不當或者表述不正確的地方,萬望指教。

感謝閱讀,希望能協助到大家,謝謝大家對本站的支援!

相關文章

聯繫我們

該頁面正文內容均來源於網絡整理,並不代表阿里雲官方的觀點,該頁面所提到的產品和服務也與阿里云無關,如果該頁面內容對您造成了困擾,歡迎寫郵件給我們,收到郵件我們將在5個工作日內處理。

如果您發現本社區中有涉嫌抄襲的內容,歡迎發送郵件至: info-contact@alibabacloud.com 進行舉報並提供相關證據,工作人員會在 5 個工作天內聯絡您,一經查實,本站將立刻刪除涉嫌侵權內容。

A Free Trial That Lets You Build Big!

Start building with 50+ products and up to 12 months usage for Elastic Compute Service

  • Sales Support

    1 on 1 presale consultation

  • After-Sales Support

    24/7 Technical Support 6 Free Tickets per Quarter Faster Response

  • Alibaba Cloud offers highly flexible support services tailored to meet your exact needs.