最近修改線上bug的時候排查了一個十分隱藏的bug，直接上代碼：
|
1
2
3
|
integer a = null;boolean flag = true;integer b = flag ? a : 0; |
乍一看是沒什么毛病的，但是已運(yùn)行就會發(fā)現(xiàn)報空指針，在idea里面也會警告可能有空指針，這是什么原因呢？
直接看字節(jié)碼：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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 |
可以看到字節(jié)碼中調(diào)用了`integer.valueof()`方法，因為我們代碼中一個值使用的是0（基本數(shù)據(jù)類型int），編譯器就會進(jìn)行自動拆裝箱（成int），
雖然三目運(yùn)算的后面邏輯不會執(zhí)行，但是隱藏的自動拆裝箱會執(zhí)行`integer.valueof()`方法，也就有了空指針異常。
為了進(jìn)一步驗證存在自動拆裝箱，把代碼修改一下：
|
1
2
3
|
integer a = null;boolean flag = true;integer b = flag ? a : new integer(0); |
再看字節(jié)碼：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
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 |
可以看到，由于重新創(chuàng)建了一個`integer`對象，并沒有基本類型的存在，也就不存在自動拆裝箱，修改過后的代碼也就不會有問題了，但是idea的警告依舊存在。
這是一個非常隱蔽，也非常容易忽略和踩坑的一個地方，三目運(yùn)算符的使用應(yīng)該保證后面的值都是常量，或者統(tǒng)一類型，不然就會出現(xiàn)上面的情況。
更甚三目運(yùn)算符本身提供的作用也不過是為了簡化邏輯，在其中放入過多的邏輯判斷也就違背了其初衷。
總結(jié)
以上所述是小編給大家介紹的java三目運(yùn)算中隱藏的自動拆裝箱，希望對大家有所幫助，如果大家有任何疑問歡迎給我留言，小編會及時回復(fù)大家的！
原文鏈接：https://minei.me/archives/422.html
