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一個出來返回以獲取正確方法調用堆棧信息。