文章來自: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)用的是兒子的屬性