※ 引述《FatDevil (You Are The One!!)》之銘言：
: import static java.lang.System.out;
: class Father{
: public void foo(String...a){
: out.println("Father.foo");
: }
: }
: class Son extends Father{
: public void foo(String a){
: out.println("Son.foo");
: }
: }
: public class app2{
: public static void main(String args[]){
: Father f = new Son();
: f.foo("test");
: }
: }
: 請教各位:
: 當我在一個引數的情形下怎麼知道他會去呼叫father 還是 son的foo()?
: 因為一但我把father class 的foo method改成public void foo(String a)
: 在多型下他會去呼叫son class 的foo() (overriding沒錯吧)
: 可是在foo(String...a)和foo(String a)
: 情形下怎麼知道他會去呼叫哪一個?
: 感謝``
此例 Father f = new Son();
f 的型別是 Father, 實體是 Son
所以能夠看到的 f 成員都是 Father 型別所定義的
換言之 Son 型別裡面新定義的成員都看不見
因此 f.foo("test") 只可能是 Father 的 foo(String ... a) 型態
然後因為 f 的實體是 Son, 而 Son 繼承 Father
所以 f.foo("test") 實際上是呼叫 Son 的 foo(String ... a)
但是 Son 沒有再定義 foo(String ... a)
這意味著 Son 的 foo(String ... a) 是繼承自 Father 的 foo(String ... a)
也就是說 Son 的 foo(String ... a) 就是 Father 的 foo(String ... a)
如果需要一個名稱來稱呼這個現象的話，這叫作 overload
今天假設我們把 Father 的 foo(String ... a) 改成 foo(String a)
此時 f.foo("test") 就是去找 Father 有沒有定義 foo(String a)
發現有定義之後，因為 f 的實體是 Son, 而 Son 繼承 Father
所以 f.foo("test") 實際上是呼叫 Son 的 foo(String a)
而且 Son 有再定義 foo(String a)
因此最後 f.foo("test") 會呼叫 Son 所定義的那個 foo(String a)
如果需要一個名稱來稱呼這個現象的話，這叫作 override.
這篇含有反推和正推，也許會有些本末倒置
但是我認為我已經盡力地讓事情的始末描述得夠詳細了....
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.117.172.148