Java字节码DUP

Question

我想知道为什么下面的字节码(用于抛出异常)中的异常是重复的。

NEW java/lang/IllegalArgumentException
DUP
INVOKESPECIAL java/lang/IllegalArgumentException <init> ()V
ATHROW

Answer 1

我将逐行分析这段代码，其中[] =使用该操作后的新堆栈：

init SomeIllegalArgumentException

• DUP将一个新的方法放到堆栈上复制它，SomeIllegalArgumentException

• INVOKESPECIAL弹出顶部的方法并通过调用它的方法SomeIllegalArgumentException对其进行初始化(init方法不会返回要放回堆栈的对象，因此必须首先复制该对象以便将其保留在堆栈上)

• SomeIllegalArgumentException抛出另一个(与我们初始化的方法相同) []

Answer 2

在字节码中，对象首先由类创建，然后在该对象上调用构造函数。构造函数的签名以void的V结尾，因为它返回任何内容。这意味着对象的原始引用的副本必须保留在堆栈上(或在变量中)，以便可以在调用构造函数后抛出。

顺便说一下，构造函数的内部名称是<init>，静态初始化器代码的内部名称是<clinit>