背景
我接手维护的一个项目,在部署新的环境时,突然报空指针。经过排查代码发现这个坑是在三目运算符与自动拆装箱 这一块。
第一眼看代码,初步分析: detectInfo 如果为null, 0f 会自动装箱赋值给score , 如果不为null ,detectInfo .getScore() 的值赋值给score。即使为null ,score 是引用类型null 是可以直接赋的。为什么会报空指针呢?
带着疑问,写了一个测试类
运行结果确实报出了空指针异常。
既然出错了,就好好分析一下这段代码。
代码执行是由顺序的。这段代码可以分一下三步。
分析:
第一步:判断number == null
第二步:根据第一步的结果返回对应的值。如果true 返回0f ,反之 number.getScore();
第三步:将第二步的结果赋值给 f 对象。
分析:
- 第一步就是单一的判断不会有问题。
- 第三步,单一赋值也不会有问题。那这个问题就是第二步。
在分析第二步:0f 和number.getScore() 。0f 基本类型。 number.getScore() 的值为Float 对象。
因为第二步的值会赋值给第三步,所以第二步结果要么是基本类型,要么是引用类型。因为0f是基本类型。数字基本类型转化引用类型,在赋值的情况下才会自动装箱为引用类型的。所以第二步的结果值为基本类型。所以 number.getScore() 的值会自动拆装为基本类型。然后在自动装箱赋值为 f,也就是说 number.getScore() 最终是 number.getScore().floatValue(); 也就是 Float f = number == null ? 0f : number.getScore().floatValue();
因为number 是new 出来的 所以 走的是number.getScore().floatValue(); number 对象中的score是没有赋值,默认为null,所以.floatValue()方法是会报空指针。问题找到了。
验证
如果将0f 转换为new Float(0f) 时,是不是就不会报错
验证成功。