java靜態(tài)綁定和動(dòng)態(tài)綁定

文章來自:http://blog.sina.com.cn/s/blog_600046120100wdza.html
首先是方法的參數(shù)是父類對(duì)象,傳入子類對(duì)象是否可行
然后引出Parent p = new Children();
這句代碼不是很理解,google的過程中引出向上轉(zhuǎn)型
要理解向上轉(zhuǎn)型又引出了動(dòng)態(tài)綁定
從動(dòng)態(tài)綁定又引出了靜態(tài)綁定

程序綁定的概念:
綁定指的是一個(gè)方法的調(diào)用與方法所在的類(方法主體)關(guān)聯(lián)起來。對(duì)java來說,綁定分為靜態(tài)綁定和動(dòng)態(tài)綁定;或者叫做前期綁定和后期綁定

靜態(tài)綁定:
在程序執(zhí)行前方法已經(jīng)被綁定,此時(shí)由編譯器或其它連接程序?qū)崿F(xiàn)。例如:C。
針對(duì)java簡(jiǎn)單的可以理解為程序編譯期的綁定;這里特別說明一點(diǎn),java當(dāng)中的方法只有final,static,private和構(gòu)造方法是前期綁定

動(dòng)態(tài)綁定:
后期綁定:在運(yùn)行時(shí)根據(jù)具體對(duì)象的類型進(jìn)行綁定。
若一種語言實(shí)現(xiàn)了后期綁定,同時(shí)必須提供一些機(jī)制,可在運(yùn)行期間判斷對(duì)象的類型,并分別調(diào)用適當(dāng)?shù)姆椒?。也就是說,編譯器此時(shí)依然不知道對(duì)象的類型,但方法調(diào)用機(jī)制能自己去調(diào)查,找到正確的方法主體。不同的語言對(duì)后期綁定的實(shí)現(xiàn)方法是有所區(qū)別的。但我們至少可以這樣認(rèn)為:它們都要在對(duì)象中安插某些特殊類型的信息。

動(dòng)態(tài)綁定的過程:
虛擬機(jī)提取對(duì)象的實(shí)際類型的方法表;
虛擬機(jī)搜索方法簽名;
調(diào)用方法。

關(guān)于綁定相關(guān)的總結(jié):
在了解了三者的概念之后,很明顯我們發(fā)現(xiàn)java屬于后期綁定。在java中,幾乎所有的方法都是后期綁定的,在運(yùn)行時(shí)動(dòng)態(tài)綁定方法屬于子類還是基類。但是也有特殊,針對(duì)static方法和final方法由于不能被繼承,因此在編譯時(shí)就可以確定他們的值,他們是屬于前期綁定的。特別說明的一點(diǎn)是,private聲明的方法和成員變量不能被子類繼承,所有的private方法都被隱式的指定為final的(由此我們也可以知道:將方法聲明為final類型的一是為了防止方法被覆蓋,二是為了有效的關(guān)閉java中的動(dòng)態(tài)綁定)。java中的后期綁定是有JVM來實(shí)現(xiàn)的,我們不用去顯式的聲明它,而C++則不同,必須明確的聲明某個(gè)方法具備后期綁定。

java當(dāng)中的向上轉(zhuǎn)型或者說多態(tài)是借助于動(dòng)態(tài)綁定實(shí)現(xiàn)的,所以理解了動(dòng)態(tài)綁定,也就搞定了向上轉(zhuǎn)型和多態(tài)。
前面已經(jīng)說了對(duì)于java當(dāng)中的方法而言,除了final,static,private和構(gòu)造方法是前期綁定外,其他的方法全部為動(dòng)態(tài)綁定。而動(dòng)態(tài)綁定的典型發(fā)生在父類和子類的轉(zhuǎn)換聲明之下:
比如:Parent p = new Children();
其具體過程細(xì)節(jié)如下:
1:編譯器檢查對(duì)象的聲明類型和方法名。假設(shè)我們調(diào)用x.f(args)方法,并且x已經(jīng)被聲明為C類的對(duì)象,那么編譯器會(huì)列舉出C類中所有的名稱為f的方法和從C類的超類繼承過來的f方法
2:接下來編譯器檢查方法調(diào)用中提供的參數(shù)類型。如果在所有名稱為f 的方法中有一個(gè)參數(shù)類型和調(diào)用提供的參數(shù)類型最為匹配,那么就調(diào)用這個(gè)方法,這個(gè)過程叫做“重載解析”
3:當(dāng)程序運(yùn)行并且使用動(dòng)態(tài)綁定調(diào)用方法時(shí),虛擬機(jī)必須調(diào)用同x所指向的對(duì)象的實(shí)際類型相匹配的方法版本。假設(shè)實(shí)際類型為D(C的子類),如果D類定義了f(String)那么該方法被調(diào)用,否則就在D的超類中搜尋方法f(String),依次類推

上面是理論,下面看幾個(gè)示例(示例來自網(wǎng)絡(luò)):

Java代碼 
view plaincopy to clipboardprint? 
public class Father {   
  public void method() {   
    System.out.println("父類方法,對(duì)象類型:" + this.getClass());   
  }   
}   
     
public class Son extends Father {   
  public static void main(String[] args) {   
    Father sample = new Son();//向上轉(zhuǎn)型   
    sample.method();   
  }   
}   

聲明的是父類的引用,但是執(zhí)行的過程中調(diào)用的是子類的對(duì)象,程序首先尋找子類對(duì)象的method方法,但是沒有找到,于是向上轉(zhuǎn)型去父類尋找

Java代碼 
public class Son extends Father {   
  public void method() {   
    System.out.println("子類方法,對(duì)象類型:" + this.getClass());   
  }   
     
  public static void main(String[] args) {   
    Father sample = new Son();//向上轉(zhuǎn)型   
    sample.method();   
  }   
}   
 

由于子類重寫了父類的method方法,根據(jù)上面的理論知道會(huì)去調(diào)用子類的method方法去執(zhí)行,因?yàn)樽宇悓?duì)象有method方法而沒有向上轉(zhuǎn)型去尋找

前面的理論當(dāng)中已經(jīng)提到了java的綁定規(guī)則,由此可知,在處理java類中的成員變量時(shí),并不是采用運(yùn)行時(shí)綁定,而是一般意義上的靜態(tài)綁定。所以在向上轉(zhuǎn)型的情況下,對(duì)象的方法可以找到子類,而對(duì)象的屬性還是父類的屬性。
代碼如下:

Java代碼 
public class Father {   
   
  protected String name="父親屬性";   
     
  public void method() {   
    System.out.println("父類方法,對(duì)象類型:" + this.getClass());   
  }   
}   
     
public class Son extends Father {   
  protected String name="兒子屬性";   
     
  public void method() {   
    System.out.println("子類方法,對(duì)象類型:" + this.getClass());   
  }   
     
  public static void main(String[] args) {   
    Father sample = new Son();//向上轉(zhuǎn)型   
    System.out.println("調(diào)用的成員:"+sample.name);   
  }   
}  

結(jié)論,調(diào)用的成員為父親的屬性。
這個(gè)結(jié)果表明,子類的對(duì)象(由父類的引用handle)調(diào)用到的是父類的成員變量。所以必須明確,運(yùn)行時(shí)(動(dòng)態(tài))綁定針對(duì)的范疇只是對(duì)象的方法。
現(xiàn)在試圖調(diào)用子類的成員變量name,該怎么做?最簡(jiǎn)單的辦法是將該成員變量封裝成方法getter形式。
代碼如下:

Java代碼 
public class Father {   
  protected String name = "父親屬性";   
  public String getName() {   
    return name;   
  }   
  public void method() {   
    System.out.println("父類方法,對(duì)象類型:" + this.getClass());   
  }   
}   
     
public class Son extends Father {   
  protected String name="兒子屬性";   
     
  public String getName() {   
    return name;   
  }   
     
  public void method() {   
    System.out.println("子類方法,對(duì)象類型:" + this.getClass());   
  }   
     
  public static void main(String[] args) {   
    Father sample = new Son();//向上轉(zhuǎn)型   
    System.out.println("調(diào)用的成員:"+sample.getName());   
  }   
}   

結(jié)果:調(diào)用的是兒子的屬性

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

友情鏈接更多精彩內(nèi)容