JVM之方法返回地址詳解
更新時間：2022年02月28日 15:02:28 作者：_曉__
這篇文章主要介紹了JVM之方法返回地址詳解，具有很好的參考價值，希望對大家有所幫助。如有錯誤或未考慮完全的地方，望不吝賜教
JVM之方法返回地址
JVM運行時數(shù)據(jù)區(qū)的虛擬機棧的棧幀中包含了返回地址
當一個方法開始執(zhí)行后，只有兩種方式可以退出這個方法。
- 第一種方式是執(zhí)行引擎遇到任意一個方法返回的字節(jié)碼指令（例如：areturn），這時候可能會有返回值傳遞給上層的方法調(diào)用者（調(diào)用當前方法的方法稱為調(diào)用者），是否有返回值和返回值的類型將根據(jù)遇到何種方法返回指令來決定，這種退出方法的方式稱為正常完成出口（Normal Method Invocation Completion）。
- 另外一種退出方式是，在方法執(zhí)行過程中遇到了異常，并且這個異常沒有在方法體內(nèi)得到處理，無論是Java虛擬機內(nèi)部產(chǎn)生的異常，還是代碼中使用 athrow 字節(jié)碼指令產(chǎn)生的異常，只要在本方法的異常處理器表中沒有搜索到匹配的異常處理器，就會導致方法退出，這種退出方法的方式稱為異常完成出口（Abrupt Method Invocation Completion）。一個方法使用異常完成出口的方式退出，是不會給它的上層調(diào)用者產(chǎn)生任何返回值的。
- 無論采用何種退出方式，在方法退出之后，都需要返回到方法被調(diào)用的位置，程序才能繼續(xù)執(zhí)行，方法返回時可能需要在棧幀中保存一些信息，用來幫助恢復它的上層方法的執(zhí)行狀態(tài)。
一般來說，方法正常退出時，調(diào)用者的程序計數(shù)器的值可以作為返回地址，棧幀中很可能會保存這個計數(shù)器值。而方法異常退出時，返回地址是要通過異常處理器表來確定的，棧幀中一般不會保存這部分信息。
方法退出的過程實際上就等同于把當前棧幀出棧，因此退出時可能執(zhí)行的操作有：恢復上層方法的局部變量表和操作數(shù)棧，把返回值（如果有的話）壓入調(diào)用者棧幀的操作數(shù)棧中，調(diào)整程序計數(shù)器的值以指向方法調(diào)用指令后面的一條指令等。
小結(jié)一下
虛擬機會使用針對每種返回類型的操作來返回，返回值將從操作數(shù)棧出棧并且入棧到調(diào)用方法的方法棧幀中，當前棧幀出棧，被調(diào)用方法的棧幀變成當前棧幀，程序計數(shù)器將重置為調(diào)用這個方法的指令的下一條指令。
方法返回地址以及棧幀中的附加信息
方法返回地址
1 點睛
存放調(diào)用該方法的 pc 寄存器的值。
一個方法的結(jié)束，有兩種方式。
- 正常執(zhí)行完成。
- 出現(xiàn)未處理的異常，非正常退出。
無論通過哪種方式退出，在方法退出后都返回到該方法被調(diào)用的位置。方法正常退出時，調(diào)用者的pc計數(shù)器的值作為返回地址，即調(diào)用該方法的指令的下一條指令的地址。而通過異常退出的，返回地址是要通過異常表來確定，棧幀中一般不會保存這部分信息。
當一個方法開始執(zhí)行后，只有兩種方式可以退出這個方法。
a 執(zhí)行引擎遇到任意一個方法返回的字節(jié)碼指令（return），會有返回值傳遞給上層的方法調(diào)用者，簡稱正常完成出口。
- 一個方法在正常調(diào)用完成之后，究竟需要使用哪一個返回指令，還需要根據(jù)方法返回值的實際數(shù)據(jù)類型而定。
- 在字節(jié)碼指令中，返回指令包含ireturn（當返回值是boolean，byte，char，short和int類型時使用），lreturn（Long類型），freturn（Float類型），dreturn（Double類型），areturn。另外還有一個return指令聲明為void的方法，實例初始化方法，類和接口的初始化方法使用。
b 在方法執(zhí)行過程中遇到異常（Exception），并且這個異常沒有在方法內(nèi)進行處理，也就是只要在本方法的異常表中沒有搜索到匹配的異常處理器，就會導致方法退出，簡稱異常完成出口。
方法執(zhí)行過程中，拋出異常時的異常處理，存儲在一個異常處理表，方便在發(fā)生異常的時候找到處理異常的代碼
2 看代碼吧
import java.io.FileReader;
import java.io.IOException;
import java.util.Date;
/**
* 返回指令包含ireturn（當返回值是 boolean、byte、char、short和int類型時使用）、
* lreturn、freturn、dreturn以及areturn，
* 另外還有一個return指令供聲明為void的方法、
* 實例初始化方法、類和接口的初始化方法使用。
*/
public class ReturnAddressTest {
public boolean methodBoolean() {
return false;
}
public byte methodByte() {
return 0;
}
public short methodShort() {
return 0;
}
public char methodChar() {
return 'a';
}
public int methodInt() {
return 0;
}
public long methodLong() {
return 0L;
}
public float methodFloat() {
return 0.0f;
}
public double methodDouble() {
return 0.0;
}
public String methodString() {
return null;
}
public Date methodDate() {
return null;
}
public void methodVoid() {
}
static {
int i = 10;
}
public void method2() {
methodVoid();
try {
method1();
} catch (IOException e) {
e.printStackTrace();
}
}
public void method1() throws IOException {
FileReader fis = new FileReader("atguigu.txt");
char[] cBuffer = new char[1024];
int len;
while ((len = fis.read(cBuffer)) != -1) {
String str = new String(cBuffer, 0, len);
System.out.println(str);
}
fis.close();
}
}3 解析后的結(jié)果
public boolean methodBoolean();
descriptor: ()Z
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: iconst_0
1: ireturn
LineNumberTable:
line 15: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public byte methodByte();
descriptor: ()B
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: iconst_0
1: ireturn
LineNumberTable:
line 19: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public short methodShort();
descriptor: ()S
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: iconst_0
1: ireturn
LineNumberTable:
line 23: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public char methodChar();
descriptor: ()C
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: bipush 97
2: ireturn
LineNumberTable:
line 27: 0
LocalVariableTable:
Start Length Slot Name Signature
0 3 0 this Lcom/atguigu/java3/ReturnAddressTest;
public int methodInt();
descriptor: ()I
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: iconst_0
1: ireturn
LineNumberTable:
line 31: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public long methodLong();
descriptor: ()J
flags: ACC_PUBLIC
Code:
stack=2, locals=1, args_size=1
0: lconst_0
1: lreturn
LineNumberTable:
line 35: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public float methodFloat();
descriptor: ()F
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: fconst_0
1: freturn
LineNumberTable:
line 39: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public double methodDouble();
descriptor: ()D
flags: ACC_PUBLIC
Code:
stack=2, locals=1, args_size=1
0: dconst_0
1: dreturn
LineNumberTable:
line 43: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public java.lang.String methodString();
descriptor: ()Ljava/lang/String;
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: aconst_null
1: areturn
LineNumberTable:
line 47: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public java.util.Date methodDate();
descriptor: ()Ljava/util/Date;
flags: ACC_PUBLIC
Code:
stack=1, locals=1, args_size=1
0: aconst_null
1: areturn
LineNumberTable:
line 51: 0
LocalVariableTable:
Start Length Slot Name Signature
0 2 0 this Lcom/atguigu/java3/ReturnAddressTest;
public void methodVoid();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=0, locals=1, args_size=1
0: return
LineNumberTable:
line 56: 0
LocalVariableTable:
Start Length Slot Name Signature
0 1 0 this Lcom/atguigu/java3/ReturnAddressTest;
public void method2();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=1, locals=2, args_size=1
0: aload_0
1: invokevirtual #2 // Method methodVoid:()V
4: aload_0
5: invokevirtual #3 // Method method1:()V
8: goto 16
11: astore_1
12: aload_1
13: invokevirtual #5 // Method java/io/IOException.printStackTrace:()V
16: return
Exception table:
from to target type
4 8 11 Class java/io/IOException
LineNumberTable:
line 63: 0
line 65: 4
line 68: 8
line 66: 11
line 67: 12
line 69: 16
LocalVariableTable:
Start Length Slot Name Signature
12 4 1 e Ljava/io/IOException;
0 17 0 this Lcom/atguigu/java3/ReturnAddressTest;
StackMapTable: number_of_entries = 2
frame_type = 75 /* same_locals_1_stack_item */
stack = [ class java/io/IOException ]
frame_type = 4 /* same */
public void method1() throws java.io.IOException;
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=5, locals=5, args_size=1
0: new #6 // class java/io/FileReader
3: dup
4: ldc #7 // String atguigu.txt
6: invokespecial #8 // Method java/io/FileReader."<init>":(Ljava/lang/String;)V
9: astore_1
10: sipush 1024
13: newarray char
15: astore_2
16: aload_1
17: aload_2
18: invokevirtual #9 // Method java/io/FileReader.read:([C)I
21: dup
22: istore_3
23: iconst_m1
24: if_icmpeq 50
27: new #10 // class java/lang/String
30: dup
31: aload_2
32: iconst_0
33: iload_3
34: invokespecial #11 // Method java/lang/String."<init>":([CII)V
37: astore 4
39: getstatic #12 // Field java/lang/System.out:Ljava/io/PrintStream;
42: aload 4
44: invokevirtual #13 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
47: goto 16
50: aload_1
51: invokevirtual #14 // Method java/io/FileReader.close:()V
54: return
LineNumberTable:
line 72: 0
line 73: 10
line 75: 16
line 76: 27
line 77: 39
line 78: 47
line 79: 50
line 80: 54
LocalVariableTable:
Start Length Slot Name Signature
39 8 4 str Ljava/lang/String;
0 55 0 this Lcom/atguigu/java3/ReturnAddressTest;
10 45 1 fis Ljava/io/FileReader;
16 39 2 cBuffer [C
23 32 3 len I
StackMapTable: number_of_entries = 2
frame_type = 253 /* append */
offset_delta = 16
locals = [ class java/io/FileReader, class "[C" ]
frame_type = 252 /* append */
offset_delta = 33
locals = [ int ]
Exceptions:
throws java.io.IOException
static {};
descriptor: ()V
flags: ACC_STATIC
Code:
stack=1, locals=1, args_size=0
0: bipush 10
2: istore_0
3: return
LineNumberTable:
line 59: 0
line 60: 3
LocalVariableTable:
Start Length Slot Name Signature
}說明
可以觀察一下各種方法的 return 字節(jié)碼指令到底是什么。
體會一下異常表。
Exception table:
from to target type
4 8 11 Class java/io/IOException
本質(zhì)上，方法的退出就是當前棧幀出棧的過程。此時，需要恢復上層方法的局部變量表、操作數(shù)棧、將返回值壓入調(diào)用者棧幀的操作數(shù)棧、設(shè)置PC寄存器值等，讓調(diào)用者方法繼續(xù)執(zhí)行下去。
正常完成出口和異常完成出口的區(qū)別在于：通過異常完成出口退出的不會給他的上層調(diào)用者產(chǎn)生任何的返回值。
一些附加信息
棧幀中還允許攜帶與 Java 虛擬機實現(xiàn)相關(guān)的一些附加信息。例如：對程序調(diào)試提供支持的信息。
以上為個人經(jīng)驗，希望能給大家一個參考，也希望大家多多支持腳本之家。
您可能感興趣的文章:
相關(guān)文章
在使用Lombok時,可能會遇到實體類中的@Data注解不生效,導致get方法找不到的問題,解決這一問題通常需要三個步驟：首先,檢查項目設(shè)置中編譯規(guī)則是否勾選；其次,確認IDE中是否安裝了Lombok插件2024-10-10
這篇文章主要介紹了Spring中@Configuration注解的使用場景,@Configuration注解是從Spring?3.0版本開始加入的一個使Spring能夠支持注解驅(qū)動開發(fā)的標注型注解,主要用于標注在類上,需要的朋友可以參考下2023-11-11
idea創(chuàng)建JAVA Class時自動生成頭部文檔注釋的方法
這篇文章主要介紹了idea創(chuàng)建JAVA Class時自動生成頭部文檔注釋的方法,本文通過圖文并茂的形式給大家介紹的非常詳細，對大家的學習或工作具有一定的參考借鑒價值，需要的朋友可以參考下2020-12-12
Java使用ProcessBuilder?API優(yōu)化流程
Java?的?Process?API?為開發(fā)者提供了執(zhí)行操作系統(tǒng)命令的強大功能，這篇文章將詳細介紹如何使用?ProcessBuilder?API?來方便的操作系統(tǒng)命令，需要的可以收藏一下2023-06-06
SpringBoot yaml語法與數(shù)據(jù)讀取操作詳解
YAML 是 “YAML Ain’t Markup Language”（YAML 不是一種標記語言）的遞歸縮寫。在開發(fā)的這種語言時，YAML 的意思其實是：“Yet Another Markup Language”（仍是一種標記語言），本文給大家介紹的非常詳細，需要的朋友可以參考下2022-07-07
Java通過匿名類來實現(xiàn)回調(diào)函數(shù)實例總結(jié)
這篇文章主要介紹了Java通過匿名類來實現(xiàn)回調(diào)函數(shù)的例子，回調(diào)函數(shù)就是一種函數(shù)簽名（若干個輸入?yún)?shù)、一個輸出參數(shù)）的規(guī)范，java雖不存在函數(shù)聲明，但是java可以用接口來強制規(guī)范。具體操作步驟大家可查看下文的詳細講解，感興趣的小伙伴們可以參考一下。2017-08-08
webuploader在springMVC+jquery+Java開發(fā)環(huán)境下的大文件分片上傳的實例代碼
這篇文章主要介紹了webuploader在springMVC+jquery+Java開發(fā)環(huán)境下的大文件分片上傳的實例代碼,需要的朋友可以參考下2017-04-04
這篇文章主要介紹了Java實現(xiàn)在不同線程中運行的代碼,結(jié)合具體實例形式分析了java多線程操作的相關(guān)實現(xiàn)技巧,需要的朋友可以參考下2017-04-04
SpringBoot使用JTA實現(xiàn)對多數(shù)據(jù)源的事務(wù)管理
了解事務(wù)的都知道,在我們?nèi)粘ｉ_發(fā)中單單靠事務(wù)管理就可以解決絕大多數(shù)問題了,但是為啥還要提出JTA這個玩意呢,到底JTA是什么呢？他又是具體來解決啥問題的呢？本文小編就給大家介紹一下如何在Spring Boot中使用JTA實現(xiàn)對多數(shù)據(jù)源的事務(wù)管理2023-11-11
這篇文章主要為大家詳細介紹了Java基于BIO實現(xiàn)文件上傳功能，文中示例代碼介紹的非常詳細，具有一定的參考價值，感興趣的小伙伴們可以參考一下2021-11-11