Bug分析之異常變量堆棧資訊

異常是一種特殊的類，在建立異常時會儲存建立時的方法調用堆棧鏡像。即，為了保留異常出現時的實時堆棧資訊，不應複用異常，每個異常均需單獨new方式生成。

下面示範一段有問題的代碼并進行分析

1．問題代碼

a）自定義異常定義

package demo.bce;
 
public class MyException extends RuntimeException {
 
    private static final long serialVersionUID = -3802919537257556719L;
 
    private String id;
 
    public MyException(String id) {
       super();
       this.id = id;
    }
 
    public String getId() {
       return id;
    }
 
    public void setId(String id) {
       this.id = id;
    }
 
    @SuppressWarnings("unused")
    private MyException() {
    }
 
}
           

b）自定義異常常量

package demo.bce;
 
public final class MyExceptionContext {
 
    // x1,x2,y1,y2的Throw相關堆棧資訊在建立時一次性生成(不再變化)
    // 即使用此異常會得到錯誤的堆棧描述資訊
    public static final MyException x1 = new MyException("X1");
    public static final MyException x2 = new MyException("X2");
 
}
           

c）測試代碼

 package demo.bce;

public class MyMain {
 
    public static void main(String[] args) {
       testx();
    }
 
    // ///
 
    private static void testx() {
       try {
           x11();
       } catch (Exception e) {
           e.printStackTrace();
       }
       try {
           x12();
       } catch (Exception e) {
           e.printStackTrace();
       }
       try {
           x21();
       } catch (Exception e) {
           e.printStackTrace();
       }
       try {
           x22();
       } catch (Exception e) {
           e.printStackTrace();
       }
    }
 
    private static void x11() {
       throw MyExceptionContext.x1;
    }
 
    private static void x12() {
       throw MyExceptionContext.x2;
    }
 
    private static void x21() {
       throw MyExceptionContext.x1;
    }
 
    private static void x22() {
       throw MyExceptionContext.x2;
    }
 
}
           

d）測試結果

demo.bce.MyException

    at demo.bce.MyExceptionContext.<clinit>(MyExceptionContext.java:7)

    at demo.bce.MyMain.x11(MyMain.java:36)

    at demo.bce.MyMain.testx(MyMain.java:14)

    at demo.bce.MyMain.main(MyMain.java:7)

demo.bce.MyException

    at demo.bce.MyExceptionContext.<clinit>(MyExceptionContext.java:8)

    at demo.bce.MyMain.x11(MyMain.java:36)

    at demo.bce.MyMain.testx(MyMain.java:14)

    at demo.bce.MyMain.main(MyMain.java:7)

demo.bce.MyException

    at demo.bce.MyExceptionContext.<clinit>(MyExceptionContext.java:7)

    at demo.bce.MyMain.x11(MyMain.java:36)

    at demo.bce.MyMain.testx(MyMain.java:14)

    at demo.bce.MyMain.main(MyMain.java:7)

demo.bce.MyException

    at demo.bce.MyExceptionContext.<clinit>(MyExceptionContext.java:8)

    at demo.bce.MyMain.x11(MyMain.java:36)

    at demo.bce.MyMain.testx(MyMain.java:14)

    at demo.bce.MyMain.main(MyMain.java:7)

代碼實際上在四個不同的方法中抛出了兩個不同的異常，但抛到四個異常的堆棧資訊居然完全一緻。

另外，x11和x21雖然抛同一個異常，但x11的異常無stackTrace，x21的異常有stackTrace資訊。

2．代碼分析和猜想

在MyExceptionContext首次被調用時才生成常量異常x1和x2。注意x1和x2是同時生成的，且基本上處于相同的方法調用環境。故x1和x2的方法調用堆棧資訊基本一緻，進而在實際使用時嚴重誤導異常的抛出分析。

另外，通常情況下，異常是需要設定cause的。是以，也不應該嘗試常量異常（cause每次可能不一樣）。

3．簡單總結

使用異常時實時new一個出來傳回以擷取正确方法調用堆棧資訊。