問題描述

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

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

將一個(gè)數(shù)值從操作數(shù)棧存儲(chǔ)到局部變量表的指令包括：istore、istore_、lstore…

下面是我的java代碼

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

下面是編譯后的字節(jié)碼，也加上了我的理解，如果解釋不恰當(dāng)，謝謝指出

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

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

問題解答

如果把代碼換成

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

那么指令對(duì)應(yīng)就是：

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

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

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

首先這個(gè)方法是靜態(tài)方法，所以局部變量數(shù)組【0】【1】【2】對(duì)應(yīng)的變量分別為a、b、c;

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

一個(gè)小錯(cuò)誤，局部變量表的index是從0開始的。

編譯器生成的字節(jié)碼完全是按照方法中的語義生成的，沒有太多優(yōu)化。

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