最近修改線上bug的時候排查了一個十分隱藏的bug,直接上代碼:
Integer a = null;boolean flag = true;Integer b = flag ? a : 0;
乍一看是沒什么毛病的,但是已運行就會發現報空指針,在idea里面也會警告可能有空指針,這是什么原因呢?
直接看字節碼:
0: aconst_null1: astore_12: iconst_13: istore_24: iload_25: ifeq 158: aload_19: invokevirtual #2 // Method java/lang/Integer.intValue:()I12: goto 1615: iconst_016: invokestatic #3 // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;19: astore_320: getstatic #4 // Field java/lang/System.out:Ljava/io/PrintStream;23: aload_324: invokevirtual #5 // Method java/io/PrintStream.println:(Ljava/lang/Object;)V27: return
可以看到字節碼中調用了`Integer.valueOf()`
方法,因為我們代碼中一個值使用的是0(基本數據類型int),編譯器就會進行自動拆裝箱(成int),
雖然三目運算的后面邏輯不會執行,但是隱藏的自動拆裝箱會執行`Integer.valueOf()`方法,也就有了空指針異常。
為了進一步驗證存在自動拆裝箱,把代碼修改一下:
Integer a = null;boolean flag = true;Integer b = flag ? a : new Integer(0);
再看字節碼:
0: aconst_null1: astore_12: iconst_13: istore_24: iload_25: ifeq 128: aload_19: goto 2012: new #2 // class java/lang/Integer15: dup16: iconst_017: invokespecial #3 // Method java/lang/Integer."<init>":(I)V20: astore_321: getstatic #4 // Field java/lang/System.out:Ljava/io/PrintStream;24: aload_325: invokevirtual #5 // Method java/io/PrintStream.println:(Ljava/lang/Object;)V
可以看到,由于重新創建了一個`Integer`對象,并沒有基本類型的存在,也就不存在自動拆裝箱,修改過后的代碼也就不會有問題了,但是idea的警告依舊存在。
這是一個非常隱蔽,也非常容易忽略和踩坑的一個地方,三目運算符的使用應該保證后面的值都是常量,或者統一類型,不然就會出現上面的情況。
更甚三目運算符本身提供的作用也不過是為了簡化邏輯,在其中放入過多的邏輯判斷也就違背了其初衷。
總結
以上所述是小編給大家介紹的Java三目運算中隱藏的自動拆裝箱,希望對大家有所幫助,如果大家有任何疑問歡迎給我留言,小編會及時回復大家的!
新聞熱點
疑難解答
圖片精選