注册

「Java 路线」| 反射机制(含 Kotlin)

前言



  • 反射(Reflection)是一种在运行时 动态访问类型信息 的机制。
  • 在这篇文章里,我将带你梳理Java & Kotlin反射的使用攻略,追求简单易懂又不失深度,如果能帮上忙,请务必点赞加关注!



目录



1. 类型系统的基本概念


首先,梳理一一下类型系统的基础概念:



  • 问:什么是强 / 弱类型语言?

答:强 / 弱类型语言的区分,关键在于变量是否 (倾向于) 类型兼容。例如,Java 是强类型语言,变量有固定的类型,以下代码在 Java 中是非法的:


public class MyRunnable {
public abstract void run();
}

// 编译错误:Incompatible types
java.lang.Runnable runnable = new MyRunnable() {
@Override
public void run() {

}
}
runnable.run(); // X

相对地,JavaScript 是弱类型语言,一个变量没有固定的类型,允许接收不同类型的值:


function MyRunnable(){
this.run = function(){
}
}
function Runnable(){
this.run = function(){
}
}
var ss = new MyRunnable();
ss.run(); // 只要对象有相同方法签名的方法即可
ss = new Runnable();
ss.run();

更具体地描述,Java的强类型特性体现为:变量仅允许接收相同类型或子类型的值。 嗯(黑人问号脸)?和你的理解一致吗?请看下面代码,哪一行是有问题的:


注意,请读者假设 1 ~ 4 号代码是单独运行的

long numL = 1L;
int numI = 0;
numL = numI; // 1
numI = (int)numL; // 2

Integer integer = new Integer(0);
Object obj = new Object();
integer = (Integer) obj; // 3 ClassCastException
obj = integer; // 4

在这里,第 3 句代码会发生运行时异常,结论:



  • 1:调用字节码指令 i2l,将 int 值转换为 long 值。(此时,numL 变量接收的是相同类型的值,命题正确)


  • 2:调用字节码指令 l2i,将 long 值转换为 int 值。(此时,numI 变量接收的是相同类型的值,命题正确)


  • 3:调用字节码指令 checkcast,发现 obj 变量的值不是 Integer 类型,抛出 ClassCastException。(此时,Integer 变量不允许接收 Object 对象,命题正确)


  • 4:integer 变量的值是 obj 变量的子类型,可以接收。(此时,Object 变量允许接收 Integer 对象,命题正确)



用一张图概括一下:






  • 问:什么是静态 / 动态类型语言?

答:静态 / 动态类型语言的区分,关键在于类型检查是否 (倾向于) 编译时执行。例如, Java & C/C++ 是静态类型语言,而 JavaScript 是动态类型语言。需要注意的是,这个定义并不是绝对的,例如 Java 也存在运行时类型检查的方式,例如上面提到的 checkcast 指令本质上是在运行时检查变量的类型与对象的类型是否相同。 那么 Java 是如何在运行时获得类型信息的呢?这就是我们下一节要讨论的问题。




2. 反射的基本概念



  • 问:什么是反射?为什么要使用反射?

答:反射(Reflection)是一种在运行时 动态访问类型信息 的机制。Java 是静态强类型语言,它倾向于在编译时进行类型检查,因此当我们访问一个类时,它必须是编译期已知的,而使用反射机制可以解除这种限制,赋予 Java 语言动态类型的特性。例如:


void func(Object obj) {
try {
Method method = obj.getClass().getMethod("run",null);
method.invoke(obj,null);
}
... 省略 catch
}
func(runnable); 调用 Runnale#run()
func(myRunnable); 调用 MyRunnale#run()


  • 问:Java 运行时类型信息是如何表示的?

所有的类在第一次使用时动态加载到内存中,并构造一个 Class 对象,其中包含了与类有关的所有信息,Class 对象是运行时访问类型信息的入口。需要注意的是,每个类 / 内部类 / 接口都拥有各自的 Class 对象。



  • 问:获取 Class 对象有几种方式,有什么区别?

答:获取 Class 对象是反射的起始步骤,具体来说,分为以下三种方式:



  • 问:为什么反射性能差,怎么优化?

答:主要有以下原因:


性能差原因优化方法
产生大量中间变量缓存元数据对象
增加了检查可见性操作调用Method#setAccessible(true),减少不必要的检查
Inflation 机制会生成字节码,而这段字节码没有经过优化/
缺少编译器优化,普通调用有一系列优化手段,例如方法内联,而反射调用无法应用此优化/
增加了装箱拆箱操作,反射调用需要构建包装类/


3. 反射调用的 Inflation 机制


反射调用是反射的一个较为常用的场景,这里我们来分析下反射调用的源码。反射调用需要使用Method#invoke(...),源码如下:


Method.java


public Object invoke(Object obj, Object... args) {
MethodAccessor ma = methodAccessor;
if (ma == null) {
ma = acquireMethodAccessor();
}
return ma.invoke(obj, args);
}

NativeMethodAccessorImpl.java


class NativeMethodAccessorImpl extends MethodAccessorImpl {
private final Method method;
private DelegatingMethodAccessorImpl parent;
private int numInvocations;

NativeMethodAccessorImpl(Method var1) {
this.method = var1;
}

public Object invoke(Object var1, Object[] var2) {
1. 检查调用次数是否超过阈值
if (++this.numInvocations > ReflectionFactory.inflationThreshold() && !ReflectUtil.isVMAnonymousClass(this.method.getDeclaringClass())) {
2. ASM 生成新类
MethodAccessorImpl var3 = (MethodAccessorImpl)(new MethodAccessorGenerator()).generateMethod(this.method.getDeclaringClass(), this.method.getName(), this.method.getParameterTypes(), this.method.getReturnType(), this.method.getExceptionTypes(), this.method.getModifiers());
3. 设置为代理
this.parent.setDelegate(var3);
}
4. 调用 native 方法
return invoke0(this.method, var1, var2);
}

void setParent(DelegatingMethodAccessorImpl var1) {
this.parent = var1;
}

private static native Object invoke0(Method var0, Object var1, Object[] var2);
}

ReflectionFactory.java


public class ReflectionFactory {

private static int inflationThreshold = 15;

static int inflationThreshold() {
return inflationThreshold;
}
}

可以看到,反射调用最终会委派给 NativeMethodAccessorImpl ,要点如下:



  • 当反射调用执行次数较少时,直接通过 native 方法调用;
  • 当反射调用执行次数较多时,则通过 ASM 字节码生成技术生成新的类,以后的反射调用委派给新生成的类来处理。


提示: 为什么不一开始就生成新类呢?因为生成字节码的时间成本高于执行一次 native 方法的时间成本,所以在反射调用执行次数较少时,就直接调用 native 方法了。





4. 反射的应用场景


4.1 类型判断



4.2 创建对象



  • 1、使用 Class.newInstance(),适用于类拥有无参构造方法

Class classType = Class.forName("java.lang.String");
String str= (String) classType.newInstance();


  • 2、Constructor.newInstance(),适用于使用带参数的构造方法

Class classType = Class.forName("java.lang.String");
Constructor constructor = classType.getConstructor(new Class[]{String.class});
constructor.setAccessible(true);
String employee3 = (String) constructor.newInstance(new Object[]{"123"});

4.3 创建数组


创建数组需要元素的 Class 对象作为 ComponentType:



  • 1、创建一维数组

Class classType = Class.forName("java.lang.String");
String[] array = (String[]) Array.newInstance(classType, 5); 长度为5
Array.set(array, 3, "abc"); 设置元素
String string = (String) Array.get(array,3); 读取元素


  • 2、创建多维数组

Class[] dimens = {3, 3};
Class[][] array = (Class[][]) Array.newInstance(int.class, dimens);

4.3 访问字段、方法


Editting...


4.4 获取泛型信息


我们知道,编译期会进行类型擦除,Code 属性中的类型信息会被擦除,但是在类常量池属性(Signature属性、LocalVariableTypeTable属性)中还保留着泛型信息,因此我们可以通过反射来获取这部分信息。在这篇文章里,我们详细讨论:《Java | 关于泛型能问的都在这里了(含Kotlin)》,请关注!


4.5 获取运行时注解信息


注解是一种添加到声明上的元数据,而RUNTIME注解在类加载后会保存在 Class 对象,可以反射获取。在这篇文章里,我们详细讨论:《Java | 这是一篇全面的注解使用攻略(含 Kotlin)》,请关注!






作者:彭丑丑
链接:https://juejin.cn/post/6889833658669072397
来源:掘金
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

0 个评论

要回复文章请先登录注册