好得很程序员自学网

<tfoot draggable='sEl'></tfoot>

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

查看更多关于Java三目运算中隐藏的自动拆装箱的详细内容...

  阅读:10次