作者birdy1147 (Allen)
看板java
標題[問題] 多型的概念
時間Thu Apr 14 13:08:26 2016
class Father{
String name = "Father";
String getname(){
return name;
}
String greeting(){
return "class Father";
}
}
class Son extends Father{
String name= "Son";
String greeting(){
return "class Son";
}
}
public class Polymorphism{
public static void main(String[] args){
Father fa = new Son();
System.out.print(fa.greeting()+", ");
System.out.print(fa.name+", ");
System.out.println(fa.getname());
}
}
請問以上的程式執行結果
第一個print為class Son
沒問題。因為覆寫
第三個print為Father
沒問題。因為父類別中才有這個方法
第二個我不懂
為什麼結果是Father 而不是Son呢？
最後實際執行的實體
不是new Son( ); 嗎？
怎麼理解，感謝
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.70.24.157
※ 文章網址: https://webptt.com/m.aspx?n=bbs/java/M.1460610509.A.EAE.html
1F：推 snowlike: 先不論怎麼理解，第二個和第三個如果不同實際上更奇怪04/14 14:06
2F：→ snowlike: name 實際上有兩個只是 son 裡的 name 產生了遮蔽的效果04/14 14:07
所以我不懂的是，
son 裡的 name 產生了遮蔽的效果，那為什麼結果不是Son，而是Fathe
r呢？
因為我理解不過來，所以不懂哪裡奇怪
3F：→ bitlife: docs.oracle.com/javase/specs/jls/se7/html/jls-4.html04/14 14:14
4F：→ bitlife: The Java programming language is a statically typed04/14 14:14
5F：→ bitlife: language, which means that every variable and every04/14 14:14
6F：→ bitlife: expression has a type that is known at compile time.04/14 14:14
意思是說在編譯時期型態為Father
但之後實際執行的不是Son嗎？
※ 編輯: birdy1147 (111.70.24.157), 04/14/2016 14:38:04
7F：推 snowlike: 因為你看的是 Fa 的 name，會提遮蔽就是因為非繼承關係04/14 14:51
8F：→ snowlike: 樓上是 Fa 和 So 的變數都存在的意思不用再往繼承思考04/14 14:56
抱歉...我還是沒有懂
greeting因為覆寫所以是class Son
那麼Son的name不是也遮蔽了father的name嗎？
那第二個為什麼不是Son?
※ 編輯: birdy1147 (111.70.24.157), 04/14/2016 15:10:45
9F：→ bitlife: 不是告訴你在compile time就確定型別了嗎? 04/14 15:58
10F：→ bitlife: ^variable 04/14 15:59
11F：→ ntuarthur: virtual method table 04/14 16:07
12F：→ bitlife: 多型和確定型本身就是相反的概念,多型是在執行時期為了確 04/14 22:14
13F：→ bitlife: 定要使用那個method,所以需要確定執行時期的型別,而field 04/14 22:15
14F：→ bitlife: 的存取,在編譯時期就決定了要存取哪個型別的某個field 04/14 22:16
15F：→ bitlife: 要存取name,所以fa在編譯時期就確定了它是Father型別 04/14 22:17
16F：→ bitlife: 那個fa = new Son(); 是人類望文生義理解它實際會是Son, 04/14 22:18
17F：→ bitlife: 但compile time沒有這個資訊(別期待編譯器像人一樣「懂」 04/14 22:19
18F：→ bitlife: ),如果你是寫 Father fa = someFunction() 呢,不把整個程 04/14 22:19
19F：→ bitlife: 式實際跑一遍是不可能在compile time知道的.總之,多型是 04/14 22:20
20F：→ bitlife: 到run time再查真實型別以執行對應該執行的method 04/14 22:21
21F：→ bitlife: 實務則用virtual function/method table來做,把問題提早 04/14 22:22
22F：→ bitlife: 到編譯時期即可解決,但field不能這樣幹,因為field如前面 04/14 22:22
23F：→ bitlife: 所說,不是pure virtual,只是被子代遮掉,實際上有兩份, 04/14 22:23
24F：→ bitlife: pure virtual function在virtual function/method table 04/14 22:23
25F：→ bitlife: 中,子代的method會蓋掉親代的method 04/14 22:24
26F：→ bitlife: 更正,上面的pure都去掉,和pure與否無關(C++的virutal在 04/14 22:27
27F：→ bitlife: Java是預設,而C++的pure virtaul變成了Java的virutal,我 04/14 22:28
28F：→ bitlife: 寫的時候一直想著C++的實務,才多寫pure 04/14 22:28
29F：推 bitlife: abstract XD 04/14 22:31
30F：→ ntuarthur: 樓上乾脆回一篇比較好讀。或者就給他key word XD 04/15 15:41