[問題] 多型的概念

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