To keep the stack state valid, bytecode must take the differences between virtual and static methods - and the return type - into account.

• 为了使堆栈状态有效,字节码必须考虑虚方法与静态方法调用的不同和返回值的问题。