通过Java字节码发现有趣的内幕之String篇--引用相等性

下面的小程序用来判断两个字符串引用变量是否相等:

public class TestString {

   public static void main(String[] args) {

        String str1=new String("Hello Java!");

        String str2=str1;

        String str3="Hello Java!";

        String str4="Hello Java!";

       

        System.out.println(str1==str2);

        System.out.println(str1==str3);

        System.out.println(str3==str4);

   }

}

输出结果:

true

false

true

 解析:

首先引用str1指向了一个内容为“Hello Java!”的字符串对象,然后把str1赋给str2,所以打印判断str1==str2是true的因为他们存储同一个地址值,接着隐含的创建了了字符串对象str3虽然st1与str3内容相同,但是他们是不同的对象,地址不同,所以打印str1= =str3结果是false。最后以同样的方式创建了字符串str4为什么判断str3==str4是true呢?由于字符串在程序中经常用到,Java为了加快程序的执行速度,把隐式创建的字符串对象放在栈中一个特殊区域—字符串池(String Pool)中,相同内容的字符串对象只保留一份,用引号新产生字符串对象时先从字符串池中寻找是否已经存在,若已经存在就取出来直接使用。而用new创建的字符串对象即使内容都是”Hello Java!”他们也是不同的对象实例,在内存中占不同的空间。

一、java中的基本数据类型(int、double、short、long、byte、float、boolean、char)判断是否相等,直接使用"=="就行了,相等返回true,否则,返回false。

二、但是java中的引用类型的对象比较变态,假设有两个引用对象obj1,obj2,

obj1==obj2 判断是obj1,obj2这两个引用变量是否相等,即它们所指向的对象是否为同一个对象。言外之意就是要求两个变量所指内存地址相等的时候,才能返回true,每个对象都有自己的一块内存,因此必须指向同一个对象才返回ture。

三、如果想要自定义两个对象(不是一个对象,即这两个对象分别有自己的一块内存)是否相等的规则,那么必须在对象的类定义中重写equals()方法,如果不重写equals()方法的话,默认的比较方式是比较两个对象是否为同一个对象。

在Java API中,有些类重写了equals()方法,它们的比较规则是:当且仅当该equals方法参数不是 null,两个变量的类型、内容都相同,则比较结果为true。这些类包括:String、Double、Float、Long、Integer、Short、Byte、、Boolean、BigDecimal、BigInteger等等,太多太多了,但是常见的就这些了,具体可以查看API中类的equals()方法,就知道了。



很多时候我们在编写Java代码时,判断和猜测代码问题时主要是通过运行结果来得到答案,本博文主要是想通过Java字节码的方式来进一步求证我们已知的东西。这里没有对Java字节码知识进行介绍,如果想了解更多的Java字节码或对其感兴趣的朋友可以先阅读字节码基础:JVM字节码初探

String字面量可以通过’==’判断两个字符串是否相同,是因为大家都知道’==’是用来判断两个对象的值引用地址是否一致,两个值一样的字符串字面量定义是否指向同一个值内存地址呢?答案是肯定的。

1
2
3
4
5
6
7
8
9
10
package com.jaffa.test.string;
 
public class ConstPoolTest {
     public static void main(String[] args){
         String str1 = "strVal_1" ;
         String str2 = "strVal_1" ;
         //print str1==str2 is true
         System.out.printf( "str1==str2 is %b" ,str1==str2);
     }
}

代码中声明了str1和str2的字面量值都为strVal_1,并且打印出str1==str2为true,说明两个str1和str2变量同时指向同一个字符串常量值的内存地址,下面通过Java字节码来验证这个结果。

在命令行我们通过javap工具来查看一个class文件的字节码。

1
javap -v com.jaffa.test.string.ConstPoolTest

在Constant pool列表中看到#16为一个String类型并值指向#17,而#17是一个utf8字符集编码值为strVal_1,所以#16和#17最终表达就是在常量池中有个String类型值为strVal_1的常量数据。

那接下来需要确认str1和str2两个变量值是否都是指向#16呢?

1
2
3
4
5
//ldc表示将一个常量加载到操作数栈
  0 : ldc           # 16     //将#16对应的常量值加载到操作数栈中           
  2 : astore_1              //将当前操作数栈中赋于变量1,即str1
  3 : ldc           # 16     //再次将#16对应的常量值加载到操作数栈中
  5 : astore_2              //将当前操作数栈中赋于变量2,即str2

从上面字节码执行来看,str1和str2都是被赋于同一个常量值,由此可以得出两个变更指向同一个内存地址。

通过同样的方式,我们来看一下如果是非字面量的情况会是怎么样的,Java代码如下:

1
2
3
4
5
6
7
8
9
10
package com.jaffa.test.string;
 
public class ConstPoolTest {
     public static void main(String[] args){
         String str1 = "strVal_1" ;
         String str2 = new String( "strVal_1" );
 
         System.out.printf( "str1==str2 is %b" ,str1==str2);
     }
}

上面代码输出结果为false,通过javap查看发现str2变量的字节码指令发生了变化,如下现两截图:

1
2
3
4
5
6
7
8
//ldc表示将一个常量加载到操作数栈
  0 : ldc           # 16     //将#16对应的常量值加载到操作数栈中           
  2 : astore_1              //将当前操作数栈中赋于变量1,即str1
  3 : new           # 18     //创建了一个类实例,#18指向一个实例类型String
  6 : dup                   //配置上行完成操作栈指令
  7 : ldc           # 16     //将#16对应的常量值加载到操作数栈中
  9 : invokespecial # 20     //调用String实例初始化方法,并将#16输入
12 : astore_2              //将new出来的实例赋于变量2,即str2

这时str2变量是创建一个新的内存地址,而非直接指向#16常量内存地址,所以str1==str2的结果为false。同时可以看到通过new String()带来看更多的字节码指令操作,运行上花费了更多的系统资源。



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值