一個簡單的例子教會您使用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:code1.txt

檢視方法way1()對應的位元組碼：

下面這個wiki包含了java位元組碼裡每個指令的具體說明：

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

下面對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的原創技術文章，請關注公眾號"汪子熙"或者掃描下面二維碼:

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

相關文章