三目运算符报空指针，JDK自动拆箱

﹏ヽ暗。殇╰゛Y 2022-07-21 01:15 121阅读 0赞

### 程序中的问题 ###

最近发现了一个很诡异的NullPointerException，在下面这个方法抛出，一开始怎么都没想明白，dClass.getD()即使为null，那直接赋值给d也没问题啊。

class DClass {
    
    	private Double d;
    
    	public Double getD() {
    		return d;
    	}
    
    	public void setD(Double d) {
    		this.d = d;
    	}
    }
    
    public class SanMuYunSuanFuTest {
    
    	@Test
    	public void getParam() {
    		Map<String, Object> map = new HashMap<String, Object>();
    		DClass dClass = new DClass();
    		Double d = map.get("d") == null ? dClass.getD() : 3.0;
    		System.out.println(d);
    	}
    }

后来更改三目运算符的那一行

Double d = map.get("d") == null ? null : 3.0;

结果就不报错了。和同事研究之后才发现这是由Java自动拆箱导致的

### 自动装箱/拆箱 ###

在JDK1.5引入自动装箱/拆箱，提高了我们的开发效率，也让我们的代码变得更加简洁，不用显式转换：

Double dWrap1 = 10d;  
    	double d1 = dWrap1;; 
    	double d2 = d1 + dWrap1;
    	Double dWarp2 = d2 + dWrap1;

实际上，自动装箱/拆箱是通过编译器来支持的，JVM并没有改变。我们反编译能看到上面的源码会变成：

Double dWrap1 = Double.valueOf(10.0d);  
    	double d1 = dWrap1.doubleValue();  
    	double d2 = d1 + dWrap1.doubleValue();  
    	Double dWarp2 = Double.valueOf(d2 + dWrap1.doubleValue());

编译器的意图很明显，帮我们完成基本类型和封装类型的相互转换；另外，对于封装类的运算中，先要转换成基本类型，再进行计算。

但是，这么自动转换，问题就来了，如果我把dWrap1初始化为null，再赋值给d1，相当于把null赋值给了基本类型double。编译的时候是没有问题的，因为编译器还认为是封装类Double类型，会帮我们自动拆箱赋值给d1，只是运行的时候会抛**NullPointerException**，如下:

Double dWarp1 = null;  
        double d1 = dWarp1;

这其实是个很低级的bug，很容易防范，加个非空校验就可以避免。一般原则也是，在使用每个Object之前都要做非空校验，所以我们可以写成以下形式：

Double dWarp1 = null;  
    	double d1 = 0d;
    	if(null != dWarp1) {
    		d1 = dWarp1; 
    	}

### 三目运算符的潜规则 ###

有时候，我们为了代码的简洁性，会引入三目运算符：

double d1 = (null != dWarp1) ? dWarp1 : 0d;

但是，也有比较诡异的情况：根据条件flag判断，如果true则赋值dWarp1，否则设为默认值0，如下。

Double dWarp1 = null;  
    boolean flag =true;  
    Double dWarp2 = (flag) ? dWarp1 : 0.0d;

这乍眼一看，很正常嘛，相当于dWarp2 = dWarp1，但是运行起来却会抛异常**NullPointerException**。

这就是编译器的自动装箱/拆箱转换引起的问题。我们反编译就能看到，原来他对dWarp1做了一层拆箱，这样就出现前面我们所说的问题，如果dWarp1为null的话，就挂了。