java基础之反射类型Type
source link: https://segmentfault.com/a/1190000040652955
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Java在加入泛型之后，仅仅Class已经不足以描述数据的类型了，比如List\<String\>类型的数据，其Class的类型为List.class，但是其类型包含了泛型参数，所以java引入了Type类型来描述泛型类型。除了泛型类型，还有数组格式的数据，其类型也包含两部分，一部分是数组对象本身的class，另外一部分是数组中数据的类型。本文会详细介绍JavaType中的各种类型，分析这些类型的使用方法。
Type介绍
Type是Java 编程语言中所有类型的公共高级接口，也就是Java中所有"类型"的接口。官方原话定义如下
\> 官方文档：Type is the common superinterface for all types in the Java programming language. These include raw types, parameterized types, array types, type variables and primitive types.
这样的官方描述有点难懂，此处我画个图解释一下。Type其实是和泛型一起出现的，可以说Type就是为了支持泛型。
- 泛型出现之前，我们可以通过Class来确认一个对象的类型，比如ClassA A，那么A的类型就是ClassA;
- 泛型出现之后，显然不能通过Class唯一确认一个对象的类型，比如List\<ClassA\> A，A的Class是List，但是A的类型显然不仅仅是List，它是由Class类型的List + TypeVariables的ClassA联合确认的一个Type。
\> A type variable is an unqualified identifier used as a type in class, interface, method, and constructor bodies.
Type的类型
Type可以分为两大类：包含TypeVariables和不包含TypeVariables的类型：
- 不包含TypeVariable：包含基本数据类型（int, long等），基本Class（如Object，不包含泛型的类）；
包含TypeVariable，按照包含的TypeVariable又分为以下几类：
- ParameterizedType: 表示一种参数化的类型，如List\<String\>，泛型的参数已经指定；
- GenericArrayType: 表示一种元素类型是参数化类型或者类型变量的数组类型，如List\<String\>[][]；
- WildcardType: 代表一种通配符类型表达式，比如List\<?\>, List\<? extends ClassA\>, List\<? super Object\>。
继续介绍Type之前，需要先介绍一下java的泛型机制：
泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。 Java语言引入泛型的好处是安全简单。泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，以提高代码的重用率。
泛型信息只存在于代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除掉，专业术语叫做类型擦除。
参数化类型ParameterizedType
参数化类型的写法如下：C\<T1,...,Tn\>，其中C是Class类型，\<T1,...,Tn\> 是Type，先列几个参数化类型的合法定义：
Seq\<String\> Seq\<Seq\<String\>\> Seq\<String\>.Zipper\<Integer\> Pair\<String,Integer\>
ParameterizedType类型的接口方法介绍：
返回值方法名称描述信息Type[]getActualTypeArguments()参数化类型中的TypeVariable参数类型，如List\<String\> 返回 String.class, List\<List\<\<String\>\> 返回List\<\<String\>TypegetOwnerType()获取当前Type所属的Type，比如对于O\<T\>.I\<S\>中的I\<S\>类型，会返回 O\<T\>TypegetRawType()获取当前Type的Class，如List\<String\> 返回 List.class
\>ParameterizedType represents a parameterized type such as Collection\<String\>.A parameterized type is created the first time it is needed by a reflective method, as specified in this package. When a parameterized type p is created, the generic type declaration that p instantiates is resolved, and all type arguments of p are created recursively. See TypeVariable for details on the creation process for type variables. Repeated creation of a parameterized type has no effect. Instances of classes that implement this interface must implement an equals() method that equates any two instances that share the same generic type declaration and have equal type parameters.
数组类型GenericArrayType
数组泛型类型的写法如下：C\<T\>[]，其中C是Class类型，\<T\> 是Type，先列几个数组泛型类型的合法定义：
List\<String\>[] List\<Seq\<String\>\> [][]返回值方法名称描述信息TypegetGenericComponentType()数组元素的类型，如List\<String\> []返回List\<String\>
注意：\<\>不能出现在数组的初始化中，即new数组之后不能出现\<\>，否则javac无法通过。但是作为引用变量或者方法的某个参数是完全可以的。不包含泛型的数组本节不做介绍(如String[])，下文中会进行介绍。
\>GenericArrayType represents an array type whose component type is either a parameterized type or a type variable.
通配符类型WildcardType
通配符类型何其字面意思相同，其泛型类型不再是一个具体的类，而是一个通配符表达式，表达式包含以下三种："?","? extends Type", "? super Type"，其中Type可以为WildcardType，GenericArrayType，ParameterizedType，Class.
\>WildcardType represents a wildcard type expression, such as ?, ? extends Number, or ? super Integer.
WildcardType 接口的方法和介绍如下.
返回值方法名称描述信息Type[]getLowerBounds()返回通配Type的下限类型，现阶段返回值的长度为1Type[]getUpperBounds()返回通配Type的上限类型，现阶段返回值的长度为1
基本Class、基本数据类型和数组
通过反射获取基本的Class和基本数据类型此处就不详细介绍了，接下来会重点介绍一下数组类型。java的数组类型由虚拟机生成，虚拟机生成的数组类型的名称一般类似于"class [[Ljava.lang.String;"，注意其中的"[["表示是二维数组。那么如何获取数组中的元素类型呢？ java.lang.Class包中提供了以下接口查询：
返回值方法名称描述信息Class\<?\>componentType()如果类型是数组类型，返回数组中元素的类型，否则返回null\>componentType():Returns the component type of this Class, if it describes an array type, or null otherwise.
如何获取字段或参数的Type信息
平时使用java程序的过程中，我们接触到的最多的类型只有Class，像泛型类型和数组类型，通常只有通过反射才能获取到。
获取字段的泛型信息
如下程序中，我们首先定义了一个自定义的类TestParameterizedType，只包含一个字段List\<String\> field，然后我们在另外一个单测实例中尝试通过反射获取field的相关信息。通过field.getType()我们获取到了field的类型。通过field.getGenericType()我们获取到了field的泛型信息。
public class ReflectParameterizedTypeTest {
public static class TestParameterizedType {
private List\<String\> field;
}
@Test
public void testIntType() throws NoSuchFieldException {
Class\<?\> clazz = TestParameterizedType.class;
Field field = clazz.getDeclaredField("field");
// 此处获取到字段的实际Class类型
Class\<?\> clazzType = field.getType();
System.out.println("Field type: " + clazzType.getName());
// 此处获取到字段的泛型类型
Type genericType = field.getGenericType();
System.out.println("Field generic type: " + field.getGenericType().getTypeName());
}
}
获取方法参数的泛型信息
类似于字段的获取方式，方法可以通过Method.getGenericParameterTypes()获取所有参数的泛型信息。
获取运行时变量的泛型信息
不可能，具体原因参考java的泛型擦除原理。
本文大多数内容参考了java官方文档，点此直达JAVA15官方文档地址
我是御狐神，欢迎大家关注我的微信公众号
本文最先发布至微信公众号，版权所有，禁止转载！
Recommend
-
29
开发中会频繁的使用各种对象，在Java中称为Javabean，在Go中用结构体。使用ORM框架时，经常会用实体类来映射数据表，但实际上很少会直接使用映射数据表的实体类对象在各层传输，更多的会使用其他对象(如DTO，VO等)，对读出的实体类对象的属...
-
17
本文部分摘自 On Java 8 RTTI RTTI（RunTime Type Information）运行时类型信息，能够在程序运行时发现和使用类型信息，把我们从只能在编译期知晓类型信息并操作的局限中解脱出来 传统的多态机制正是 RTTI 的基...
-
12
专栏总结java1：类型和String、反射_黄规速博客:学如逆水行舟，不进则退-CSDN博客 ...
-
10
从代码角度，关于反射的用法总结，请查看Java反射之实用篇.; 1.1 概念 简单说，JAVA反射机制是指在运行态可直接操作任意类或对象的所有属性...
-
7
本文永久链接 – https://tonybai.com/2021/mm/dd/variable-operation-using-reflection-in-go Go在标准库中提供的
-
3
dotnet C# 反射扫描程序集所有类型会不会触发类型静态构造函数在 dotnet 里面，有很多框架都喜欢扫描程序集进行初始化逻辑，在扫描程序集的所有类型的时候，相当于碰到所有类型。而某个类型的静态构造函数将会在某个类型被使用之前被 CLR 调用，那么扫描类...
-
10
一、什么是java反射# 什么是 java 的反射？ 说到反射，写这篇文章时，我突然想到了人的”反省“，反省是什么？吾一日三省吾身，一般就是...
-
7
注解与反射 基础什么是注解Annotation注解Annotation的作用：不是程序本身，可以对程序做出解释。可以被其他程序（比如 编译器等）读取annotation的格式： 注解是以 ”@注释名“ 再代码中存在的，还可以添加一写参数...
-
4
1. 什么是反射 反射是程序在运行期间获取变量的类型和值、或者执行变量的方法的能力。 Golang反射包中有两对非常重要的函数和类型，两个函数分别是： reflect.TypeOf...
-
6
【类型转换】使用c#实现简易的类型转换(Emit，Expression，反射) ...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK