泛型擦除
眾所周知,Java的泛型只在編譯時有效,到了運行時這個泛型類型就會被擦除掉,即List< ;String>和List
為什麼選擇這種實作機制?不擦除不行麼?在Java誕生10年後,才想實現類似C 模板的概念,即泛型。 Java的類別庫是Java生態中非常寶貴的財富,必須保證向後相容(即現有的程式碼和類別檔案依舊合法)和遷移相容(泛化的程式碼和非泛化的程式碼可互相呼叫)基於上面這兩個背景和考慮,Java設計者採取了「類型擦除」這種折衷的實作方式。
同時正有這個這麼「坑」的機制,令到我們無法在運行期間隨心所欲的獲取到泛型參數的具體類型。
TypeToken
使用
#使用過Gson的同學都知道在反序列化時需要定義一個TypeToken類型,像這樣
private Type type = new TypeToken<List<Map<String, Foo>>>(){}.getType(); //调用fromJson方法时把type传过去,如果type的类型和json保持一致,则可以反序列化出来 gson.fromJson(json, type);
三個問題
1.為什麼要用TypeToken來定義反序列化的型別?如同上面所說的,如果直接把List
2.為什麼要帶有大括號{}?這個大括號就是精髓所在。大家都知道,在Java語法中,在這個語境,{}是用來定義匿名類,這個匿名類別是繼承了TypeToken類,它是TypeToken的子類。
3.為什麼要透過子類別來取得泛型的型別?這是TypeToken能夠取得泛型類型的關鍵,這是一個巧妙的方法。這個想法是這樣子的,既然像List
我這個子類別需要繼承的父類別的泛型都是已經確定了的呀,果然,JVM是有保存這部分資訊的,它是保存在子類別的Class資訊中。
那麼我們要怎麼取得這部分資訊呢?還好,Java有提供API出來:
Type mySuperClass = foo.getClass().getGenericSuperclass(); Type type = ((ParameterizedType)mySuperClass).getActualTypeArguments()[0]; System.out.println(type);
概括來說就是對於帶有泛型的class,返回一個ParameterizedType對象,對於Object、接口和原始類型返回null,對於數組class則返回Object .class。 ParameterizedType是表示帶有泛型參數的類型的Java類型,JDK1.5引入了泛型之後,Java中所有的Class都實現了Type接口,ParameterizedType則是繼承了Type接口,所有包含泛型的Class類都會實現這個接口。
自己調試一下就知道它回傳的是什麼了。
原理
核心的方法就是剛剛說的那兩句,剩下的就很簡單了。我們來看看TypeToken的getType方法
public final Type getType() { //直接返回type return type; }
看type的初始化
//注意这里用了protected关键字,限制了只有子类才能访问 protected TypeToken() { this.type = getSuperclassTypeParameter(getClass()); this.rawType = (Class<? super T>) $Gson$Types.getRawType(type); this.hashCode = type.hashCode(); } //getSuperclassTypeParameter方法 //这几句就是上面的说到 static Type getSuperclassTypeParameter(Class<?> subclass) { Type superclass = subclass.getGenericSuperclass(); if (superclass instanceof Class) { throw new RuntimeException("Missing type parameter."); } ParameterizedType parameterized = (ParameterizedType) superclass; //这里注意一下,返回的是Gson自定义的,在$Gson$Types里面定义的TypeImpl等,这个类都是继承Type的。 return $Gson$Types.canonicalize(parameterized.getActualTypeArguments()[0]); }
以上是Java中的TypeToken如何使用的詳細內容。更多資訊請關注PHP中文網其他相關文章!