Java泛型-4(类型擦除后如何获取泛型参数)

简介: Java泛型-4(类型擦除后如何获取泛型参数)


编译器会进行泛型擦除。

(1)实际上擦除的只是参数和自变量的类型,但会将泛型信息保存到Signature中,我们可以通过匿名类获取。

(2)类结构相关的信息(属性,类,接口,方法签名)即元数据会保存下来,可以通过反射直接获取到的。

1. 泛型和类型擦除

泛型的本质是参数化类型Parameterized Type)的应用,也就是说把所操作的数据类型指定为一个参数。这个参数类型可以用在类、接口、方法的创建中,分别称为泛型类、泛型接口、泛型方法

在Java语言还没引进泛型的时候。只能通过Object是所有类型的父类类型强制转换两个特点的配合来实现类型泛化。由于Java语言里面所有类型都继承于java.lang.Object,所以Object转型成任何对象都是有可能的。但是正是因为有着无限的可能性,所以就只有程序员运行期的虚拟机才知道这个Object到底是什么类型的。在编译期间,编译器无法检查这个Object强转是否成功,如果仅仅是依赖程序员保障这项操作的正确性,那么许多ClassCastException的风险就会出现在运行期。

Java的泛型,只是在程序源码中存在,在编译后的字节码文件中,就已经替换成原来的原生类型(Raw Type了,并且在相应的地方插入了强制类型转换的代码。因此对于运行期的Java语言来说,ArrayList<Integer>

ArrayList<String>就是同一个类,所以泛型技术实际上是java语言的一颗语法糖。Java语言中的泛型实现方法称为类型擦除,基于这种方法实现的泛型称为伪泛型

1.2 源码分析泛型擦除

由于Java泛型的引入,各种场景(虚拟机解析,反射等)下的方法调用都可能对原有的基础产生新的需求,如在泛型类中如何获取传入的参数化类型,因此,引入了诸如SignatureLocalVariableTypeTable等新的属性用于解决伴随泛型而来的参数识别问题。Signature是其中最重要的一项属性,他的作用就是存储一个方法字节码层次的特征签名,这个属性保存的参数类型并不是原生类型,而是包括了参数化(Parameterized Type)类型的信息。

另外。从Signature属性中,我们也可以得出结论,擦除法所谓的擦除:

  1. 方法中Code属性中字节码进行擦除,泛型信息保存在Signature中。
  2. 元数据(类、属性、方法签名)还是保存了泛型信息。

1.2.1 方法中Code属性

什么叫做Code和Signature

泛型方法method(List<String> list)和非泛型方法method(List list)对比可以看到:

  • code(编译后的方法内部代码)属性完全一样。
  • 泛型方法比非泛型方法多了一个Signature的属性。

源码:

public static void main(String[] args) {
        Map<String, String> map = new HashMap<>();
        map.put("hello", "world");
        map.put("你好", "世界");
        System.out.println(map.get("hello"));
    }

我们使用反编译工具对源码的Class文件反编译之后,可以看到,泛型都变成了原生类型【即方法内部参数和方法实参被擦除!】

class文件反编译(Class文件):

public static void main(String[] args)
  {
    Map map = new HashMap();
    map.put("hello", "world");
    map.put("你好", "世界");
    System.out.println((String)map.get("hello"));
  }

1.2.2 元数据

元数据(类,属性,方法签名),即类的结构化数据。

源码:

public class Test<T> {
    private T data;
    private Set<String> set = new HashSet<>();
    public <T> boolean isBoolean(Test<T> data) {
        Map<String, String> map = new HashMap<>();
        map.put("hello", "world");
        map.put("你好", "世界");
        System.out.println(map.get("hello"));
        return true;
    }
    //查看反编译文件
    public static void main(String[] args) {
        Test<Integer> test=new Test<>();
    }
}

源码反编译(Class文件):

public class Test<T>
{
  private T data;
  private Set<String> set;
  public Test()
  {
    this.set = new HashSet(); }
  public <T> boolean isBoolean(Test<T> data) {
    Map map = new HashMap();
    map.put("hello", "world");
    map.put("你好", "世界");
    System.out.println((String)map.get("hello"));
    return true;
  }
  public static void main(String[] args)
  {
    Test test = new Test();
  }
}

类及其字段和方法的类型参数相关的元数据都会被保留下来,可以通过反射获取到。

这是通过反射取得参数化类型的根本依据。

2. 如何获取泛型类型

2.1 获取元数据的泛型参数(反射)

因为我们知道,泛型擦除的时候,不会将元数据结构(类,属性,方法(结构)返回值及形参)泛型擦除,故可直接通过反射获取泛型类型。

  1. 获取属性上的泛型类型:
    field.getGenericType();
  2. 获取方法结构——形参的泛型类型:
    method.getGenericParameterTypes()[0];
  3. 获取方法结构——返回值的泛型类型:
    method.getGenericReturnType();

我们可以通过元数据获取到泛型类型,源码分析:

public class Test<T> {
    private T data;
    private Set<String> set = new HashSet<>();
    public <T> Test<T> isBoolean(List<Boolean> data) {
        Map<String, String> map = new HashMap<>();
        map.put("hello", "world");
        map.put("你好", "世界");
        System.out.println(map.get("hello"));
        return new Test<>();
    }
    //查看反编译文件
    public static void main(String[] args) throws NoSuchMethodException {
        //获取Test.class类的class对象
        Class<?> testClass = Test.class;
        //获取类的属性字段
        Field[] declaredField = testClass.getDeclaredFields();
        //暴力解除,可以访问私有变量
        Field.setAccessible(declaredField, true);
        System.out.println("属性名:参数类型:参数泛型类型");
        for (Field field : declaredField) {
            String name = field.getName();
            Class<?> type = field.getType();
            Type genericType = field.getGenericType();
            System.out.println(name + ":" + type + ":" + genericType);
        }
        System.out.println("方法形参的泛型类型");
        Method method = testClass.getMethod("isBoolean", new Class[]{List.class});
        ParameterizedType parameterType = (ParameterizedType) method.getGenericParameterTypes()[0];
        System.out.println(parameterType.getActualTypeArguments()[0]); //获取第一个
        System.out.println("方法返回值的泛型类型");
        ParameterizedType returnType = (ParameterizedType) method.getGenericReturnType();
        System.out.println(returnType.getActualTypeArguments()[0]);
    }
}

返回结果:

元数据的返回泛型返回

2.2 获取实参的泛型参数(内部类)

Java在编译的时候,会对方法实参以及方法内部进行泛型擦除(即用泛型实参上限代替真实的泛型类型)。但是泛型信息会保持在Signature中。故反射 不能获取到泛型对象。

如下源码,我们获取不到data数据的泛型类型

public void testGenericType(List<T> data) {
        //如何获取data传入的是泛型类型
        Class<?> aClass = data.getClass();
        //Class实现了Type接口
        Type aType = aClass;
        //判断aType是否有泛型(返回false)
        System.out.println(aType instanceof ParameterizedType);
}
  1. 获取传入参数的泛型对象:
    Type type = ((ParameterizedType) genericSuperclass).getActualTypeArguments()[0];
  2. 那么实际上传入的就是一个子类对象。
    使用匿名内部类创建该子类对象。

修改使用匿名类获取:

匿名类获取泛型对象

泛型类型只会在类、字段以及方法形参内保存其签名(Signature),在方法实参不作任何保留而统统擦除。

我们可以通过匿名类,以子类的方式把主类的Signature保存下来,从而获取到实参的泛型类型。

3. 源码中的使用

GoogleGson,阿里的FastJson中,使用了比较多捕获泛型实参的方法,基本都是通过创建一个匿名类来获取的。

温故知新-内部类

  • 匿名类必须继承一个父类或者实现一个接口,其实创建的是一个子类类型。
  • 可以使用protected构造方法,强制使用子类。

FastJsoncom.alibaba.fastjson.TypeReference<T>的源码:

protected TypeReference() {
        Type superClass = this.getClass().getGenericSuperclass();
        Type type = ((ParameterizedType)superClass).getActualTypeArguments()[0];
        Type cachedType = (Type)classTypeCache.get(type);
        if (cachedType == null) {
            classTypeCache.putIfAbsent(type, type);
            cachedType = (Type)classTypeCache.get(type);
        }
        this.type = cachedType;
    }

就是通过使用匿名内部类,获取到实参的泛型类型的。


目录
相关文章
|
3月前
|
Java
实现java执行kettle并传参数
实现java执行kettle并传参数
42 1
|
3月前
|
存储 Java 开发者
Java 中 Set 类型的使用方法
【10月更文挑战第30天】Java中的`Set`类型提供了丰富的操作方法来处理不重复的元素集合,开发者可以根据具体的需求选择合适的`Set`实现类,并灵活运用各种方法来实现对集合的操作和处理。
|
3月前
|
Java 编译器 开发者
Java异常处理的最佳实践,涵盖理解异常类体系、选择合适的异常类型、提供详细异常信息、合理使用try-catch和finally语句、使用try-with-resources、记录异常信息等方面
本文探讨了Java异常处理的最佳实践,涵盖理解异常类体系、选择合适的异常类型、提供详细异常信息、合理使用try-catch和finally语句、使用try-with-resources、记录异常信息等方面,帮助开发者提高代码质量和程序的健壮性。
112 2
|
3月前
|
存储 Java 编译器
Java泛型类型擦除以及类型擦除带来的问题
泛型擦除是指Java编译器在编译期间会移除所有泛型信息,使所有泛型类型在运行时都变为原始类型。例如,`List&lt;String&gt;` 和 `List&lt;Integer&gt;` 在JVM中都视为 `List`。因此,通过 `getClass()` 比较两个不同泛型类型的 `ArrayList` 实例会返回 `true`。此外,通过反射调用 `add` 方法可以向 `ArrayList&lt;Integer&gt;` 中添加字符串,进一步证明了泛型信息在运行时被擦除。
76 2
|
4月前
|
Java API
[Java]泛型
本文详细介绍了Java泛型的相关概念和使用方法,包括类型判断、继承泛型类或实现泛型接口、泛型通配符、泛型方法、泛型上下边界、静态方法中使用泛型等内容。作者通过多个示例和测试代码,深入浅出地解释了泛型的原理和应用场景,帮助读者更好地理解和掌握Java泛型的使用技巧。文章还探讨了一些常见的疑惑和误区,如泛型擦除和基本数据类型数组的使用限制。最后,作者强调了泛型在实际开发中的重要性和应用价值。
106 0
[Java]泛型
|
3月前
|
Java
在Java中定义一个不做事且没有参数的构造方法的作用
Java程序在执行子类的构造方法之前,如果没有用super()来调用父类特定的构造方法,则会调用父类中“没有参数的构造方法”。因此,如果父类中只定义了有参数的构造方法,而在子类的构造方法中又没有用super()来调用父类中特定的构造方法,则编译时将发生错误,因为Java程序在父类中找不到没有参数的构造方法可供执行。解决办法是在父类里加上一个不做事且没有参数的构造方法。
|
4月前
|
Java
Java 中锁的主要类型
【10月更文挑战第10天】
|
4月前
|
存储 安全 Java
🌱Java零基础 - 泛型详解
【10月更文挑战第7天】本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,希望能够助你一臂之力,帮你早日登顶实现财富自由🚀;同时,欢迎大家关注&&收藏&&订阅!持续更新中,up!up!up!!
37 1
|
3天前
|
Java 程序员 开发者
Java社招面试题:一个线程运行时发生异常会怎样?
大家好,我是小米。今天分享一个经典的 Java 面试题:线程运行时发生异常,程序会怎样处理?此问题考察 Java 线程和异常处理机制的理解。线程发生异常,默认会导致线程终止,但可以通过 try-catch 捕获并处理,避免影响其他线程。未捕获的异常可通过 Thread.UncaughtExceptionHandler 处理。线程池中的异常会被自动处理,不影响任务执行。希望这篇文章能帮助你深入理解 Java 线程异常处理机制,为面试做好准备。如果你觉得有帮助,欢迎收藏、转发!
38 14