1. 前言
在刚开始学习Java的时候,大家肯定都接触过this
关键字,尤其是在构造函数赋值的时候,如下示例:
public class Person {
private String name;
private int age;
public Person(String name, int age) {
// 必须加this关键字,否则无法完成成员变量的赋值
this.name = name;
this.age = age;
}
}
在构造函数中,如果成员变量名称和参数名称相同时,必须加this
关键字,否则你只是将参数name赋值给它本身,并没有赋值给Person.name
,因为局部变量的优先级高于成员变量。一旦加上this
关键字,由于this
指向的是当前实例,就可以完成对象的成员变量赋值。
那为什么可以通过this
关键字访问到当前对象呢?
2. 栈帧
要弄清这个问题,首先要了解JVM在执行方法时,方法栈的栈帧结构。
Java虚拟机以【方法】作为最基本的运行单元,【栈帧】就是用于支持JVM进行方法调用背后的数据结构,它也是JVM运行时数据区中【虚拟机栈】中的栈元素。
简单点说,方法的执行过程可看作是一个个栈帧从入栈到出栈的过程。
栈帧中存储了方法的:局部变量表、操作数栈、动态连接和方法返回地址等信息。javac
程序将源码编译成字节码后,一个方法的栈帧需要多大的局部变量表,多深的操作数栈就已经被计算出来,并且写入到方法表的【Code】属性中了,这一切和程序运行时无关。
换言之,一个方法它有多少个局部变量,在编译时就已经确定,不会随着程序的运行而改变。今天我们要探究的【this】问题,就在方法栈的局部变量表中。
3. 分析
我们仍然用javap
命令来分析编译后的Class文件,这是最有说服力的。
public class Person {
public void say() {
}
public static void staticSay() {
}
}
如上一段代码,分别有一个实例方法和静态方法,我们已经知道,在静态方法中,是无法访问【this】的,但是在实例方法中可以。
先javac Person.java
再javap -verbose Person
,得到的信息有点长,我只贴这两个方法的信息。
public void say();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=0, locals=1, args_size=1
0: return
LineNumberTable:
line 8: 0
public static void staticSay();
descriptor: ()V
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=0, locals=0, args_size=0
0: return
LineNumberTable:
line 12: 0
重点关注【Code】那一栏,say()
有一个局部变量,有一个参数。staticSay()
没有局部变量,也没有参数。
是不是感到很疑惑?say()
方法形参是空的,方法体也是空的,为什么编译后会显示它有一个局部变量和一个形参呢?
其实,对于实例方法而言,它至少有一个参数和一个局部变量,那就是当前对象。JVM在调用对象的实例方法时,会将对象本身的引用作为第0号参数传递过去,这样你就可以通过this
关键字访问到对象本身了,其实也就是访问第0个参数而已。
如下,这两个方法其实是等价的。
public void say(Person this, String text) {
System.out.println(text);
}
public void say(String text) {
System.out.println(text);
}
4. 总结
Java虚拟机在执行方法时,会将方法打包成一个【栈帧】,栈帧中有【局部变量表】,参数也是局部变量表的一部分,一个方法的局部变量表有多大在编译时就已经确定,不会随着程序的运行而改变。 对于实例方法而言,在编译时会自动加上一个隐藏的0号参数,就是当前类。JVM在调用对象的实例方法时,会自动将对象引用作为第0号参数传递过去,访问【this】其实就是访问第0号参数。
作者:程序员小潘
链接:https://juejin.cn/post/6988322694525616165
来源:掘金
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。