Java在加入泛型之后，僅僅Class已經不足以描述數據的類型了，比如List<String>類型的數據，其Class的類型為List.class，但是其類型包含了泛型參數，所以java引入了Type類型來描述泛型類型。除了泛型類型，還有數組格式的數據，其類型也包含兩部分，一部分是數組對象本身的class，另外一部分是數組中數據的類型。本文會詳細介紹JavaType中的各種類型，分析這些類型的使用方法。
Type介紹
Type是Java 編程語言中所有類型的公共高級接口，也就是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.
這樣的官方描述有點難懂，此處我畫個圖解釋一下。Type其實是和泛型一起出現的，可以說Type就是為了支持泛型。
- 泛型出現之前，我們可以通過Class來確認一個對象的類型，比如ClassA A，那么A的類型就是ClassA;
- 泛型出現之后，顯然不能通過Class唯一確認一個對象的類型，比如List<ClassA> A，A的Class是List，但是A的類型顯然不僅僅是List，它是由Class類型的List + TypeVariables的ClassA聯合確認的一個Type。
> A type variable is an unqualified identifier used as a type in class, interface, method, and constructor bodies.
Type的類型
Type可以分為兩大類：包含TypeVariables和不包含TypeVariables的類型：
-
不包含TypeVariable：包含基本數據類型（int, long等），基本Class（如Object，不包含泛型的類）；
-
包含TypeVariable，按照包含的TypeVariable又分為以下幾類：
- ParameterizedType: 表示一種參數化的類型，如List<String>，泛型的參數已經指定；
- GenericArrayType: 表示一種元素類型是參數化類型或者類型變量的數組類型，如List<String>[][]；
- WildcardType: 代表一種通配符類型表達式，比如List<?>, List<? extends ClassA>, List<? super Object>。
繼續介紹Type之前，需要先介紹一下java的泛型機制：
泛型是Java SE 1.5的新特性，泛型的本質是參數化類型，也就是說所操作的數據類型被指定為一個參數。這種參數類型可以用在類、接口和方法的創建中，分別稱為泛型類、泛型接口、泛型方法。 Java語言引入泛型的好處是安全簡單。泛型的好處是在編譯的時候檢查類型安全，並且所有的強制轉換都是自動和隱式的，以提高代碼的重用率。
泛型信息只存在於代碼編譯階段，在進入 JVM 之前，與泛型相關的信息會被擦除掉，專業術語叫做類型擦除。
參數化類型ParameterizedType
參數化類型的寫法如下：C<T1,...,Tn>，其中C是Class類型，<T1,...,Tn> 是Type，先列幾個參數化類型的合法定義：
Seq\<String\>
Seq\<Seq\<String\>\>
Seq\<String\>.Zipper\<Integer\>
Pair\<String,Integer\>
ParameterizedType類型的接口方法介紹：
| 返回值 | 方法名稱 | 描述信息 |
|---|---|---|
| Type[] | getActualTypeArguments() | 參數化類型中的TypeVariable參數類型，如List<String> 返回 String.class, List<List<<String>> 返回List<<String> |
| Type | getOwnerType() | 獲取當前Type所屬的Type，比如對於O<T>.I<S>中的I<S>類型，會返回 O<T> |
| Type | getRawType() | 獲取當前Type的Class，如List<String> 返回 List.class |
>ParameterizedType represents a parameterized type such as Collection<String>.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.
數組類型GenericArrayType
數組泛型類型的寫法如下：C<T>[]，其中C是Class類型，<T> 是Type，先列幾個數組泛型類型的合法定義：
List\<String\>[]
List\<Seq\<String\>\> [][]
| 返回值 | 方法名稱 | 描述信息 |
|---|---|---|
| Type | getGenericComponentType() | 數組元素的類型，如List<String> []返回List<String> |
注意：<>不能出現在數組的初始化中，即new數組之后不能出現<>，否則javac無法通過。但是作為引用變量或者方法的某個參數是完全可以的。不包含泛型的數組本節不做介紹(如String[])，下文中會進行介紹。
>GenericArrayType represents an array type whose component type is either a parameterized type or a type variable.
通配符類型WildcardType
通配符類型何其字面意思相同，其泛型類型不再是一個具體的類，而是一個通配符表達式，表達式包含以下三種："?","? extends Type", "? super Type"，其中Type可以為WildcardType，GenericArrayType，ParameterizedType，Class.
>WildcardType represents a wildcard type expression, such as ?, ? extends Number, or ? super Integer.
WildcardType 接口的方法和介紹如下.
| 返回值 | 方法名稱 | 描述信息 |
|---|---|---|
| Type[] | getLowerBounds() | 返回通配Type的下限類型，現階段返回值的長度為1 |
| Type[] | getUpperBounds() | 返回通配Type的上限類型，現階段返回值的長度為1 |
基本Class、基本數據類型和數組
通過反射獲取基本的Class和基本數據類型此處就不詳細介紹了，接下來會重點介紹一下數組類型。java的數組類型由虛擬機生成，虛擬機生成的數組類型的名稱一般類似於"class [[Ljava.lang.String;"，注意其中的"[["表示是二維數組。那么如何獲取數組中的元素類型呢？ java.lang.Class包中提供了以下接口查詢：
| 返回值 | 方法名稱 | 描述信息 |
|---|---|---|
| Class<?> | componentType() | 如果類型是數組類型，返回數組中元素的類型，否則返回null |
>componentType():Returns the component type of this Class, if it describes an array type, or null otherwise.
如何獲取字段或參數的Type信息
平時使用java程序的過程中，我們接觸到的最多的類型只有Class，像泛型類型和數組類型，通常只有通過反射才能獲取到。
獲取字段的泛型信息
如下程序中，我們首先定義了一個自定義的類TestParameterizedType，只包含一個字段List<String> field，然后我們在另外一個單測實例中嘗試通過反射獲取field的相關信息。通過field.getType()我們獲取到了field的類型。通過field.getGenericType()我們獲取到了field的泛型信息。
public class ReflectParameterizedTypeTest {
public static class TestParameterizedType {
private List\<String\> field;
}
@Test
public void testIntType() throws NoSuchFieldException {
Class\<?\> clazz = TestParameterizedType.class;
Field field = clazz.getDeclaredField("field");
// 此處獲取到字段的實際Class類型
Class\<?\> clazzType = field.getType();
System.out.println("Field type: " + clazzType.getName());
// 此處獲取到字段的泛型類型
Type genericType = field.getGenericType();
System.out.println("Field generic type: " + field.getGenericType().getTypeName());
}
}
獲取方法參數的泛型信息
類似於字段的獲取方式，方法可以通過Method.getGenericParameterTypes()獲取所有參數的泛型信息。
獲取運行時變量的泛型信息
不可能，具體原因參考java的泛型擦除原理。
本文大多數內容參考了java官方文檔，點此直達JAVA15官方文檔地址
我是御狐神，歡迎大家關注我的微信公眾號
本文最先發布至微信公眾號，版權所有，禁止轉載！