Java泛型中有存在一種方式叫做類型擦除,也就是說泛型在編譯期間進行類型檢驗上做到有效安全,但是在運行當中,會將該泛型類型用頂層父類(若無繼承關系則用Object)代替,然后再進行強轉換成目標類型,這種類型擦除也存在在泛型方法中,但是方法的擦除帶來了兩個復雜的問題。
public class ParentString<String> {String src;public void setSrc(String src){this.src=src;} }
public class ChildString extends ParentString<String> {String s="childString";public void setSrc(String src){src=s;} }
在類型擦除之后,代碼演變成如下的樣子
public class ChildString extends ParentString {String s="childString";public void setSrc(String src){src=s;} }
但是,由于類型擦除,父類中的方法變成
setSrc(Object src)
這個時候子類無法覆蓋父類的方法。
由于參數的類型不同,這是兩個不同的方法,但是這種情況不應該出現的。考慮一下下面的語句序列
ChildString childString=new ChildString();ParentString<String> parentString=childString;parentString.setSrc("aaa");
這里在一般的情況下是通過多態的關系,parentString引用了子類ChildString的方法,問題在于類型擦除與多態發生了沖突。要解決這個問題,就需要在ChildString中生成一個橋方法(bridge method,編譯器自動生成)
public void setSrc(String src){setSrc((String)src);}
值得注意的還有一點,橋方法不僅用于泛型類型,目的是用來被合成保持多態。在一個方法覆蓋另一個方法時可以指定一個更嚴格的返回類型。
還有另外一個知識點作為補充
?
轉載請說明原文出處:http://www.cnblogs.com/xxzhuang/p/5968331.html? 多謝合作。