值比较‘’==“的原理

最近在开发过程中遇到了一个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指令如下所示：

可知该指令要求输入两个引用类型，直接比较两个引用的地址。

 

==比较的含义：

       如果作用于基本数据类型的变量，则直接比较其存储的 “值”是否相等；如果作用于引用类型的变量，则比较的是所指向的对象的地址。