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