一個簡單的例子教會您使用javap

javap是JDK自帶的工具：

這篇文章使用下面這段簡單的Java代碼做爲例子進行講解。

class Outer {
	Nested nested;
	Nested getNested() {
		return nested;
	}
}
class Nested {
	Inner inner;
	Inner getInner() {
		return inner;
	}
}
class Inner {
	String foo;
	String getFoo() {
		return foo;
	}
}
public class NullableTest {
	public static Outer getInitializedOuter(){
		Outer outer = new Outer();
		outer.nested = new Nested();
		outer.nested.inner = new Inner();
		outer.nested.inner.foo = "Jerry";
		return outer;
	}
	/* null pointer exception
private static void way0(){
Outer outer = new Outer();
System.out.println(outer.nested.inner.foo);
}*/
	public static void way1(){
		Outer outer = getInitializedOuter();
		if (outer != null && outer.nested != null && outer.nested.inner != null) {
			System.out.println(outer.nested.inner.foo);
		}
	}
	public static void main(String[] args) {
		//way0();
		way1();
	}
}

使用下面的命令行對NullableTest進行反編譯，以java編譯器生成的字節碼：

javap -v NullableTest >c:\code\1.txt

查看方法way1()對應的字節碼：

下面這個wiki包含了java字節碼裏每一個指令的具體說明：

https://en.wikipedia.org/wiki/Java_bytecode_instruction_listings

下面對NullableTest反編譯獲得的字節碼作一些說明：

0: invokestatic #42 // Method getInitializedOuter:()Ljava8/Outer;

表明靜態方法getInitializedOuter的調用, Ljava8/Outer意思是該方法的返回類型是Outer

3: astore_0

將上述靜態方法調用返回的outer引用存儲到局部變量中，局部變量的id爲0.

4: aload_0

由於在我前面的Java源代碼中，我將靜態方法返回的對象引用同null作了比較，所以使用指令aload_0將存儲在代號爲0的局部變量中的對象引用從新加載到棧上，此後才能和null作比較。

5: ifnull 41

這就是我在Java源代碼裏書寫的IF分支。若是IF分支裏檢測的outer引用爲null，則直接返回了。體如今字節碼就是，若是ifnull爲true，則跳轉到第41行字節碼，即直接返回。

若是ifnull不爲true，則繼續執行下去。又將outer引用加載到棧上。

從字節碼的分析能夠觀察到一個有趣的現象，再次看看咱們的IF語句。

Java編譯時，編譯器實際將其轉換成了下面的寫法：

if (outer == null )

return;

if( outer.nested == null )

return;

if( outer.nested.inner == null)

return;

System.out.println(outer.nested.inner.foo);

這個事實能夠經過下圖獲得確認。

javap生成的字節碼裏的LineNumberTable也頗有用。這張表裏每行的line後面的數字表明Java源代碼的序號，line XX冒號後面的數字表明字節碼裏每行指令的序號。看看下圖中Java源代碼和對應的字節指令在LineNumberTable中的映射關係。

LineNumberTable維護了Java源代碼同字節指令的映射關係，確保了Java代碼調試的順利進行。

要獲取更多Jerry的原創技術文章，請關注公衆號"汪子熙"或者掃描下面二維碼: