为什么需要反射?
一般情况下,我们使用某个类时必定知道它是什么类,是用来做什么的,并且能够获得此类的引用。于是我们直接对这个类进行实例化,之后使用这个类对象进行操作。
反射则是一开始并不知道我要初始化的类对象是什么,自然也无法使用 new 关键字来创建对象了。这时候,我们使用 JDK 提供的反射 API 进行反射调用。**反射就是在运行状态中,对于任意一个类,都能够知道这个类的所有属性和方法;对于任意一个对象,都能够调用它的任意方法和属性;**并且能改变它的属性。是Java被视为动态语言的关键。
- 动态行为:反射允许程序在运行时动态地创建对象和调用方法,而不需要在编译时知道这些对象和方法的具体类型。这在处理用户插件、自定义脚本或者其他需要动态加载和执行代码的情况下非常有用。
- 框架和库:许多Java框架和库,都使用反射来处理注解、依赖注入、数据映射和单元测试等功能
- 泛型擦除:由于Java的类型擦除机制,泛型信息在运行时是不可用的。但是,通过反射和
TypeToken
等技术,我们可以在运行时获取到泛型的实际类型。
反射有哪些功能呢?
Java反射提供了以下功能:
- 在运行时构造任意一个类的对象
- 在运行时获取或者修改任意一个类所具有的成员变量和方法
- 在运行时调用任意一个对象的方法(属性)
- 处理注解,可以通过反射获取一个类、方法或字段的所有注解,并读取它们的属性值
- 获取泛型信息:虽然Java的泛型信息在运行时通常会被擦除,但是可以通过反射获取到一些泛型信息,例如一个字段的参数化类型。
Class
反射始于Class,Class是一个类,封装了当前对象所对应的类的信息。一个类中有属性,方法,构造器等,比如说有一个Person类,一个Order类,一个Book类,这些都是不同的类,现在需要一个类,用来描述类,这就是Class,它应该有类名,属性,方法,构造器等。Class是用来描述类的类。
Class类是一个对象照镜子的结果,对象可以看到自己有哪些属性,方法,构造器,实现了哪些接口等等。对于每个类而言,JRE 都为其保留一个不变的 Class 类型的对象。一个 Class 对象包含了特定某个类的有关信息。 对象只能由系统建立对象,一个类(而不是一个对象)在 JVM 中只会有一个Class实例。
如何获取Class对象?
获取Class对象的三种方法
-
通过类名获取
类名.class
-
通过对象获取
对象名.getClass()
-
通过全类名获取
Class.forName(全类名)
classLoader.loadClass(全类名)
-
使用Class类的
forName
静态方法public static Class<?> forName(String className)
-
直接获取某一个对象的class
Class<?> kclass = int.class; Class<?> classInt = Integer.TYPER;
-
调用某个对象的
getClass()
方法StringBuilder str = new StringBuilder("123"); Class<?> kclss = str.getClass();
判断是否为某个类的实例
一般地,用
instanceof
关键字来判断是否为某个类的实例。通过可以借助反射中isInstance()
方法来判断是否为某个类的实例,它是一个native方法public native boolean isInstance(Object obj);
判断是否为某个类的类型
public boolean isAssignableFrom(Class<?> cls)
-
创建实例
通过反射类生成对象主要有两种方式
-
通过Class对象的
newInstance()
方法来创建Class对象对应类的实例Class<?> c = String.class; Object str = c.newInstance();
-
先通过Class对象获取指定的
Constructor
对象,再调用Constructor对象的newInstance()
来创建实例。这种方法可以用指定的构造器构造类的实例。// 获取String所对应的Class对象 Class<?> c = String.class; // 获取String类带一个String参数的构造器 Constructor constructor = c.getConstructor(String.class); // 根据构造器创建实例 Object obj = constructor.newInstance("23333"); System.out.println(obj);
获取构造器信息
得到构造器的方法
Constructor getConstrucotor(Class[] params) -- 获取使用特殊的参数类型的public构造函数(包括父类)
Construcotr[] getConstructors)() -- 获得类的所有公共构造函数
Constructor getDeclaredConstructor(Class[] params) -- 获得使用指定参数类型的构造函数(包括私有)
Constructor[] getDeclaredConstructors() -- 获得类的所有构造函数(与接入级别无关)
获取类构造器的用法与上述获取方法的用法类似。主要是通过Class类的getConstructor
方法得到Constructor类的一个实例,而Constructor类有一个newInstance方法可以创建一个对象实例:
public T newInstance(Object ... initargs)
获取类的成员变量(字段)信息
获得字段信息的方法
Method getMethod(String name, Class[] params) -- 使用特定的参数类型,获取命名的公共方法
Method[] getMethods() -- 获取类的所有公共方法
Method getDeclaredMethod(String name, Class[] params) -- 使用特写的参数类型,获得类声明的命名的方法
Method[] getDeclaredMethods() -- 获得类声明的所有方法
当我们从类中获取一个方法后,我们就可以用invoke()
方法来调用这个方法。invoke
方法的原型为:
public Object invoke(Object obj, Object ... args)
利用反射创建数组
数组在Java中是比较特殊的一种类型,它可以赋值给一个Object Reference
其中的Array类为java.lang.reflect.Array
类。我们可以通过Array.newInstance()
创建数组对象,它的原型是:
public static Object newInstance(Class<?> componmentType, int length);
反射获得泛型真实类型
当我们对一个泛型类进行反射时,需要得到泛型中的真实数据类型,来完成json反序列化的操作。此时需要通过Type
体系来完成。Type
接口包含了一个实现类(Class)和四个实现类接口,他们分别是:
-
TypeVariable
泛型类型变量。可以获得泛型上下限等信息
-
ParameterizedType
具体的泛型类型,可以获得元数据中泛型签名类型[泛型真实类型],如
T
inList<T>
-
GenericArrayType
当需要描述的类型是泛型类的数组时,比如List[],Map[],此接口会作为Type的实现
-
WildcardType
通配符泛型,获得上下限信息;
下面是四个实现类接口的具体使用示例:
TypeVariable
泛型类型变量的通用超接口,例如在List<T>
中的T
。
主要有两个方法:
getGenericDeclaration()
返回声明这个类型变量的实体(如类,方法,构造器)getBounds()
返回类型变量的上界(extends后面的部分)
public class TestType<K extends Comparable & Serializable, V> {
K key;
V value;
public static void main(String[] args) throws Exception {
// 获取字段的类型
Field fk = TestType.class.getDeclaredField("key");
Field fv = TestType.class.getDeclaredField("value");
TypeVariable keyType = (TypeVariable) fk.getGenericType();
TypeVariable valueType = (TypeVariable) fv.getGenericType();
// getName 方法
System.out.println(keyType.getName()); // K
System.out.println(valueType.getName()); // V
// getGenericDeclaration 方法
System.out.println(keyType.getGenericDeclaration()); // class reflect.test1.TestType
System.out.println(valueType.getGenericDeclaration()); // class reflect.test1.TestType
// getBounds 方法
System.out.println("K 的上界:"); // 有两个
for (Type type : keyType.getBounds()) { // interface java.lang.Comparable
System.out.println(type); // interface java.io.Serializable
}
System.out.println("V 的上界"); // 没有明确声明上界的,默认上界是Object
for (Type type : valueType.getBounds()) { // class java.lang.Object
System.out.println(type);
}
}
}
ParameterizedType
参数化类型的通用超接口,例如List<String>
有三个主要的方法:
getRawType()
返回原始类型(如Map
)getOwnerType()
返回类型的拥有者(只有内部类才有拥有者)getActualTypeArguments()
返回实际的类型参数(如String
)
public class TestType {
Map<String, String> map;
public static void main(String[] args) throws Exception {
Field f = TestType.class.getDeclaredField("map");
System.out.println(f.getGenericType()); // java.util.Map<java.lang.String, java.lang.String>
ParameterizedType pType = (ParameterizedType) f.getGenericType();
System.out.println(pType.getRawType()); // interface java.util.Map
for (Type type : pType.getActualTypeArguments()) {
System.out.println(type); // 打印两遍class java.lang.String
}
}
}
GenericArrayType
泛型数组类型的通用超接口,例如List<String>[]
或T[]
getGenericComponentType()
返回数组元素类型
public class TestType<T> {
List<String>[] lists;
public static void main(String[] args) throws Exception {
Field f = TestType.class.getDeclaredField("lists");
GenericArrayType genericType = (GenericArrayType) f.getGenericType();
System.out.println(genericType.getGenericComponentType()); // java.util.List<java.lang.String>
}
}
WildcardType
通配符类型的通用超接口,例如?
,? extends Number
,? super String
。
主要有两个方法:
getUpperBounds()
返回通配符的上界(extends后面的部分)getLowerBounds()
返回通配符的下界(super后面的部分)
public class TestType {
private List<? extends Number> a; // 上限
private List<? super String> b; // 下限
public static void main(String[] args) throws Exception {
Field filedA = TestType.class.getDeclaredField("a");
Field filedB = TestType.class.getDeclaredField("b");
// 先拿到泛型类型
ParameterizedType pTypeA = (ParameterizedType) filedA.getGenericType();
ParameterizedType pTypeB = (ParameterizedType) filedB.getGenericType();
// 再从泛型里面拿到通配符类型
WildcardType wTypeA = (WildcardType) pTypeA.getActualTypeArguments()[0];
WildcardType wTypeB = (WildcardType) pTypeB.getActualTypeArguments()[0];
// 方法测试
System.out.println(wTypeA.getUpperBounds()[0]); // class java.lang.Number
System.out.println(wTypeB.getLowerBounds()[0]); // class java.lang.String
// 看看通配符类型到底是什么,打印结果为:
System.out.println(wTypeA); // ? extends java.lang.Number
}
}
Gson反序列化
public class Response<T> {
T data;
int code;
String message;
@Override
public String toString() {
return "Response{" +
"data=" + data +
", code=" + code +
", message='" + message + '\'' +
'}';
}
public Response(T data, int code, String message) {
this.data = data;
this.code = code;
this.message = message;
}
static class Data {
String result;
public Data(String result) {
this.result = result;
}
@Override
public String toString() {
return "Data{" +
"result='" + result + '\'' +
'}';
}
}
public static void main(String[] args) {
Response<Data> dataResponse = new Response<>(new Data("数据"), 1, "成功");
Gson gson = new Gson();
String json = gson.toJson(dataResponse);
System.out.println(json);
// 为什么TypeToken 要定义为抽象类?
Response<Data> resp = gson.fromJson(json, new TypeToken<Response<Data>>(){}.getType());
System.out.println(resp.data.result);
}
}
在进行Gson反序列化时,存在泛型时,可以借助TypeToken
获取Type以完成泛型的反序列化,但是为什么TypeToken
要被定义为抽象类呢?
当创建一个匿名类时,编译器会在字节码中保留这个类的所有类型信息,包括泛型类型。因此,通过创建一个TypeToken
的匿名子类,我们可以保留泛型类型信息,然后在运行时通过反射来获取这些信息。如果TypeToken
不是抽象类,那么用户可能会直接创建它的实例,而不是创建它的子类。这样就无法捕获到泛型类型信息了。
只有定义为抽象类或者接口,这样在使用的时候,需要创建对应的实现类,此时确定泛型类型,编译才能够将泛型signature信息记录到Class元数据中。