摘要:當某個類型變量只在整個參數列表的所有參數和返回值中的一處被應用了,那么根據調用方法時該處的實際應用類型來確定。即直接根據調用方法時傳遞的參數類型或返回值來決定泛型參數的類型。
標簽: java
[TOC]
本文對泛型的基本知識進行較為全面的總結,并附上簡短的代碼實例,加深記憶。
泛型將集合中的元素限定為一個特定的類型。
術語ArrayList
ArrayList -- 原始類型
E -- 類型參數
<> -- 讀作"typeof"
ArrayList
Integer -- 實際類型參數
幾點注意:
參數化類型和原始類型相互兼容
ArrayList collection1 = new ArrayList();//通過,無warning ArrayList collection2 = new ArrayList();//通過,有warning
參數化類型不考慮類型參數的繼承關系
ArrayListcollection3 = new ArrayList
但是
ArrayList collection5 = new ArrayList"?"通配符(); ArrayList collection6 = collection5;//編譯通過
"?"表示任意類型,使用"?"通配符可以引用各種參數化的類型,可以調用與參數化無關的方法(如size()方法),不能調用與參數化有關的方法(如add()方法)
通配符的擴展限定通配符的上邊界
ArrayList extends Number > collection1= new ArrayList();//編譯通過 ArrayList extends Number > collection2= new ArrayList ();//編譯不通過
限定通配符的下邊界
ArrayList super Integer > collection3= new ArrayList自定義泛型方法();//編譯通過 ArrayList super Integer > collection4= new ArrayList ();//編譯不通過
C++模板函數
templateT add(T x, T y){ return (T)(x+y); }
而java的泛型基本上完全在編譯器中實現,用于編譯器執行類型檢查和類型判斷,然后生成普通的非泛型的字節碼,這種實現技術為“擦除”(erasure)。
"擦除"實例泛型是提供給javac編譯器使用的,限定集合的輸入類型,編譯器編譯帶類型說明的集合時會去掉“類型”信息。
public class GenericTest { public static void main(String[] args) { new GenericTest().testType(); } public void testType(){ ArrayListcollection1 = new ArrayList (); ArrayList collection2= new ArrayList (); System.out.println(collection1.getClass()==collection2.getClass()); //兩者class類型一樣,即字節碼一致 System.out.println(collection2.getClass().getName()); //class均為java.util.ArrayList,并無實際類型參數信息 } }
輸出
true java.util.ArrayList
使用反射可跳過編譯器,往某個泛型集合加入其它類型數據。
只有引用類型才能作為泛型方法的實際參數
例子:
public class GenericTest { public static void main(String[] args) { swap(new String[]{"111","222"},0,1);//編譯通過 //swap(new int[]{1,2},0,1); //編譯不通過,因為int不是引用類型 swap(new Integer[]{1,2},0,1);//編譯通過 } /*交換數組a 的第i個和第j個元素*/ public staticvoid swap(T[]a,int i,int j){ T temp = a[i]; a[i] = a[j]; a[j] = temp; } }
但注意基本類型有時可以作為實參,因為有自動裝箱和拆箱。
例子(編譯通過了):
public class GenericTest { public static void main(String[] args) { new GenericTest().testType(); int a = biggerOne(3,5); //int 和 double,取交為Number Number b = biggerOne(3,5.5); //String和int 取交為Object Object c = biggerOne("1",2); } //從x,y中返回y public staticT biggerOne(T x,T y){ return y; } }
同時,該例還表明,當實參不一致時,T取交集,即第一個共同的父類。
另外,如果用Number b = biggerOne(3,5.5);改為String c = biggerOne(3,5.5);則編譯報錯:
Error:(17, 29) java: 不兼容的類型: 推斷類型不符合上限 推斷: java.lang.Number&java.lang.Comparable extends java.lang.Number&java.lang.Comparable>> 上限: java.lang.String,java.lang.Object
但是有一點沒搞清楚,我在IDEA里面單步調試,發現結果如下圖:
不知道b為什么是Double類型的(但直接Double b接收返回值會編譯報錯)。不知道跟IDE有沒有關系,是不是IDE在debug時會顯示這個對象最精確的類型?
編譯器判斷泛型方法的實際類型參數的過程稱為類型推斷。
當某個類型變量只在整個參數列表的所有參數和返回值中的一處被應用了,那么根據調用方法時該處的實際應用類型來確定。即直接根據調用方法時傳遞的參數類型或返回值來決定泛型參數的類型。
例如:
swap(new String[3],1,2) -> static
當某個類型變量在整個參數列表的所有參數和返回值中的多處被應用了,如果調用方法時這么多處的實際應用類型都 對應同一種類型,則泛型參數的類型就是該類型。
例如:
add(3,5) -> static
當某個類型變量在整個參數列表的所有參數和返回值中的多處被應用了,如果調用方法時這么多處的實際應用類型 對應不同的類型,且沒有返回值*,則取多個參數中的最大交集類型,即第一個公共父類。
例如:
fill(new Integer[3],3.5) -> static
該例子實際對應的類型就是Number,編譯通過,運行出問題。
當某個類型變量在整個參數列表的所有參數和返回值中的多處被應用了,如果調用方法時這么多處的實際應用類型對應不同的類型,且使用有返回值,則優先考慮返回值的類型
例如:
int x = add(3,3.5) -> static
上例編譯報錯,x類型改為float也報錯,改為Number成功。
參數類型的類型推斷具有傳遞性
例子:
copy(new Integer[5],new String[5]) -> static
該例推斷實際參數類型為Object,編譯通過.
copy(new ArrayList
該例則根據參數化的ArrayList類實例將類型變量直接確定為String類型,編譯報錯。
自定義泛型類例子
public class GenericDao{ public void add(T x){ } public T findById(int id){ return null; } public void delete(T obj){ } public void delete(int id){ } public void update(T obj){ } public T findByUserName(String name){ return null; } public Set findByConditions(String where){ return null; } }
注意:當一個變量被聲明為泛型時,只能被實例變量和方法調用(還有內嵌類型),而不能被靜態變量和靜態方法調用。因為靜態成員是被所參數化的類所共享的,所以靜態成員不應該有類級別的類型參數。
泛型方法和泛型類的比較例子:
public class A(){ //泛型類的成員方法,該T受A后面的T的限制 public T memberFunc(){ return null; } //泛型方法,這里的T和和類A的T是不同的 public static T genericFunc(T a){ return null; } public static void main(String[] args) { //編譯不通過 //Integer i = A ().findByUserName("s"); //編譯通過 Set set= A ().findByConditions("s"); } }
這里Integer i = A
Error:(35, 61) java: 不兼容的類型: java.lang.String無法轉換為java.lang.Integer
由這個例子可知,泛型方法的T和和類A的T是不同的。
泛型和反射 通過反射獲得泛型的實際類型參數把泛型變量當成方法的參數,利用Method類的getGenericParameterTypes方法來獲取泛型的實際類型參數
例子:
public class GenericTest { public static void main(String[] args) throws Exception { getParamType(); } /*利用反射獲取方法參數的實際參數類型*/ public static void getParamType() throws NoSuchMethodException{ Method method = GenericTest.class.getMethod("applyMap",Map.class); //獲取方法的泛型參數的類型 Type[] types = method.getGenericParameterTypes(); System.out.println(types[0]); //參數化的類型 ParameterizedType pType = (ParameterizedType)types[0]; //原始類型 System.out.println(pType.getRawType()); //實際類型參數 System.out.println(pType.getActualTypeArguments()[0]); System.out.println(pType.getActualTypeArguments()[1]); } /*供測試參數類型的方法*/ public static void applyMap(Mapmap){ } }
輸出結果:
java.util.Mapinterface java.util.Map class java.lang.Integer class java.lang.String
作者更多文章:@brianway
文章版權歸作者所有,未經允許請勿轉載,若此文章存在違規行為,您可以聯系管理員刪除。
轉載請注明本文地址:http://specialneedsforspecialkids.com/yun/65360.html
摘要:我的學習筆記匯總標簽筆記分為兩大部分和筆記內容主要是對一些基礎特性和編程細節進行總結整理,適合了解基礎語法,想進一步深入學習的人如果覺得不錯,請給,這也是對我的鼓勵,有什么意見歡迎留言反饋目錄基礎鞏固筆記反射基礎鞏固筆記泛型基礎鞏 我的java&javaweb學習筆記(匯總) 標簽: java [TOC] 筆記分為兩大部分:javase和javaweb javase javawe...
摘要:前言想要進入等一線互聯網公司,以下是你必需具備的技能。包由解釋程序自動加載,不需要顯示說明。包包括許多具有特定功能的類,有日期向量哈希表堆棧等,其中類支持與時間有關的操作。包定義了應用程序編程接口,是應用程序環境的中性平臺組件結構。 前言 想要進入BAT等一線互聯網公司,以下是你必需具備的技能。如果你掌握的不牢固,那就趕快鞏固,如果你還沒有涉及,現在就立馬學習起來吧。 1.Java語言...
摘要:內部類的使用場景上面介紹了中種內部類的定義,接著我們介紹這些內部類的一些使用場景。成員內部類的使用場景普通內部類可以訪問外部類的所有成員和方法,因此當類需要使用類,同時需要訪問的成員方法時,可以將作為的成員內部類。 文章出自:安卓進階學習指南 主要貢獻者: Cloud9527 Alex_趙 Struggle shixinzhang 讀完本文你將了解: [TOC] 通過反編譯...
閱讀 2735·2021-11-22 15:22
閱讀 1643·2021-11-22 14:56
閱讀 3620·2021-09-22 15:12
閱讀 2408·2021-09-02 15:41
閱讀 2128·2021-08-27 16:26
閱讀 1118·2019-08-30 15:55
閱讀 2144·2019-08-29 17:30
閱讀 672·2019-08-29 16:26