Java泛型类型解析

2024-09-08 12:44
文章标签 java 类型 解析 泛型

本文主要是介绍Java泛型类型解析,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

解析泛型类型

获取字段泛型类型

  1. **java.lang.reflect.Field#getGenericType**:
    • 作用:返回字段的泛型类型。
    • 返回类型:Type
    • 如果字段是一个泛型类型,这个方法将返回一个表示这个泛型类型的 Type 对象,比如 ParameterizedTypeTypeVariable 等等。如果字段不是泛型类型,这个方法将返回字段的具体类型,即 Class 对象。
    • 示例:
import java.lang.reflect.Field;
import java.lang.reflect.ParameterizedType;
import java.lang.reflect.Type;
import java.util.List;public class MyClass<K, V> {private K key;private V value;private List<String> list;public static void main(String[] args) throws Exception {Field field = MyClass.class.getDeclaredField("list");Type fieldType = field.getGenericType();System.out.println(fieldType + ": class " + fieldType.getClass());if (fieldType instanceof ParameterizedType) {ParameterizedType parameterizedType = (ParameterizedType) fieldType;System.out.println("ActualType: "+parameterizedType.getActualTypeArguments()[0]);}}
}

输出结果

java.util.List<java.lang.String>: class class sun.reflect.generics.reflectiveObjects.ParameterizedTypeImpl
ActualType: class java.lang.String

获取对象泛型类型

  1. **java.lang.Class#getTypeParameters**:
    • 作用:返回类或接口的类型参数。
    • 返回类型:TypeVariable<?>[]
    • 如果类或接口没有定义类型参数,这个方法将返回一个空数组。如果类或接口有类型参数,这个方法将返回这些类型参数的数组。
    • 示例:
import java.lang.reflect.Type;
import java.lang.reflect.TypeVariable;
import java.util.List;public class MyClass<K, V> {private K key;private V value;private List<String> list;public static void main(String[] args) throws Exception {TypeVariable<?>[] typeParameters = MyClass.class.getTypeParameters();for (TypeVariable<?> typeParameter : typeParameters) {System.out.println(typeParameter.getName() + ": class" + typeParameter.getClass());System.out.println("Bounds:");for (Type bound : typeParameter.getBounds()) {System.out.println(bound);}}}
}

输出结果,此处的范型被擦除了,后续会讲解具体的解决方案

K: classclass sun.reflect.generics.reflectiveObjects.TypeVariableImpl
Bounds:
class java.lang.Object
V: classclass sun.reflect.generics.reflectiveObjects.TypeVariableImpl
Bounds:
class java.lang.Object

总结

  • Field#getGenericType 是针对类的字段,返回字段的泛型类型或具体类型。
  • Class#getTypeParameters 是针对类或接口,返回定义在类或接口上的类型参数。

如果你想获取一个类中字段的实际类型,Field#getGenericType 是合适的方法。如果你想获取类本身定义的类型参数,Class#getTypeParameters 是正确的方法。

ParameterizedType与TypeVariable区别

ParameterizedTypeTypeVariable 是 Java 反射 API 中的两个接口,用于表示不同类型的泛型类型信息。它们之间的区别在于它们表示的泛型类型的不同方面。

ParameterizedType

ParameterizedType 表示的是一个参数化的类型,即:使用具体类型参数化的泛型类型。它包含了泛型类型的完整信息,包括原始类型和实际类型参数。例如,对于 List<String>ParameterizedType 会表示 List<String> 这个具体的类型。

主要方法:

  • Type[] getActualTypeArguments():返回实际的类型参数数组。
  • Type getRawType():返回原始类型(即未参数化的类型,例如 List)。
  • Type getOwnerType():返回拥有者类型,如果类型是一个内部类,这个方法返回其外部类;否则返回 null

示例:

import java.lang.reflect.*;public class ParameterizedTypeExample {public static void main(String[] args) throws NoSuchFieldException {Field field = MyClass.class.getDeclaredField("list");Type type = field.getGenericType();if (type instanceof ParameterizedType) {ParameterizedType parameterizedType = (ParameterizedType) type;System.out.println("Raw type: " + parameterizedType.getRawType());System.out.println("Actual type arguments:");for (Type actualTypeArgument : parameterizedType.getActualTypeArguments()) {System.out.println(actualTypeArgument);}}}static class MyClass {List<String> list;}
}

输出结果

Raw type: interface java.util.List
Actual type arguments:
class java.lang.String

TypeVariable

TypeVariable 表示的是一个类型变量(泛型类型参数),通常在泛型类、接口或方法的定义中使用。例如,对于 Tclass MyClass<T> 中,TypeVariable 就表示 T

主要方法:

  • Type[] getBounds():返回类型变量的上边界(可能有多个),默认为 Object
  • D getGenericDeclaration():返回声明这个类型变量的泛型声明(通常是 ClassMethodConstructor)。
  • String getName():返回类型变量的名称。

示例:

import java.lang.reflect.*;public class TypeVariableExample {public static void main(String[] args) {TypeVariable<Class<MyClass>>[] typeParameters = MyClass.class.getTypeParameters();for (TypeVariable<Class<MyClass>> typeParameter : typeParameters) {System.out.println("Name: " + typeParameter.getName());System.out.println("Bounds:");for (Type bound : typeParameter.getBounds()) {System.out.println(bound);}}}static class MyClass<T extends Number> {T value;}
}

输出结果

Name: T
Bounds:
class java.lang.Number

区别总结

  • **ParameterizedType** 表示的是已经用实际类型参数化的泛型类型。例如,List<String> 是一个 ParameterizedType
  • **TypeVariable** 表示的是泛型类型参数本身。例如,Tclass MyClass<T> 中是一个 TypeVariable

这两个接口的主要区别在于它们表示的类型信息的不同:ParameterizedType 表示完整的参数化类型,而 TypeVariable 表示泛型类型参数。

泛型擦除

有时候为了扩展,需要动态的根据泛型获取对应的处理类,此时涉及到类型擦除时需要强制转换支持

  1. List<Pipeline<?, MyOutput>>无法直接强转为List<Pipeline<T, MyOutput>>

解决方法

  1. (List<?>)将List<Pipeline<?, MyOutput>>中的类型擦除,然后再次强转为List<Pipeline<T, MyOutput>>
  2. 遍历列表将元素强转为目标类型之后添加到列表
private static final Map<Object, List<Pipeline<?, MyOutput>>> PIPELINE = Maps.newHashMap();@SuppressWarnings("unchecked")
public <T> List<Pipeline<T, MyOutput>> get(T input) {return (List<Pipeline<T, MyOutput>>) (List<?>) PIPELINE.get(input);
}@SuppressWarnings("unchecked")
public <T> List<Pipeline<T, MyOutput>> getCanBuyPipeLine(T input) {List<Pipeline<T, MyOutput>> result = Lists.newArrayList();for (Pipeline<?, MyOutput> pipeline : PIPELINE.get(input)) {result.add((Pipeline<T, MyOutput>) pipeline);}return result;
}

第一种方式

GenericTypeDemo<Integer> demo = new GenericTypeDemo<>();
Type t = new TypeToken<T>(demo.getClass()) {}.getType();
  1. 创建实例
GenericTypeDemo<Integer> demo = new GenericTypeDemo<>();

创建了一个 GenericTypeDemo<Integer> 的实例。

  1. 使用 TypeToken 获取类型
Type t = new TypeToken<T>(demo.getClass()) {}.getType();

这段代码试图通过 TypeToken 获取 demo 的泛型类型。这里的 TypeToken<T> 依赖于 demo.getClass(),但是 demo.getClass() 返回的是 GenericTypeDemo 的运行时类信息,其中的泛型类型已经被擦除。因此,TypeToken<T> 无法捕获到实际的泛型类型 Integer

第二种方式

import com.google.common.reflect.TypeToken;public class GenericTypeDemo<T> {private final TypeToken<T> typeToken;public GenericTypeDemo() {this.typeToken = new TypeToken<T>(getClass()) {};}public TypeToken<T> getTypeToken() {return this.typeToken;}public static void main(String[] args) {GenericTypeDemo<Integer> demo = new GenericTypeDemo<>() {};System.out.println("泛型类型是: " + demo.getTypeToken().getType());}
}
  1. 定义类和构造函数
public class GenericTypeDemo<T> {private final TypeToken<T> typeToken;public GenericTypeDemo() {this.typeToken = new TypeToken<T>(getClass()) {};}public TypeToken<T> getTypeToken() {return this.typeToken;}
}

在这个类中,TypeToken<T> 被用来捕获 GenericTypeDemo 的泛型类型。关键在于 new TypeToken<T>(getClass()) {},这是在匿名子类中使用 TypeToken 捕获泛型类型信息。

  1. 使用泛型类型实例化对象
public static void main(String[] args) {GenericTypeDemo<Integer> demo = new GenericTypeDemo<>() {};System.out.println("泛型类型是: " + demo.getTypeToken().getType());
}

main 方法中,GenericTypeDemo<Integer> 被实例化为匿名子类,因此 TypeToken 可以捕获到实际的泛型类型 Integer。当调用 demo.getTypeToken().getType() 时,会正确输出 Integer 的类型。

总结

  1. 第一种方式
    • 直接通过 demo.getClass() 获取类型,类型信息在运行时已经被擦除,TypeToken<T> 无法获取到实际的泛型类型。
    • 最终得到的 Type t 只是一个原始的类型 GenericTypeDemo,没有泛型信息。
  2. 第二种方式
    • GenericTypeDemo 类的构造函数中,通过匿名子类和 TypeToken<T> 捕获泛型类型信息。
    • 实例化 GenericTypeDemo<Integer> 时,匿名子类保留了泛型类型信息,TypeToken<T> 成功捕获到实际的泛型类型 Integer
    • 结果是 demo.getTypeToken().getType() 能够正确输出泛型类型 Integer

因此,第二种方式能够正确捕获和输出泛型类型信息,而第一种方式由于泛型类型擦除问题无法正确捕获泛型类型。

spring中获取泛型

抽象类与泛型捕获

假设我们有一个抽象类 AbstractComponent

import com.google.common.reflect.TypeToken;public abstract class AbstractComponent<T> {private final Class<T> type = (Class<T>) new TypeToken<T>(getClass()) {}.getType();public AbstractComponent() {}public Class<T> getType() {return this.type;}
}

关键点

  1. **TypeToken**** 的使用**:
new TypeToken<T>(getClass()) {}
- `TypeToken` 是 Guava 库中的一个工具类,它用于在运行时捕获和处理泛型类型信息。
- `TypeToken` 的构造函数接收一个 `Class` 对象,这里是 `getClass()`,它在这个上下文中返回 `AbstractComponent` 的运行时类。
  1. 为什么能够捕获泛型类型
    • AbstractComponent<T> 类中,getClass() 返回的是 AbstractComponent 的运行时类,而不是具体的子类。
    • 当创建具体子类(例如 ConcreteComponent)时,AbstractComponent 的构造函数会执行,并且 TypeToken 实例会使用当前运行时类(即 ConcreteComponent)来初始化。
  2. 类型擦除与泛型捕获
    • 类型擦除:Java 的泛型在编译时会进行类型擦除,这意味着在运行时,泛型类型 T 的具体信息会丢失。但在创建子类时,匿名子类的 TypeToken 实例会捕获并保留泛型类型信息。
    • 具体子类的影响:当具体子类(例如 ConcreteComponent)被实例化时,它会调用父类的构造函数。在这种情况下,TypeToken 能够通过匿名子类的方式捕获实际的泛型类型。

示例

假设我们有以下具体子类:

import org.springframework.stereotype.Component;@Component
public class ConcreteComponent extends AbstractComponent<String> {// Concrete implementation
}

执行流程

  1. 创建子类实例
ConcreteComponent component = new ConcreteComponent();
- 这会调用 `ConcreteComponent` 的构造函数,而 `ConcreteComponent` 的构造函数会调用 `AbstractComponent` 的构造函数。
  1. **AbstractComponent**** 的构造函数**:
public AbstractComponent() {// Initializer of the final field 'type'
}
- 在这个构造函数中,`TypeToken` 实例使用 `getClass()` 返回 `ConcreteComponent` 的运行时类。这是由于在 `AbstractComponent` 的 `type` 字段初始化时,`new TypeToken<T>(getClass()) {}` 被调用。
  1. 捕获泛型类型
    • new TypeToken<T>(getClass()) {} 创建了一个匿名子类,并且这个匿名子类通过反射机制获取到了泛型类型 String
    • 因此,type 字段被正确初始化为 StringClass 对象。

总结

  • 运行时类信息:在 AbstractComponent 中,通过 getClass() 返回具体子类(如 ConcreteComponent)的运行时类信息。
  • 匿名子类和泛型捕获TypeToken 的匿名子类能够在创建时捕获并保留泛型类型信息,即使在运行时泛型信息被擦除。
  • 实例化时的行为:当具体子类被实例化时,它会调用父类的构造函数,TypeToken 实例通过具体子类的运行时类信息正确捕获泛型类型。

因此,在你的抽象类 AbstractComponent<T> 中,final 字段 type 能够正确保存具体泛型类型信息,是因为匿名子类机制允许 TypeToken 捕获到实际的泛型类型 T

spring能够获取到泛型,是因为spring使用了代理超类,bean对于spring来说是子类化了,所以可以通过反射或者TypeToken方式获取到具体的泛型

Spring 能够获取到泛型类型信息,主要是因为它在处理 bean 时会使用一些技巧来保持泛型的类型信息。具体来说:

  1. 代理超类:Spring 在创建代理对象时,通常会使用自定义的代理超类,这样可以在运行时通过反射获取到泛型参数的信息。
  2. TypeToken:Spring 通过使用 TypeToken(类似于 Google Guava 的 TypeToken 类)来保持泛型信息。在类型擦除的情况下,TypeToken 提供了一个获取具体泛型类型的方法。
  3. 反射:Spring 使用反射机制来获取泛型参数的类型信息。例如,Spring 的 @Autowired 注解可以自动注入泛型类型的 Bean,Spring 在进行注入时会解析泛型参数的信息。
  4. 自定义 Bean 实现:在一些情况下,Spring 可能会使用自定义的 Bean 实现来保持泛型类型信息。这种方法通常是通过在 Bean 定义中显式声明泛型类型。

总之,Spring 通过这些机制确保了泛型类型信息可以在运行时被正确地获取和使用。

普通对象获取泛型

new Pipeline<>() 创建实例时,Java 的类型擦除特性会导致你无法直接获取泛型的具体类型。类型擦除是指在编译时,Java 泛型信息会被移除,导致在运行时无法直接获取泛型参数的实际类型。

Spring 在处理泛型时,能够获取到泛型类型参数,是因为 Spring 在实例化 bean 的时候,通常使用了代理或其他机制来保存泛型信息。以下是一些解决方法,可以帮助你获取泛型参数的实际类型:

使用 TypeToken 获取泛型类型

你可以使用 TypeToken(Guava 库中的一个工具类)来获取泛型类型信息,但要注意,TypeToken 需要在 Pipeline 子类中使用才能正确地获得泛型类型。示例如下:

import com.google.common.reflect.TypeToken;public class Pipeline<I, O> {private final Class<I> inputClass;@SuppressWarnings("unchecked")public Pipeline() {TypeToken<Pipeline<I, O>> typeToken = new TypeToken<Pipeline<I, O>>(getClass()) {};this.inputClass = (Class<I>) typeToken.resolveType(typeToken.getType().getActualTypeArguments()[0]).getRawType();}public Class<I> getInputClass() {return inputClass;}// Other methods...
}

使用反射获取泛型类型

如果你不想使用 Guava 库,你可以在 Pipeline 的子类中获取泛型类型信息。示例如下:

import java.lang.reflect.ParameterizedType;
import java.lang.reflect.Type;public class Pipeline<I, O> {private final Class<I> inputClass;@SuppressWarnings("unchecked")public Pipeline() {this.inputClass = (Class<I>) ((ParameterizedType) getClass().getGenericSuperclass()).getActualTypeArguments()[0];}public Class<I> getInputClass() {return inputClass;}// Other methods...
}

确保子类化 Pipeline

确保 Pipeline 是通过子类化的方式实例化的,这样可以保留泛型信息。例如:

public class StringPipeline extends Pipeline<String, Integer> {// Implementation details...
}

StringPipeline 中,你可以通过反射或者 TypeToken 来获取 String 类型信息。

结论

Java 的类型擦除特性使得泛型类型信息在运行时不可用。使用 TypeToken 或者在子类中通过反射获取泛型类型是解决这个问题的常用方法。如果你使用 Spring 或其他框架,它们通常会在创建 bean 时保留泛型信息,这样你可以在运行时访问这些信息。

这篇关于Java泛型类型解析的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1148150

相关文章

Java中流式并行操作parallelStream的原理和使用方法

《Java中流式并行操作parallelStream的原理和使用方法》本文详细介绍了Java中的并行流(parallelStream)的原理、正确使用方法以及在实际业务中的应用案例,并指出在使用并行流... 目录Java中流式并行操作parallelStream0. 问题的产生1. 什么是parallelS

Java中Redisson 的原理深度解析

《Java中Redisson的原理深度解析》Redisson是一个高性能的Redis客户端,它通过将Redis数据结构映射为Java对象和分布式对象,实现了在Java应用中方便地使用Redis,本文... 目录前言一、核心设计理念二、核心架构与通信层1. 基于 Netty 的异步非阻塞通信2. 编解码器三、

SpringBoot基于注解实现数据库字段回填的完整方案

《SpringBoot基于注解实现数据库字段回填的完整方案》这篇文章主要为大家详细介绍了SpringBoot如何基于注解实现数据库字段回填的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以了解... 目录数据库表pom.XMLRelationFieldRelationFieldMapping基础的一些代

一篇文章彻底搞懂macOS如何决定java环境

《一篇文章彻底搞懂macOS如何决定java环境》MacOS作为一个功能强大的操作系统,为开发者提供了丰富的开发工具和框架,下面:本文主要介绍macOS如何决定java环境的相关资料,文中通过代码... 目录方法一:使用 which命令方法二:使用 Java_home工具(Apple 官方推荐)那问题来了,

Java HashMap的底层实现原理深度解析

《JavaHashMap的底层实现原理深度解析》HashMap基于数组+链表+红黑树结构,通过哈希算法和扩容机制优化性能,负载因子与树化阈值平衡效率,是Java开发必备的高效数据结构,本文给大家介绍... 目录一、概述:HashMap的宏观结构二、核心数据结构解析1. 数组(桶数组)2. 链表节点(Node

Java AOP面向切面编程的概念和实现方式

《JavaAOP面向切面编程的概念和实现方式》AOP是面向切面编程,通过动态代理将横切关注点(如日志、事务)与核心业务逻辑分离,提升代码复用性和可维护性,本文给大家介绍JavaAOP面向切面编程的概... 目录一、AOP 是什么?二、AOP 的核心概念与实现方式核心概念实现方式三、Spring AOP 的关

详解SpringBoot+Ehcache使用示例

《详解SpringBoot+Ehcache使用示例》本文介绍了SpringBoot中配置Ehcache、自定义get/set方式,并实际使用缓存的过程,文中通过示例代码介绍的非常详细,对大家的学习或者... 目录摘要概念内存与磁盘持久化存储:配置灵活性:编码示例引入依赖:配置ehcache.XML文件:配置

Java 虚拟线程的创建与使用深度解析

《Java虚拟线程的创建与使用深度解析》虚拟线程是Java19中以预览特性形式引入,Java21起正式发布的轻量级线程,本文给大家介绍Java虚拟线程的创建与使用,感兴趣的朋友一起看看吧... 目录一、虚拟线程简介1.1 什么是虚拟线程?1.2 为什么需要虚拟线程?二、虚拟线程与平台线程对比代码对比示例:三

一文解析C#中的StringSplitOptions枚举

《一文解析C#中的StringSplitOptions枚举》StringSplitOptions是C#中的一个枚举类型,用于控制string.Split()方法分割字符串时的行为,核心作用是处理分割后... 目录C#的StringSplitOptions枚举1.StringSplitOptions枚举的常用

Python函数作用域与闭包举例深度解析

《Python函数作用域与闭包举例深度解析》Python函数的作用域规则和闭包是编程中的关键概念,它们决定了变量的访问和生命周期,:本文主要介绍Python函数作用域与闭包的相关资料,文中通过代码... 目录1. 基础作用域访问示例1:访问全局变量示例2:访问外层函数变量2. 闭包基础示例3:简单闭包示例4