Java 类型总结


title: Java Type 总结
date: 2022/06/24 16:44


Java 类型总结

Type及其子接口的来历:

泛型出现之前的类型:没有泛型的时候,只有原始类型。此时,所有的原始类型都通过字节码文件类Class类进行抽象。Class类的一个具体对象就代表一个指定的原始类型。

泛型出现之后的类型:泛型出现之后,扩充了数据类型。从只有原始类型扩充了参数化类型、类型变量类型、限定符类型 、泛型数组类型。

java.lang.reflect.Type 有很多的子类,接下来一个个看一下。

名称 描述 示例(以 Field 为例)
Class 最常见的类型,代表一切没有泛型的类型 Object、List、Map、Object[]
ParameterizedType 参数化类型,代表具有泛型的类型 Map<K, V>、List<String>
TypeVariable 类型变量,就是泛型 T、F extends Object
WildcardType 通配符类型,代表 ? ?、? super String、? extends Object
GenericArrayType 通用数组类型 T[]、List<T>[]、List<String>[]
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;
}
方法名 描述 测试结果
parameterizedType.getActualTypeArguments() 返回这个 Type 类型的参数的实际类型数组。 如 Map<String, Person> map 这个 ParameterizedType 返回的是 String 类,Person 类的全限定类名的 Type Array。 [class java.lang.String, TypeVariable F]
parameterizedType.getRawType() 返回的是当前这个 ParameterizedType 的类型。 如 Map<String, Person> map 这个 ParameterizedType 返回的是 Map 类的全限定类名的 Type。 interface java.util.Map
parameterizedType.getRawType() 返回的是这个 ParameterizedType 所在的类的 Type 。解释起来有点别扭,还是直接用代码说明吧。 比如 Map<String,Person> map 这个 ParameterizedType 的 getOwnerType() 为 null,而 Map.Entry<String, String>entry 的 getOwnerType() 为 Map 所属于的 Type。 null

TypeVariable

参数类型,代表泛型参数

测试代码:

@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) {
    }
}
方法名 描述 测试结果
typeVariable.getName() 泛型定义的名称 F
typeVariable.getBounds() 得到上边界的 Type 数组,如 F 的上边界数组是 Serializable。 T 没有指定的话,上边界是 Object [class java.lang.Object]
typeVariable.getGenericDeclaration() 声明这个泛型的地方,可以声明泛型的地方有:Class、Method、构造 public static void ATest$TestParameterizedType.testMethod(java.lang.Class)

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;

    // 没有指定的话,上边界默认是 Object,下边界是 String
    private List<? super String> c;
}
方法名 描述 测试结果
wildcardType.getLowerBounds() 获取下边界 [class java.lang.String]
wildcardType.getUpperBounds() 获取上边界 [class java.lang.Object]

GenericArrayType

泛型数组类型。

Generic:通用,在这里代表泛型的意思,详见泛型出现是为了解决啥问题的。

测试代码:

@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;
}
方法名 描述 测试结果
genericArrayType.getGenericComponentType() 获取数组中具体组件的类型 ParameterizedType List<E> E - TypeVariable
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。