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."":(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三目运算中隐藏自动拆装箱的示例分析”这篇文章就分享到这里了,希望以上内容可以对大家有一定的帮助,使各位可以学到更多知识,如果觉得文章不错,请把它分享出去让更多的人看到。
文章标题:Java三目运算中隐藏自动拆装箱的示例分析
本文来源:http://scyanting.com/article/gcoggg.html