手记

Java中为什么[this]可以调用当前实例?

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.javajavap -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
来源:掘金
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。


0人推荐
随时随地看视频
慕课网APP