[問題] 觀念問題-多型和多載

[風~]

最近在看JAVA的觀念書籍

提到了多載和多型

這兩個我有點搞不太懂

所以才上來請教


我自己理解的情況是

多載是像下面這樣

class a(){
class Find(int a){
....
}
class Find(int a,int b){
....
}
}
兩個方法名稱一樣 但是參數個數不同


多型是像下面這樣

class a(){
class Find(int a){
....
}
class Find(double a){
....
}
}
兩個方法名稱一樣 參數相同 但是參數的型別不同...


如果有錯 敬請糾正 感謝各位前輩< ( _ _ ) >

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 203.204.69.75

[小白退散!]

你所說的例子全部是多載的例子.
多型, 只有當繼承關係發生時再討論才有意義.


※ 引述《***@ptt.cc (風~)》之銘言：
: 最近在看JAVA的觀念書籍
: 提到了多載和多型
: 這兩個我有點搞不太懂
: 所以才上來請教
: 我自己理解的情況是
: 多載是像下面這樣
: class a(){
: class Find(int a){
: ....
: }
: class Find(int a,int b){
: ....
: }
: }
: 兩個方法名稱一樣 但是參數個數不同
: 多型是像下面這樣
: class a(){
: class Find(int a){
: ....
: }
: class Find(double a){
: ....
: }
: }
: 兩個方法名稱一樣 參數相同 但是參數的型別不同...
: 如果有錯 敬請糾正 感謝各位前輩< ( _ _ ) >
--
╭──── Origin:<不良牛牧場> bbs.badcow.com.tw (210.200.247.200)─────╮
│  ↘ Welcome to SimFarm BBS -- From : [220.138.49.7] │
╰◣◣◢ ◢◢《不良牛免費撥接→電話:40586000→帳號:zoo→密碼:zoo》 ◣◣◢ ─╯

[ArssertionError]

你所提到的兩個例子都是多載
另外 順帶一提
多載的限制在於 方法名稱相同 引數不同
可以是不同數量 不同型別 不同順序都可
只要符合以上條件 就算是多載
多載主要是讓我們在撰寫程式時可針對各種不同之傳入引數做出不同的行為

而所謂的多型 是一種程式技巧
利用自動轉型來以父類別呼叫子類別覆寫後的方法
最常用在父類別為介面時
子類別將被強制覆寫父類別的抽象方法（除非子類別也為介面或抽象類別）
在swing awt中都大量使用多型
如下例
interface A {
void Amethod();
}
class B implements A{
public void Amethod(){
//more code here
}
}
如果此時要從C存取B中的Amethod()
可以有兩種寫法
class C {
public static void main(String[] args){
B b = new B();
b.Amethod();//這是一般的寫法
A a = new B();
a.Amethod();//這是多型的寫法
}
}
另外 在使用多型時要注意
父類別只可呼叫子類別覆寫之方法或父類別自己的方法
如果呼叫父類別沒有的方法
編譯時期將會出現cannot find symbol的錯誤
以上 有問題再mail給我

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.113.80.145
※ 編輯: DavyBlue 來自: 59.113.80.145 (03/24 09:45)

[keep your faith !]

我記得有一種分法是依binding的時間來區分

static binding的稱為overloading(多載)
是指在compile time就可以決定呼叫的是那一個function

dynamic binding的稱為polymorphism(多型)
是指實際呼叫的function是在runtime 根據實際的type才能決定

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.105.8.157

[Alien]

※ 引述《ellinas (keep your faith !)》之銘言：
: 我記得有一種分法是依binding的時間來區分
: static binding的稱為overloading(多載)
: 是指在compile time就可以決定呼叫的是那一個function
: dynamic binding的稱為polymorphism(多型)
: 是指實際呼叫的function是在runtime 根據實際的type才能決定

這只是在 Java 中的情況而已. 不要倒果為因.
要是喜歡的話, 我在 runtime 才決定 invoke
哪一個 overloaded 的 method 也無不可.

先明白什麼叫 method overloading/overriding 吧.
不要用 "compile/runtime binding" 來判斷, 那一點
意思都沒有哩.

alien

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 202.22.246.26

[godfat 真常]

※ 引述《adrianshum (Alien)》之銘言：
: 這只是在 Java 中的情況而已. 不要倒果為因.
: 要是喜歡的話, 我在 runtime 才決定 invoke
: 哪一個 overloaded 的 method 也無不可.

這我倒還是第一次聽到 overloading 能在 runtime 決定，
pattern matching 嗎？

http://en.wikipedia.org/wiki/Method_overloading

http://en.wikipedia.org/wiki/Pattern_matching

就我所知，overloading 一般是視為靜態的多形：

http://en.wikipedia.org/wiki/Type_polymorphism#Ad-hoc_polymorphism

我想你所說的 overloaded method 可在 runtime 決定大概是指：

class Parent{
public void f(){}
public void f(int i){}
}

class Child extends Parent{
public void f(){}
public void f(int i){}
}

Parent p = getInstance();

p.f(); // 呼叫 Parent#f 或 Child#f
p.f(1); // 呼叫 Parent#f(int) 或 Child#f(int)

但這能叫 overloading 嗎…？
p.f() 時決定是用 f() 系列而非使用 f(int) 系列
我覺得真的要 runtime 決定 overloading 的話，應該要像是：

class AClass{
public void f(1){}
public void f(0){}
public void f(int i){}
}

AClass ac = new AClass();
ac.f(1); // 呼叫 f(1)
ac.f(0); // 呼叫 f(0)
ac.f(2); // 呼叫 f(int)

ac.f( get_a_int() ); // 呼叫誰？

不覺得這樣才有 runtime overloading 的感覺在？

: 先明白什麼叫 method overloading/overriding 吧.
: 不要用 "compile/runtime binding" 來判斷, 那一點
: 意思都沒有哩.
: alien

其實我並不喜歡 polymorphism 這個詞，因為字面上太泛觀了。
所以所謂 overriding 我會喜歡叫 dynamic/late binding,
他明確指出 binding 是在 runtime 決定，而非 compile time.
（而 overriding 則只拿來單指改寫 parent 的動作罷了，
不過改寫這個詞也是過於隨便就是了。）

我並不是想要正名或是什麼，只是越來越覺得，
如果只從 Java 的觀點去看，世界會變得很小。
也想要強調，名詞並不重要，只要不會造成混淆就好。
如果真的永遠只用 Java 的話，或許也不會有所混淆。
那繼續使用不會在 Java 混淆的名詞，似乎也無不可。
但是，其他觀點也是可以姑且聽之吧 :p

--
#!/usr/bin/ruby [露比] /Programming (Kn|N)ight/ 看板《Ruby》
# if a dog nailed extra legs that http://www.ptt.cc/bbs/Ruby/index.html
# walks like an octopus, and Welcome ~Ruby[***@ptt~
# talks like an octopus, then ◢█◣ http://www.ruby-lang.org/
# we are happy to treat it as █   http://www.ruby-doc.org/
# if it were an octopus. ◥ ◤ http://www.rubyforge.org/

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.132.58.12

[Alien]

※ 引述《godfat (godfat 真常)》之銘言：
: ※ 引述《adrianshum (Alien)》之銘言：
: : 這只是在 Java 中的情況而已. 不要倒果為因.
: : 要是喜歡的話, 我在 runtime 才決定 invoke
: : 哪一個 overloaded 的 method 也無不可.
: 這我倒還是第一次聽到 overloading 能在 runtime 決定，
我想你誤會了我的意思了 :)

我想說的意思是:
overloading 的意思是容許同一 method name
但 parameter list 不同的一種 language feature.

雖然正常來說, overloading 在實作的時候
都能在 compile-time 決定, 但如果有一種
language 不採正常做法而在 runtime 作決定,
這也不會令到這 language feature 叫做
method overloading 以外的名字.

: pattern matching 嗎？
: http://en.wikipedia.org/wiki/Method_overloading
: http://en.wikipedia.org/wiki/Pattern_matching
: 就我所知，overloading 一般是視為靜態的多形：
: http://en.wikipedia.org/wiki/Type_polymorphism#Ad-hoc_polymorphism
: 我想你所說的 overloaded method 可在 runtime 決定大概是指：
[43]
: 不覺得這樣才有 runtime overloading 的感覺在？
: : 先明白什麼叫 method overloading/overriding 吧.
: : 不要用 "compile/runtime binding" 來判斷, 那一點
: : 意思都沒有哩.
: : alien
: 其實我並不喜歡 polymorphism 這個詞，因為字面上太泛觀了。
: 所以所謂 overriding 我會喜歡叫 dynamic/late binding,
: 他明確指出 binding 是在 runtime 決定，而非 compile time.
: （而 overriding 則只拿來單指改寫 parent 的動作罷了，
: 不過改寫這個詞也是過於隨便就是了。）
: 我並不是想要正名或是什麼，只是越來越覺得，
: 如果只從 Java 的觀點去看，世界會變得很小。
: 也想要強調，名詞並不重要，只要不會造成混淆就好。
: 如果真的永遠只用 Java 的話，或許也不會有所混淆。
: 那繼續使用不會在 Java 混淆的名詞，似乎也無不可。
: 但是，其他觀點也是可以姑且聽之吧 :p

同意你這一段的意思.

這也是我當初回文的主因. 我們提到這一堆詞語, 在描述
的是不同的層面的東西. 我們該明白每個詞語在表達的
是什麼

十分同意你說 Polymorphism 不該這樣用. Polymorphism
是 OO 的特徵, 是一個目的. Java 等 Language 中的
Method Overriding 是達成這目的之手段.

倒是用 late binding 取代 overriding 一詞我個人有點
保留. 畢竟, Late binding 一詞也有很多不同意思, 甚
至 application 在 runtime 時才連結 DLL 也是一種
late binding. 反而 overriding 一詞, 雖然字面的意
思只是 "改寫", 但實際上, 用在 Java/C++ etc 的 lang
時, 其意思已經包括: "改寫了 parent 的 method 後, 在
invocation 時會以 late binding 的手段來 invoke
適合的版本."

沒有 late binding 的 method overriding 並不是什麼
實用的 laungage feature 吧? (e.g. C++ 中, 沒有加
virtual keyword).

Alien

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 202.22.246.26