TypeVariable、ParameterizedType、GenericArrayType的区别和作用

TypeVariable、ParameterizedType、GenericArrayType的详解

一、TypeVariable的作用

在官网中 typeVariable的解释是:Parameterized Type参数化类型,这一点并不好理解。接下来我举几个例子：我们要理解参数化类型首先需要知道什么事具体的类型：具体的类型列如: string、Integer、List是明确的一个类型。也可以是我们自己定义的类。参数化类型换句话说就是类型不确定。比如我们常见的泛型。

Map<K,V>
List<T>
T

向这种在括号里面的K,V,T这种,我们称为泛型，同样也可以说是不确定的类型。TypeVariable 就是代表的这种类型。我们常常在源码中看到判断某种类型是否是泛型的方式。

  private static Type resolveType(Type type, Type srcType, Class<?> declaringClass) {
    if (type instanceof TypeVariable) {
    }
  }

我们也可以测试一下。定义一个测试类，定义一个list类型，注意list是具体的类型，只用T才是泛型

package com.zeng.demo;

import java.lang.reflect.Type;
import java.util.List;

public class ReturnTypeClass<T> {

  private List<T> arrays;

  private T t;

  private List<T> getList() {
    return arrays;
  }

  private T get() {
    return t;
  }
}

测试，可以看到结果，说明TypeVariable其实就是表示的泛型

  public static void main(String[] args) {

    //获取所有的方法
    Method[] declaredMethods = ReturnTypeClass.class.getDeclaredMethods();

    for (Method declaredMethod : declaredMethods) {
      //破坏私有性
        declaredMethod.setAccessible(true);
        //获取方法的返回值
      Type genericReturnType = declaredMethod.getGenericReturnType();

      System.out.println("方法名称 : "+declaredMethod.getName()+ "放回值类型是否是TypeVariable类型  :  " +(genericReturnType instanceof TypeVariable));
    }
  }

二、ParameterizedType的作用

ParameterizedType表示的是带有泛型参数的类型。例如

Map<K,V>
List<T>

像这种类型的称为ParameterizedType带有泛型参数的类型。我们可以验证一下：我么定义一个 List带有泛型的集合。

package com.zeng.demo;

import java.lang.reflect.Type;
import java.util.List;

public class ReturnTypeClass<T> {

  private List<T> arrays;

  private T t;

  private List<T> getList() {
    return arrays;
  }

  private T get() {
    return t;
  }
}

测试验证可以看到结果getList这个方法返回的是true

public static void main(String[] args) {

    //获取所有的方法
    Method[] declaredMethods = ReturnTypeClass.class.getDeclaredMethods();

    for (Method declaredMethod : declaredMethods) {
      //破坏私有性
        declaredMethod.setAccessible(true);
        //获取方法的返回值
      Type genericReturnType = declaredMethod.getGenericReturnType();

//      System.out.println("方法名称 : "+declaredMethod.getName()+ "放回值类型是否是TypeVariable类型  :  " +(genericReturnType instanceof TypeVariable));

      System.out.println("方法名称 : "+declaredMethod.getName()+ "放回值类型是否是TypeVariable类型  :  " +(genericReturnType instanceof ParameterizedType));

    }
  }

三、GenericArrayType的作用

GenericArrayType，泛型数组，描述的是ParameterizedType类型以及TypeVariable类型数组，即形如：classA[][]、T[]等,我们可以个测试一下

package com.zeng.demo;

import java.lang.reflect.Type;
import java.util.List;

public class ReturnTypeClass<T> {

  private List<T> arrays;

  private T[] arr;

 
  private T t;

  private List<T> getList() {
    return arrays;
  }


  private T get() {
    return t;
  }

  private T[] getArr() {
    return  arr;
  }
}

测试验证，可以看到我们的第三个方法getArr获取的就是GenericArrayType类型现在我们验证一下：可以看到结果就是和我们预测的一样。

package com.zeng.demo;

import java.lang.reflect.GenericArrayType;
import java.lang.reflect.Method;
import java.lang.reflect.ParameterizedType;
import java.lang.reflect.Type;
import java.lang.reflect.TypeVariable;

public class ReturnDemo {

  public static void main(String[] args) {

    //获取所有的方法
    Method[] declaredMethods = ReturnTypeClass.class.getDeclaredMethods();

    for (Method declaredMethod : declaredMethods) {
      //破坏私有性
        declaredMethod.setAccessible(true);
        //获取方法的返回值
      Type genericReturnType = declaredMethod.getGenericReturnType();

//      System.out.println("方法名称 : "+declaredMethod.getName()+ "放回值类型是否是TypeVariable类型  :  " +(genericReturnType instanceof TypeVariable));

//      System.out.println("方法名称 : "+declaredMethod.getName()+ "放回值类型是否是TypeVariable类型  :  " +(genericReturnType instanceof ParameterizedType));
            System.out.println("方法名称 : "+declaredMethod.getName()+ "放回值类型是否是TypeVariable类型  :  " +(genericReturnType instanceof GenericArrayType));
    }
  }
}

四、总结：

它们都是实现了type接口：其中

TypeVariable：的作用代表的是泛型 ，不确定的类型我们常见的T、K、V等这种不确定的类型。

ParameterizedType：的作用代表的是带有泛型参数的类型列如：Map<K,V>
List这种类型。

GenericArrayType ：型数组，描述的是ParameterizedType类型以及TypeVariable类型数组，即形如：classA[][]、T[]