問題描述

我最近在學習JVM，被istore和iload兩條指令困擾了。以下是我查看《Java虛擬機規范》得到的解釋

將一個局部變量加載到操縱棧的指令包括：iload、iload_、lload…

將一個數值從操作數棧存儲到局部變量表的指令包括：istore、istore_、lstore…

下面是我的java代碼

public static int add(int a,int b){int c=0;c=a+b;return c; }

下面是編譯后的字節碼，也加上了我的理解，如果解釋不恰當，謝謝指出

0: iconst_0//常量0壓入操作數棧1: istore_2//彈出操作數棧棧頂元素，保存到局部變量表第2個位置2: iload_0 //第0個變量壓入操作數棧3: iload_1 //第1個變量壓入操作數棧4: iadd //操作數棧中的前兩個int相加，并將結果壓入操作數棧頂5: istore_2//彈出操作數棧棧頂元素，保存到局部變量表第2個位置6: iload_2 //加載局部變量表的第2個變量到操作數棧頂7: ireturn //返回

從上面字節碼的分析看，指令4已經將計算結果壓入到操作數棧了，而指令6又是把結果壓入到操作數棧，這不是重復工作嗎。如果存入操作數棧的意義是為了可以store到局部變量表中，那第6步又為什么要load到操作數棧上。不知道，是不是我哪步理解錯了，謝謝指點。

問題解答

如果把代碼換成

public static int add(int a,int b){int c=0;return a+b; }

那么指令對應就是：

0: iconst_0 1: istore_2 2: iload_0 3: iload_1 4: iadd 5: ireturn

編譯器就是按照代碼來生成的，如果直接 return a + b，那么也不會多出來第五步和第六步。

樓上正解，其實結合代碼看下就可以很明白的看出原因了。

首先這個方法是靜態方法，所以局部變量數組【0】【1】【2】對應的變量分別為a、b、c;

0: iconst_0//常量0入棧1: istore_2//將棧頂出棧，即c=0;2: iload_0 //復制a變量的值入棧3: iload_1 //復制b變量的值入棧4: iadd //將棧頂兩個元素出棧，做加法，然后把結果再入棧（即a,b出棧，將a+b入棧）5: istore_2//棧頂元素出棧，即c=和; 此時棧為空6: iload_2 //將c賦值壓入棧7: ireturn //返回棧頂元素回答3：

一個小錯誤，局部變量表的index是從0開始的。

編譯器生成的字節碼完全是按照方法中的語義生成的，沒有太多優化。

iadd指令對應的a+b中加法操作，下一步的istore_2對應的就是c=的賦值操作，也就是保存到局部變量表，后面的iload_2對應的就是return中取c的值。