[問題] 多型的概念

[birdy1147 (Allen)]

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