java super.start,java – 在字节码中确定哪里是super()方法调用所有构造函数必须在JVM上执行...

实际上,字节码构造函数的规则比Java的规则要宽松得多.

唯一的规则是必须在任何正常返回的路径上调用一个构造函数,如果构造函数调用抛出异常,那么您也必须抛出异常.

除此之外,这意味着构造函数可能包含对其他构造函数的多个调用,或者根本不包含任何构造函数.

无论如何,确定给定的invokespecial调用是否正在初始化当前对象的唯一保证方法是进行数据流分析,因为可以初始化同一类的其他对象,这会混淆一个天真的检测器.

编辑：这是一个完全有效的类(使用Krakatau汇编语法)的示例,显示了您可能遇到的一些问题.除此之外,它还调用同一个类中的其他构造函数,构造函数的递归调用,以及在构造函数中构造同一个类的其他对象.

.class public ctors

.super java/lang/Object

; A normal constructor

.method public : ()V

.limit locals 1

.limit stack 1

aload_0

invokespecial java/lang/Object ()V

return

.end method

; A weird constructor

.method public : (I)V

.limit locals 2

.limit stack 5

iload_1

ifne LREST

aload_0

invokespecial ctors ()V

return

LREST:

aload_0

new ctors

iinc 1 -1

iload_1

LFAKE_START:

invokespecial ctors (I)V

LFAKE_END:

iconst_0

invokespecial ctors (I)V

return

.catch [0] from LFAKE_START to LFAKE_END using LCATCH

LCATCH:

aload_0

invokespecial java/lang/Object ()V

return

.end method

.method public static main : ([Ljava/lang/String;)V

.limit locals 1

.limit stack 2

new ctors

iconst_5

invokespecial ctors (I)V

return

.end method