title: Java Type 總結(jié)
date: 2022/06/24 16:44

Java 類型總結(jié)

Type及其子接口的來歷：

泛型出現(xiàn)之前的類型：沒有泛型的時候鹤耍，只有原始類型浊闪。此時有巧，所有的原始類型都通過字節(jié)碼文件類Class類進行抽象。Class類的一個具體對象就代表一個指定的原始類型残拐。

泛型出現(xiàn)之后的類型：泛型出現(xiàn)之后刹孔，擴充了數(shù)據(jù)類型迅栅。從只有原始類型擴充了參數(shù)化類型时呀、類型變量類型张漂、限定符類型 晶默、泛型數(shù)組類型谨娜。

java.lang.reflect.Type 有很多的子類，接下來一個個看一下磺陡。

image.png

ParameterizedType

只有擁有泛型的類才會是這個類型

測試代碼：

@Test
public void test() {
  Field field = ReflectionUtils.findField(TestParameterizedType.class, "map");
  ParameterizedType parameterizedType = (ParameterizedType) field.getGenericType();
  System.out.println(Arrays.toString(parameterizedType.getActualTypeArguments()));  // [class java.lang.String, TypeVariable F]
  System.out.println(parameterizedType.getRawType());   // interface java.util.Map
  System.out.println(parameterizedType.getOwnerType()); // null
}

static class TestParameterizedType<F extends Serializable> {
  Map<String, F> map;
}

TypeVariable

參數(shù)類型，代表泛型參數(shù)

測試代碼：

@Test
public void test() {
    Field field = ReflectionUtils.findField(TestParameterizedType.class, "map");
    ParameterizedType parameterizedType = (ParameterizedType) field.getGenericType();// Map
    TypeVariable<Class<?>> typeVariable = (TypeVariable<Class<?>>) parameterizedType.getActualTypeArguments()[1];
    System.out.println(typeVariable.getName()); // F
    System.out.println(Arrays.toString(typeVariable.getBounds()));   // [interface java.io.Serializable]
    System.out.println(typeVariable.getGenericDeclaration());   // class ATest$TestParameterizedType

    Method testMethod = ReflectionUtils.findMethod(TestParameterizedType.class, "testMethod", Class.class);
    ParameterizedType methodParameterType = (ParameterizedType) new MethodParameter(testMethod, 0).getNestedGenericParameterType();
    TypeVariable actualTypeArgument = (TypeVariable) methodParameterType.getActualTypeArguments()[0];
    System.out.println(actualTypeArgument.getName()); // T
    System.out.println(Arrays.toString(actualTypeArgument.getBounds()));   // [class java.lang.Object]
    System.out.println(actualTypeArgument.getGenericDeclaration());   // Method public static void ATest$TestParameterizedType.testMethod(java.lang.Class)
}

static class TestParameterizedType<F extends Serializable> {
    Map<String, F> map;

    public static <T> void testMethod(Class<T> tClass) {
    }
}

WildcardType

通配符類型

@Test
public void testWildcardType() {
    Field a = ReflectionUtils.findField(WildcardTypeCls.class, "a");
    WildcardType aType = (WildcardType) ((ParameterizedType) a.getGenericType()).getActualTypeArguments()[0];
    System.out.println(aType.getTypeName());    // ? extends java.lang.Number
    System.out.println(Arrays.toString(aType.getLowerBounds()));    // []
    System.out.println(Arrays.toString(aType.getUpperBounds()));    // [class java.lang.Number]

    Field b = ReflectionUtils.findField(WildcardTypeCls.class, "b");
    WildcardType bType = (WildcardType) ((ParameterizedType) b.getGenericType()).getActualTypeArguments()[0];
    System.out.println(bType.getTypeName());    // ? extends T
    System.out.println(Arrays.toString(bType.getLowerBounds()));    // []
    System.out.println(Arrays.toString(bType.getUpperBounds()));    // [TypeVariable T]

    Field c = ReflectionUtils.findField(WildcardTypeCls.class, "c");
    WildcardType cType = (WildcardType) ((ParameterizedType) c.getGenericType()).getActualTypeArguments()[0];
    System.out.println(cType.getTypeName());    // ? super java.lang.String
    System.out.println(Arrays.toString(cType.getLowerBounds()));    // [class java.lang.String]
    System.out.println(Arrays.toString(cType.getUpperBounds()));    // [class java.lang.Object]
}

static class WildcardTypeCls<T> {
    // 沒有下邊界公你，上邊界為 Number
    private List<? extends Number> a;

    // 上邊界為 T
    private List<? extends T> b;

    // 沒有指定的話踊淳，上邊界默認(rèn)是 Object，下邊界是 String
    private List<? super String> c;
}

GenericArrayType

泛型數(shù)組類型。

Generic：通用迂尝，在這里代表泛型的意思脱茉，詳見泛型出現(xiàn)是為了解決啥問題的。

測試代碼：

@Test
public void testGenericArrayType() {
    Field eArray = ReflectionUtils.findField(GenericArrayTypeCls.class, "eArray");
    System.out.println(((GenericArrayType) eArray.getGenericType()).getGenericComponentType()); // TypeVariable E

    Field eListArray = ReflectionUtils.findField(GenericArrayTypeCls.class, "eListArray");
    System.out.println(((GenericArrayType) eListArray.getGenericType()).getGenericComponentType()); // ParameterizedType List<E>  E - TypeVariable

    Field wildcardListArray = ReflectionUtils.findField(GenericArrayTypeCls.class, "wildcardListArray");
    System.out.println(((GenericArrayType) wildcardListArray.getGenericType()).getGenericComponentType()); // ParameterizedType List<?>  ? - WildcardType

    Field stringListArray = ReflectionUtils.findField(GenericArrayTypeCls.class, "stringListArray");
    System.out.println(((GenericArrayType) stringListArray.getGenericType()).getGenericComponentType());    // ParameterizedType List<String>  String - Class

    Field stringArray = ReflectionUtils.findField(GenericArrayTypeCls.class, "stringArray");
    System.out.println(stringArray.getGenericType());   // 這個不是 GenericArrayType 類型垄开。class [Ljava.lang.String;
}

static class GenericArrayTypeCls<E> {
    E[] eArray;
    List<E>[] eListArray;
    List<?>[] wildcardListArray;
    List<String>[] stringListArray;

    // 這個不是
    String[] stringArray;
}