服务器之家:专注于服务器技术及软件下载分享
分类导航

PHP教程|ASP.NET教程|Java教程|ASP教程|编程技术|正则表达式|C/C++|IOS|C#|Swift|Android|JavaScript|易语言|

服务器之家 - 编程语言 - Java教程 - Java三目运算中隐藏的自动拆装箱

Java三目运算中隐藏的自动拆装箱

2021-06-11 13:32by Boyizmen Java教程

这篇文章主要介绍了Java三目运算中隐藏的自动拆装箱,本文通过实例代码给大家介绍的非常详细,具有一定的参考借鉴价值,需要的朋友可以参考下

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

?
1
2
3
integer a = null;
boolean flag = true;
integer b = flag ? a : 0;

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

直接看字节码:

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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()`方法,也就有了空指针异常。

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

?
1
2
3
integer a = null;
boolean flag = true;
integer b = flag ? a : new integer(0);

再看字节码:

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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三目运算中隐藏的自动拆装箱,希望对大家有所帮助,如果大家有任何疑问欢迎给我留言,小编会及时回复大家的!

原文链接:https://minei.me/archives/422.html

延伸 · 阅读

精彩推荐