泛型
public interface Foo<E> {}
public interface Bar<T> {}
public interface Zar<?> {}
上面的代碼有什么區別?
泛型初探
1、為何引入泛型?
Java 泛型也是一種語法糖,使用泛型可以在代碼編譯階段完成類型的轉換,避免代碼在運行時強制轉換而出現ClassCastException的異常。
網絡搜索出來一大堆的名稱解釋,我們先看英文Generic type,從英文大概也能明白,Generic 這里可以理解為普通的,一般的,或者我們可以說通用的。
其實可以理解為Java中的一種類型,通用類型。
Java從1.5的版本就開始支持泛型,不過很多小伙伴對泛型還是模凌兩可,今天大概講講泛型,基礎好的小伙伴,就當復習復習。
在1.5版本以前
public static void main(String[] args){
List list = new ArrayList();
list.add("兔子托尼啊");
list.add(1234);
//正常運行
System.out.println((String)list.get(0));
//❌運行時報錯
System.out.println((String)list.get(1));
}
從上面的代碼可以看出了,第一句打印不報錯,第二句打印會報錯的。
List默認是Object的類型的,向List里面存數據都是沒有問題的,但是取數據的時候,必須要要進行類型的轉換。
List集合get數據的時候並不清楚里面存放的什么數據類型,默認取出來的都是Object的類型,如果取數據的時候轉換的類型和原始存放存的類型不一樣,會報ClassCastException的異常。
2、引入了泛型
看代碼
List<String> list = new ArrayList<String>();
list.add("兔子托尼啊");
//❌編譯時錯誤
list.add(1234);
//不需要再進行轉換了
String str = list.get(0);
3、泛型帶來好處
這在編碼的時候就給我們解決了,類型轉換的問題,可以放心寫代碼。
取數據的時候再也不要考慮我前面存的什么類型,我應該轉換為什么類型,不怕類型轉換報錯。
類型擦除
上面講了泛型,泛型雖然帶來了好處,但是泛型也帶了一個問題叫做類型擦除。
什么是類型擦除?
Java的泛型是偽泛型,這是因為Java在編譯期間,所有的泛型信息都會被擦掉,正確理解泛型概念的首要前提是理解類型擦除。
Java的泛型基本上都是在編譯器這個層次上實現的,在生成的字節碼中是不包含泛型中的類型信息的,使用泛型的時候加上類型參數,在編譯器編譯的時候會去掉,這個過程成為類型擦除。
class GenericU {
public void foo() {
System.out.println("GenericU.foo()");
}
}
public class Operater<T> {
private T obj;
public Operater(T obj) {
this.obj = obj;
}
public void doIt() {
//❌報錯,提示找不到foo方法
obj.foo();
}
public static void main(String[] args) {
GenericU genericU = new GenericU();
Operater<GenericU> operater = new Operater<>(genericU);
operater.doIt();
}
}
上面的代碼就是因為泛型擦除,帶來編譯就報錯了,代碼中的obj不知道是什么類型?
正確的代碼應該是什么,只要指定T的類型就好
class Operater2<T extends GenericU> {
private T obj;
public Operater2(T obj) {
this.obj = obj;
}
public void doIt() {
//正確☑️
obj.foo();
}
}
區分在Operater2<T extends GenericU>
和Operater<T>
必須指定泛型的類型。
上面的例子是運用在類上面的,方法中是什么效果呢?
class Foo{
//定義泛型方法..
public <T> void show(T t) {
System.out.println(t);
}
}
調用方法
public static void main(String[] args) {
//創建Foo對象
Foo foo = new Foo();
//不同的類型參數
foo.show("兔子托尼啊");
foo.show(1234);
foo.show(12.34);
}
通配符與上下界
我們大家在java的源碼中肯定看到這樣的例子。一個下限,一個上限
? extends T
VS ? super T
- ? extends T - 這里的?表示類型T的任意子類型,包含類型T本身。
- ? super T - 這里的?表示類型T的任意父類型,包含類型T本身。
上限通配符 可以代表未知的T類型,或者通過關鍵字 extends 所繼承的T類的任何一個子類。
同樣,下限通配符 可以代表未知的T類型,或者通過關鍵字super出來的的T類的任何一個父類。
通配符和泛型方法
//通配符
public void foo1(List<?> list) {
}
//使用泛型方法
public <T> void foo2(List<T> t) {
}
問: 上面兩種代碼都是可以的,但是什么場合用那種呢?
- 如果當參數之間有依賴關系,或者返回的參數有依賴關系則用泛型,反之則用通配符。
問:關於 ? extends T
和 ? super T
什么場景下用呢?
我從網上搜索了下
當你需要從一個數據結構中獲取數據時(get),那么就使用 ? extends T;如果你需要存儲數據(put)到一個數據結構時,那么就使用 ? super T; 如果你又想存儲數據,又想獲取數據,那么就不要使用通配符 ? ,即直接使用具體泛型T。
最后
泛型大概就講了上面的內容,你看明白了嗎?希望你又學到了,每天學一點,進步一點。升職加薪就是你了。
碼字不易,關注后送福利,求關注。