作者sbrhsieh (偶爾想擺爛一下)
看板java
標題Re: [問題] 泛型的問題
時間Sat Oct 30 20:29:02 2010
※ 引述《newjoy (職業格鬥家)》之銘言：
: // @ jdk 1.6
: public class GenericTest implements Comparable<String>{
: public int compareTo(Object o)
: {
: return 0;
: }
: public int compareTo(String s)
: {
: return 0;
: }
: public static void main(String[] args) {
: new GenericTest();
: }
: }
: //----
: Comparable的 source code的宣告是 Comparable<T t>
: 請問為什麼上面的public int compareTo(Object o)會發生
: GenericTest.java:1: name clash: compareTo(java.lang.Object) in GenericTest
: and compareTo(T) in java.lang.Comparable<java.lang.String> have the same
: erasure, yet neither overrides the other
: public class GenericTest implements Comparable<String>{
: 明明我有實作了compareTo(String s),
: 那在沒加@Override的情況下compareTo(Object o)也只不過是一個無關的function而已吧?
Comparable<T> interface 實際上是定義了一個 abstract method(經過 erasure):
public abstract int compareTo(Object);
當你定義一個 concrete class(比如你的 GenericTest) implements
Comparable<String>，那麼你需要在 source code 裡明確定義
public int compareTo(String s) {...}
編譯器會將他視為 override Comparable<T>::compareTo(T) method。
細節上來說，編譯器會為上述的
compareTo method 定義產生兩個 method:
public int compareTo(String s) {...}
以及一個 synthetic bridge method:
public int compareTo(Object obj) {
return compareTo((String) obj);
}
(以 JVM spec. 層面來說，後者才是真正 override Comparable<T>::compareTo
method 的 method)
但是在 Java Programming Language level 來說，你不能自己明白定義
compareTo(Object) method。
Generics 引進 Java PL 之後，overriding 的定義稍微變複雜，細節部份請
參閱 Java Language Specification 3rd edition 的
8.4.2 Method Signature 與 8.4.8 內各節。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.24.82.107
※ 編輯: sbrhsieh 來自: 114.24.82.107 (10/30 20:41)
1F：→ tomap41017:generics的引進不管在什麼語言都是複雜化(嘆) 10/30 21:26
2F：→ james732:不，在C++是妖魔化 XDDD 10/30 21:27
3F：→ TonyQ:對使用簡單，對開發複雜。 10/30 21:34