01.泛型
泛型的本質(zhì)是參數(shù)化類型,使用泛型可以獲得更高級(jí)的抽象。
Java泛型(generics)是JDK 5 引入的一個(gè)新特性,泛型提供了編譯時(shí)類型安全檢測(cè)機(jī)制,該機(jī)制允許程序員在編譯時(shí)檢測(cè)到非法的類型。
02.泛型方法
<li> 場(chǎng)景一:
假定我們有這樣一個(gè)需求:寫一個(gè)排序方法,能夠?qū)φ蛿?shù)組、字符串?dāng)?shù)組甚至其他任何類型的數(shù)組進(jìn)行排序,該如何實(shí)現(xiàn)?
/**
* 這個(gè)方法可以接受任意類型(基礎(chǔ)類型)的數(shù)組
*
* @param array
* @param <T> 數(shù)組類型
*/
private static <T> void printArray(T[] array) {
if (array == null || array.length <= 0) {
return;
}
for (T t : array) {
System.out.println(String.valueOf(t));
}
}
使用泛型可以接受不同類型的參數(shù)。
<li> 場(chǎng)景二:
- 實(shí)現(xiàn)一個(gè)方法,可以調(diào)用動(dòng)物的run()函數(shù)?!具@里有Person、Lion分別繼承了Animal類,Animal類有run()方法】。
/**
* 泛型的類型還可以使用extends關(guān)鍵字來(lái)限制類型的邊界
* @param animal
* @param <T>
*/
private static <T extends Animal> void printRun(T animal) {
if (animal == null) {
return;
}
animal.run();
}
要聲明一個(gè)有界的類型參數(shù),首先列出類型參數(shù)的名稱,后跟extends關(guān)鍵字,最后緊跟它的上界。
03.泛型類
<li> 設(shè)計(jì)一個(gè)類,實(shí)現(xiàn)緩存、打印的功能,但是不限制傳遞的類型。
class Print<T> {
private ArrayList<T> list = new ArrayList<>();
void addItem(T t) {
list.add(t);
}
void exec() {
for (T t : list) {
System.out.println(t.toString());
}
}
}
上邊這個(gè)類完成了緩存、打印的功能,并且可以傳遞任意類型。增加了類的適用范圍,是更高級(jí)的抽象。下面是使用方法:·
Print<String> print1 = new Print<String>();
print1.addItem("中華人民共和國(guó)");
print1.addItem("美利堅(jiān)合眾國(guó)");
print1.exec();
Print<Integer> print2 = new Print<Integer>();
print2.addItem(123);
print2.addItem(987);
print2.exec();
04.泛型接口
public interface Iterator<E> {
boolean hasNext();
E next();
default void remove() {
throw new UnsupportedOperationException("remove");
}
default void forEachRemaining(Consumer<? super E> action) {
Objects.requireNonNull(action);
while (hasNext())
action.accept(next());
}
}
Iterator接口是Java集合框架中非常重要的一個(gè)類,它規(guī)定了迭代的規(guī)則。那么為什么一定要使用泛型呢?因?yàn)樗瑫r(shí)限制了next()方法的返回類型。在很多情況下使用泛型會(huì)使編程變得更容易。
05.類型通配符
/**
* 不限制類型
* @param list
*/
private static void printList(ArrayList<?> list) {
if (list != null) {
System.out.println(list.toString());
}
}
調(diào)用方法:
ArrayList<String> list1= new ArrayList<String>();
list1.add("中華人民共和國(guó)");
printList(list1);
ArrayList<Integer> list2= new ArrayList<Integer>();
list2.add(12232323);
printList(list2);
06. <? extends T>和<? super T>的區(qū)別
<? extends T>表示該通配符所代表的類型是T類型的子類。
<? super T>表示該通配符所代表的類型是T類型的父類。
07.Java中泛型是類型擦除的
Java 泛型(Generic)的引入加強(qiáng)了參數(shù)類型的安全性,減少了類型的轉(zhuǎn)換,但有一點(diǎn)需要注意:Java 的泛型在編譯器有效,在運(yùn)行期被刪除,也就是說(shuō)所有泛型參數(shù)類型在編譯后都會(huì)被清除掉,看下面一個(gè)列子,代碼如下:
public class Foo {
public void listMethod(List<String> stringList){
}
public void listMethod(List<Integer> intList) {
}
}
代碼很簡(jiǎn)單,看起來(lái)沒(méi)什么問(wèn)題,但是編譯器卻報(bào)出如下錯(cuò)誤信息:
Method listMethod(List<String>) has the same erasure listMethod(List<E>) as another method in type Foo
此錯(cuò)誤的意思是說(shuō)它與另外一個(gè)方法重復(fù),也就是方法簽名重復(fù)。反編譯之后的方法代碼如下:
public void listMethod(List list) { }