解析Java 泛型什么情況下不能使用
一、前言
Java泛型來(lái)保證類型安全,防止在運(yùn)行時(shí)發(fā)生類型轉(zhuǎn)換異常,讓類型參數(shù)化,提高了代碼的可讀性和重用率。但是有些情況下泛型也是不允許使用的,以下是不能使用泛型的一些場(chǎng)景。
二、 什么情況下不能使用Java泛型
1 不能使用泛型的形參創(chuàng)建對(duì)象。
T o=new T(); // 不允許
2 在泛型類中,不能給靜態(tài)成員變量定義泛型
Java 中的靜態(tài)類型隨著類加載而實(shí)例化,此時(shí)泛型的具體類型并沒(méi)有聲明。同時(shí)因?yàn)殪o態(tài)變量作為所有對(duì)象的共享變量,只有類實(shí)例化或者方法調(diào)用時(shí)才能確定其類型。如果是泛型類型將無(wú)法確定其類型。同樣在類上聲明的泛型也無(wú)法作為返回值類型出現(xiàn)在類的靜態(tài)方法中,下面的寫法也是錯(cuò)誤的:
以下是不允許的
public class A<T>
{
public static T t; //錯(cuò)誤
public T getA(){ //正確
......
}
}
下面也一樣
public class Generic<T>{
// 不能將類聲明的泛型類型作為靜態(tài)變量
public static T t;
// 也不能將類聲明的泛型類型作為 靜態(tài)方法的返回值
public static T rtval(List<T> list){
return list.get(0);
}
}
3 泛型類不能繼承、不能直接或間接擴(kuò)展java.lang.Throwable類
如下是不允許的
public class D<T> extends java.lang.Throwable //錯(cuò)誤
下面的兩種寫法將引發(fā)編譯錯(cuò)誤:
// 不能間接地?cái)U(kuò)展 Throwable
class IndirectException<T> extends Exception {}
// 不能直接地?cái)U(kuò)展 Throwable
class DirectException<T> extends Throwable {}
如果成立將出現(xiàn):
try {
// ...
} catch (T e) {
// 類型不確定 無(wú)法處理具體的異常邏輯
}
你如何才能對(duì)異常進(jìn)行具體的處理,這顯然不便于精確的異常處理邏輯。但是你可以拋出一個(gè) 不確定的異常,但是同樣不能在靜態(tài)方法中使用類聲明的泛型:
class Parser<T extends Exception> {
// 這樣是對(duì)的
public void okThrow(File file) throws T {
// ...
}
// 靜態(tài)方法不能出現(xiàn)類聲明的泛型類型作為返回值和異常
public static void wrongThrow(File file) throws T {
}
}
4 泛型類不能初始化一個(gè)數(shù)組、無(wú)法創(chuàng)建參數(shù)化類型的數(shù)組
如下所示不允許
T[] b = new T[10]; //錯(cuò)誤
再看下面的情況
首先下面這種寫法是對(duì)的:
// OK List[] arrayOfLists = new List[2];
但是加上了泛型就編譯不通過(guò)了:
//error List<Integer>[] arrayOfLists = new List<Integer>[2];
如果不這么規(guī)定將引發(fā)以下邏輯錯(cuò)誤:
// 如果上面的成立,則下面的也應(yīng)該成立 Object[] stringLists = new List<String>[]; // 那么我們可以放入 字符串 List stringLists[0] = new ArrayList<String>(); // 放入 Integer list stringLists[1] = new ArrayList<Integer>(); // 這顯然不合理
5. 基本類型無(wú)法直接使用泛型
以下寫法是錯(cuò)誤的:
// error Map<int,char> wrong= new HashMap<>()
基本類型是不能夠作為泛型類型的,需要使用它們對(duì)應(yīng)的包裝類。
// OK Map<Integer,Character> wrong= new HashMap<>()
6. 泛型類型無(wú)法被直接實(shí)例化
泛型類型可以理解為一個(gè)抽象類型,只是代表了類型的抽象,因此我們不能直接實(shí)例化它,下面的做法也是錯(cuò)誤的:
public <E> E first(List<E> list){
// error
E e = new E();
return list.get(0);
}
7. 無(wú)法進(jìn)行 instanceof 判斷
Java 中的泛型是偽泛型,在編譯期會(huì)被擦除,運(yùn)行的字節(jié)碼中不存在泛型,所以下面的判斷條件無(wú)法進(jìn)行:
public static <E> void wrong(List<E> list) {
// error
if (list instanceof ArrayList<Integer>) {
}
}
但是泛型的無(wú)界通配符 <?> 可以進(jìn)行 instanceof 判斷,你仔細(xì)想想為什么。
8. 泛型擦除后相同參數(shù)簽名的方法不能重載
由于泛型擦除的原因,以下的不視為方法的重載且無(wú)法編譯 :
public class NoReload {
public void sets(Set<String> strSet) { }
public void sets(Set<Integer> intSet) { }
}
到此這篇關(guān)于解析Java 泛型什么情況下不能使用的文章就介紹到這了,更多相關(guān)Java 不能泛型 內(nèi)容請(qǐng)搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家!
相關(guān)文章
三分鐘讀懂mybatis中resultMap和resultType區(qū)別
這篇文章主要給大家介紹了mybatis中resultMap和resultType區(qū)別的相關(guān)資料,resultType和resultMap都是mybatis進(jìn)行數(shù)據(jù)庫(kù)連接操作處理返回結(jié)果的,需要的朋友可以參考下2023-07-07
SpringMVC4.3解析器HandlerMethodArgumentResolver接口源碼
這篇文章主要為大家介紹了SpringMVC4.3解析器HandlerMethodArgumentResolver接口源碼解析,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進(jìn)步,早日升職加薪2023-09-09
深入理解Java設(shè)計(jì)模式之簡(jiǎn)單工廠模式
這篇文章主要介紹了JAVA設(shè)計(jì)模式之簡(jiǎn)單工廠模式的的相關(guān)資料,文中示例代碼非常詳細(xì),供大家參考和學(xué)習(xí),感興趣的朋友可以了解下2021-11-11
一文搞懂java中類及static關(guān)鍵字執(zhí)行順序
這篇文章主要介紹了一文搞懂java中類及static關(guān)鍵字執(zhí)行順序,文章通過(guò)類的生命周期展開詳細(xì)的內(nèi)容介紹,具有一定的參考價(jià)值,需要的小伙伴可以參考一下2022-09-09
Java Web實(shí)現(xiàn)session過(guò)期后自動(dòng)跳轉(zhuǎn)到登陸頁(yè)功能【基于過(guò)濾器】
這篇文章主要介紹了Java Web實(shí)現(xiàn)session過(guò)期后自動(dòng)跳轉(zhuǎn)到登陸頁(yè)功能,涉及java過(guò)濾器針對(duì)session的判斷與跳轉(zhuǎn)相關(guān)操作技巧,需要的朋友可以參考下2017-11-11

