java - INVOKESTATIC 操作是否会反转堆栈顺序？

Question

我正在研究 Java 字节码，当时我注意到简单的表达式 Math.max(0,1) 被转换为以下字节码指令。

ICONST_0, 
ICONST_1, 
INVOKESTATIC(java/lang/Math.max)

我的问题是，如果java使用后进先出堆栈，这意味着1现在将位于堆栈上0的前面，这意味着虚拟机必须反转堆栈上项目的顺序。调用 max 指令来获取 1 之前的 0。但是在规范中，它说注意到这一点，我的假设是否正确。

Answer 1

参数堆栈只是一个抽象。当一个操作接受 n 个参数时，前 n 个参数将从堆栈中取出并从下到上使用，正如您所观察到的。这不仅适用于 invokestatic，也适用于每条字节码指令。

例如以下序列

iconst_0图标t_1图标t_2isub

将 0、1 和 2 压入堆栈。 isub 指令弹出顶部两个值 1 和 2，并从下到上使用它们，因此结果为 1-2 = -1。因此，最终结果是一个包含0、-1的堆栈。

如果您对此类细节感兴趣，您应该尝试阅读 JVM 规范。