基本概念:
- 如果沒有泛型,對(duì)象插入集合后就會(huì)轉(zhuǎn)為Object類型,因此可以插入任意類型的對(duì)象
- 當(dāng)取出元素時(shí)需要強(qiáng)制類型轉(zhuǎn)換,如果忘記了原對(duì)象的類型,非常容易出錯(cuò)
- 泛型也稱為“參數(shù)化類型”,也就是將類型作為集合的一個(gè)參數(shù),在新建集合時(shí)傳入
- 在定義類、接口、方法時(shí),使用類型形參
- 這個(gè)形參在整個(gè)類、接口中可以當(dāng)類型使用
- 一般使用E作為集合的元素類型,K和V表示字典的關(guān)鍵字和表,其他用一般類的類型參數(shù)用T表示
- 使用泛型后,很容易知道集合的元素類型,程序可讀性更好
- 參數(shù)化類型T不能在靜態(tài)塊/方法/變量中使用,因?yàn)門必須在實(shí)例化時(shí)指定
- <>中的內(nèi)容只是類的一個(gè)參數(shù),實(shí)際的類名不包括<>中的內(nèi)容
- List<子類型>并不是List<父類型>的子類型,這一點(diǎn)尤其注意
泛型的繼承
- 如果子類需要保留泛型,使用
class SubClass<T> extends SuperClass<T> - 如果子類不需要保留泛型,使用
class SubClass extends SuperClass<某一類型> - 如果子類不定義泛型,
class SubClass extends SuperClass,父類中的泛型會(huì)自動(dòng)設(shè)為Object
通配符
- 使用通配符的原因:List<子類>并不是List<父類>的子類
- 如果希望方法的參數(shù)的泛型是某一個(gè)類及其子類
- 使用
public void method(List<? extends 父類>) - 可以提取List元素,但不能插入
- 使用
- 類聲明中的泛型T也可以使用
class ClassName<T extends 父類>
泛型方法
- 與泛型類類似,在方法聲明后加上<>,就是泛型類
public <T> void method(T t)- 可以使用多個(gè)類型,如<K, V>
- 參數(shù)化類型可以在方法內(nèi)的各種位置當(dāng)成類型使用
- 泛型方法也可以作用于構(gòu)造器
- 調(diào)用方法時(shí),java通過傳遞的參數(shù)與形參作比較,確定泛型的實(shí)際類型
- 與通配符的區(qū)別
- 當(dāng)一個(gè)參數(shù)化類型只在形參中使用一次時(shí),建議使用通配符,更簡(jiǎn)潔
- 當(dāng)各個(gè)參數(shù)之間有聯(lián)系,即使用多次時(shí),只能使用泛型類
- 兩者可以同時(shí)使用
類型擦除和轉(zhuǎn)換
- 一個(gè)List<String>賦給一個(gè)List變量,編譯無問題,元素都將變?yōu)镺bject
- 前者丟失泛型信息,這稱為擦除
- 一個(gè)List賦給一個(gè)List<String>變量,編譯無問題,元素都將變?yōu)镾tring,但取出元素時(shí)會(huì)發(fā)生強(qiáng)制類型轉(zhuǎn)換,有可能失敗
- 一個(gè)List<Integer>賦給一個(gè)List<String>變量,編譯無法通過