Java三目运算中隐藏自动拆装箱的示例分析

这篇文章将为大家详细讲解有关Java三目运算中隐藏自动拆装箱的示例分析，小编觉得挺实用的，因此分享给大家做个参考，希望大家阅读完这篇文章后可以有所收获。

最近修改线上bug的时候排查了一个十分隐藏的bug，直接上代码：

Integer a = null;
boolean flag = true;
Integer b = flag ? a : 0;

乍一看是没什么毛病的，但是已运行就会发现报空指针，在idea里面也会警告可能有空指针，这是什么原因呢？

直接看字节码：

0: aconst_null
1: astore_1
2: iconst_1
3: istore_2
4: iload_2
5: ifeq     15
8: aload_1
9: invokevirtual #2       // Method java/lang/Integer.intValue:()I
12: goto     16
15: iconst_0
16: invokestatic #3      // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
19: astore_3
20: getstatic   #4      // Field java/lang/System.out:Ljava/io/PrintStream;
23: aload_3
24: invokevirtual #5      // Method java/io/PrintStream.println:(Ljava/lang/Object;)V
27: return

可以看到字节码中调用了`Integer.valueOf()`方法，因为我们代码中一个值使用的是0（基本数据类型int），编译器就会进行自动拆装箱（成int），

虽然三目运算的后面逻辑不会执行，但是隐藏的自动拆装箱会执行`Integer.valueOf()`方法，也就有了空指针异常。

为了进一步验证存在自动拆装箱，把代码修改一下：

Integer a = null;
boolean flag = true;
Integer b = flag ? a : new Integer(0);

再看字节码：

0: aconst_null
1: astore_1
2: iconst_1
3: istore_2
4: iload_2
5: ifeq     12
8: aload_1
9: goto     20
12: new      #2      // class java/lang/Integer
15: dup
16: iconst_0
17: invokespecial #3      // Method java/lang/Integer."<init>":(I)V
20: astore_3
21: getstatic   #4      // Field java/lang/System.out:Ljava/io/PrintStream;
24: aload_3
25: invokevirtual #5      // Method java/io/PrintStream.println:(Ljava/lang/Object;)V

可以看到，由于重新创建了一个`Integer`对象，并没有基本类型的存在，也就不存在自动拆装箱，修改过后的代码也就不会有问题了，但是idea的警告依旧存在。

这是一个非常隐蔽，也非常容易忽略和踩坑的一个地方，三目运算符的使用应该保证后面的值都是常量，或者统一类型，不然就会出现上面的情况。

更甚三目运算符本身提供的作用也不过是为了简化逻辑，在其中放入过多的逻辑判断也就违背了其初衷。

关于“Java三目运算中隐藏自动拆装箱的示例分析”这篇文章就分享到这里了，希望以上内容可以对大家有一定的帮助，使各位可以学到更多知识，如果觉得文章不错，请把它分享出去让更多的人看到。