一、问题重现
代码很简单,a是包装类型Integer,初始值是null,b通过三元表达式进行赋值。运行一下这个代码就会出现空指针异常:
为什么会出现这个现象呢?下面我们来分析一下:
二、问题分析
刚刚这个空指针现象很容易我们就想到类型转化上,三元表达式的类型转换同样要遵守一定的规则才可以。
1、三元操作符类型的转换规则:
(1)若两个操作数不可转换,则不做转换,返回值为Object类型
比如Object b = flag ? A : B,此时A和B是两个不同的对象,不可转换,那就把最终结果赋值给Object
(2)若两个操作数是明确类型的表达式(比如变量),则按照正常的二进制数字来转换,int类型转换为long类型,long类型转换为float类型等。
这个就比较容易理解了,比如float b = flag ? 1:1.0f。1为int类型向上转即可。
(3)若两个操作数中有一个是数字S,另外一个是表达式,且其类型标示为T,那么,若数字S在T的范围内,则转换为T类型;若S超出了T类型的范围,则T转换为S类型。
这种情况就是刚刚我们所演示的例子,Integer b = flag ? 1 *2: a,结果是b=a,但是a是null,要强制转换成Integer(1 * 2的类型),于是就出现了空指针。
(4)若两个操作数都是直接量数字,则返回值类型为范围较大者。
这种情况和第二种类似。
现在答案基本上出来了,出现空指针的原因是,a=null,要强制转换Integer,于是出现了空指针,因为虚拟机看到一个null就找不到要转化的对象了。
2、反编译分析
现在我们找到Test的字节码文件,输入javap -c命令,反编译一下:
答案现在应该清楚了,
3、为什么要拆箱(重点)
为什么要对a进行拆箱,直接把a=null赋值给b不就完事了嘛。这一点就需要我们注意一下那个前提条件,也就是说一个是数字,一个是表达式,刚刚的那个例子也验证了这个观点,现在我不是表达式,再来验证一下:
现在我们可以看到不是表达式,依然会出现这个错误。别着急,还有让你更晕的,我们再来改变一下代码:
我测试了很多不同的案例,基本上就分为这两种情况。原因如下:
条件表达式?表达式 1 :表达式 2,假设结果是表达式2
(1)表达式1和2都为null,表达式2看到1是null,则不会进行拆箱。
(2)表达式1为数字或者是表达式,表达式2根据1的类型进行拆箱。
也就是说表达式2主要依据表达式1判断是否进行拆箱操作。
三、问题解决
解决方案很简单,那就是只要遇见null在三元表达式里,就尽量转化为if结构。