最近在开发过程中遇到了一个bug,主要是要比较两个正数的大小,如下所示:
Obj obj = JSON.parseObject("{\n" + "\"id\":1\n" + "}", Obj.class);
System.out.println(obj.id);
System.out.println(1 == obj.id);
简单来说,需要将一个字符串转换为一个对象obj,其中有个属性id为整数,这里使用==来比较两个整数大小,这里会出现一个空指针错误,如果当字符串中id为空,如下所示:
结论是如果一个变量用==来比较大小,如果该变量为null 则会报空指针错误。
再看下面这个测试:
可知如果直接用一个常量和null用==比较 不会报空指针错误,这是为啥,需要从字节码的解读来分析一下,首先看一下第二种的字节码,首先编译一下
然后用Jclasslib来查看字节码
最终字节码如下:
0 getstatic #2 <java/lang/System.out>
3 iconst_1
4 invokestatic #3 <java/lang/Integer.valueOf>
7 ifnonnull 14 (+7)
10 iconst_1
11 goto 15 (+4)
14 iconst_0
15 invokevirtual #4 <java/io/PrintStream.println>
18 return
可知编译器已经做了优化 常量和null直接比较 则会判断常量是否为null 来返回true false
看一下ifnonnull含义:
https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.html#jvms-6.5.if_acmpcond
首先判断参数必须为引用类型 如果不为空 则返回true
再来看一下第一种的字节码
0 aconst_null
1 astore_1
2 getstatic #2 <java/lang/System.out>
5 iconst_1
6 aload_1
7 invokevirtual #3 <java/lang/Integer.intValue>
10 if_icmpne 17 (+7)
13 iconst_1
14 goto 18 (+4)
17 iconst_0
18 invokevirtual #4 <java/io/PrintStream.println>
21 return
可知使用if_icmpne指令来比较
对于该指令 需要两个输入int参数 如果有一个null 则会报空指针错误。
如果两个都是引用类型呢
字节码如下:
0 new #2 <java/lang/Integer>
3 dup
4 iconst_1
5 invokespecial #3 <java/lang/Integer.<init>>
8 astore_1
9 new #2 <java/lang/Integer>
12 dup
13 iconst_1
14 invokespecial #3 <java/lang/Integer.<init>>
17 astore_2
18 getstatic #4 <java/lang/System.out>
21 aload_1
22 aload_2
23 if_acmpne 30 (+7)
26 iconst_1
27 goto 31 (+4)
30 iconst_0
31 invokevirtual #5 <java/io/PrintStream.println>
34 return
if_acmpne指令如下所示:
可知该指令要求输入两个引用类型,直接比较两个引用的地址。
==比较的含义:
如果作用于基本数据类型的变量,则直接比较其存储的 “值”是否相等;如果作用于引用类型的变量,则比较的是所指向的对象的地址。