java基礎(chǔ)之反射類型Type

Java在加入泛型之后，僅僅Class已經(jīng)不足以描述數(shù)據(jù)的類型了，比如List類型的數(shù)據(jù)，其Class的類型為L(zhǎng)ist.class，但是其類型包含了泛型參數(shù)，所以java引入了Type類型來(lái)描述泛型類型。除了泛型類型，還有數(shù)組格式的數(shù)據(jù)，其類型也包含兩部分，一部分是數(shù)組對(duì)象本身的class，另外一部分是數(shù)組中數(shù)據(jù)的類型。本文會(huì)詳細(xì)介紹JavaType中的各種類型，分析這些類型的使用方法。

Type介紹

Type是Java 編程語(yǔ)言中所有類型的公共高級(jí)接口，也就是Java中所有"類型"的接口。官方原話定義如下
> 官方文檔：Type is the common superinterface for all types in the Java programming language. These include raw types, parameterized types, array types, type variables and primitive types.

這樣的官方描述有點(diǎn)難懂，此處我畫(huà)個(gè)圖解釋一下。Type其實(shí)是和泛型一起出現(xiàn)的，可以說(shuō)Type就是為了支持泛型。

• 泛型出現(xiàn)之前，我們可以通過(guò)Class來(lái)確認(rèn)一個(gè)對(duì)象的類型，比如ClassA A，那么A的類型就是ClassA;

• 泛型出現(xiàn)之后，顯然不能通過(guò)Class唯一確認(rèn)一個(gè)對(duì)象的類型，比如List A，A的Class是List，但是A的類型顯然不僅僅是List，它是由Class類型的List + TypeVariables的ClassA聯(lián)合確認(rèn)的一個(gè)Type。

> A type variable is an unqualified identifier used as a type in class, interface, method, and constructor bodies.

Type的類型

Type可以分為兩大類：包含TypeVariables和不包含TypeVariables的類型：

• 不包含TypeVariable：包含基本數(shù)據(jù)類型（int, long等），基本Class（如Object，不包含泛型的類）；

• 包含TypeVariable，按照包含的TypeVariable又分為以下幾類：

• ParameterizedType: 表示一種參數(shù)化的類型，如List，泛型的參數(shù)已經(jīng)指定；

• GenericArrayType: 表示一種元素類型是參數(shù)化類型或者類型變量的數(shù)組類型，如List[][]；

• WildcardType: 代表一種通配符類型表達(dá)式，比如List<?>, List<? extends ClassA>, List<? super Object>。

繼續(xù)介紹Type之前，需要先介紹一下java的泛型機(jī)制：

泛型是Java SE 1.5的新特性，泛型的本質(zhì)是參數(shù)化類型，也就是說(shuō)所操作的數(shù)據(jù)類型被指定為一個(gè)參數(shù)。這種參數(shù)類型可以用在類、接口和方法的創(chuàng)建中，分別稱為泛型類、泛型接口、泛型方法。 Java語(yǔ)言引入泛型的好處是安全簡(jiǎn)單。泛型的好處是在編譯的時(shí)候檢查類型安全，并且所有的強(qiáng)制轉(zhuǎn)換都是自動(dòng)和隱式的，以提高代碼的重用率。

泛型信息只存在于代碼編譯階段，在進(jìn)入 JVM 之前，與泛型相關(guān)的信息會(huì)被擦除掉，專業(yè)術(shù)語(yǔ)叫做類型擦除。

參數(shù)化類型ParameterizedType

參數(shù)化類型的寫(xiě)法如下：C，其中C是Class類型， 是Type，先列幾個(gè)參數(shù)化類型的合法定義：

Seq\<string\> seq\<seq\<string\>\>="" seq\<string\>.zipper\<integer\>="" pair\<string,integer\>=""

ParameterizedType類型的接口方法介紹：

>ParameterizedType represents a parameterized type such as Collection.A parameterized type is created the first time it is needed by a reflective method, as specified in this package. When a parameterized type p is created, the generic type declaration that p instantiates is resolved, and all type arguments of p are created recursively. See TypeVariable for details on the creation process for type variables. Repeated creation of a parameterized type has no effect. Instances of classes that implement this interface must implement an equals() method that equates any two instances that share the same generic type declaration and have equal type parameters.

數(shù)組類型GenericArrayType

數(shù)組泛型類型的寫(xiě)法如下：C[]，其中C是Class類型， 是Type，先列幾個(gè)數(shù)組泛型類型的合法定義：

List\<string\>[] list\<seq\<string\>\>="" [][]=""

public class ReflectParameterizedTypeTest {

    public static class TestParameterizedType {
        private List\<string\> field;="" }="" @test="" public="" void="" testinttype()="" throws="" nosuchfieldexception="" {="" class\<?\>="" clazz="TestParameterizedType.class;" field="" 此處獲取到字段的實(shí)際class類型="" clazztype="field.getType();" system.out.println("field="" type:=""  +="" clazztype.getname());="" 此處獲取到字段的泛型類型="" type="" generictype="field.getGenericType();" generic="" field.getgenerictype().gettypename());=""