Java中的String

  Java.Lang.String是Java语言自带的字符串实现,它并不是java的基本类型,但却和几乎每个java程序都密切相关的一个基础java类。

  string类内部实际实现存储的字符数组在定义时用关键字final修饰,意味着这个属性是一个常量,在初始化之后就不能再被修改。这也同时表明所有对String对象的修改操作(包括append,substring,concat,replace,trim等),在具体实现中返回的都是一个全新的string对象副本。总结来说,Java中的String具有不变性、不可继承性

讨论String对象在内存中的存储

  这里会涉及到三个概念:虚拟机栈、Java堆和运行时常量池,在我的第一篇文章中都有描述。根据JDK源码中的规范,String类的使用方式有如下几种:



String str1 = new String("abc");
    String str2 = "abc";
    String str3 = "ab" + new String("c");



  在具体应用中,这里的几种String对象的创建方式是基本没有区别的。但实质上这里有一些微小的差异:第一个字符串的创建方式str1指向的对象被分配到了Java堆中,且创建的时机是在程序运行时。str2指向的字符串对象在编译期就已经确定,存放在运行时常量池中。str3的创建是一个比较复杂的过程,java虚拟机会重新组织对应的字节码,具体的过程在下文会分析。

  在学习的过程中,我也参考了很多前辈的文章,其中包括这篇《Java内存分配和String类型的深度解析》,文中作者在String的定义方法中提出了针对性的几点疑问,结合我自身的思考,我来尝试解答一下。

  • 堆中new出来的实例和常量池中的是什么关系?

  两者都是一个String类型的实例化对象,即使通过方法equals比较返回结果为true,两者在本质上都不会是同一个对象。

  • 常量池中的字符串常量与堆中的String对象有什么区别?

  一个最主要的区别就是内存中的位置不同,当然大部分的常量池中的字符串常量是在编译器确定的,除非很明确的调用string对象的intern方法返回(或创建)一个运行时常量池中的string对象,所有通过new操作符创建的string对象都会被分配到Java堆中。

  • 为什么直接定义的字符串同样可以调用String对象的各种方法呢?

  虽然说字符串常量”abc”是在编译器被确定的字符串常量,被存放在运行时常量池,但是这个常量字符串还是一个String类型的对象(这一点确实有别于c/c++语言中的常量的概念,也看出在java的哲学中万物都是对象),如果是一个标准的java对象,它可以调用String的方法。

 字节码分析

  在分析问题的过程中,通过查看上文中提到的三行java代码对应的字节码(方法javap -c {具体要查看的*.class文件}),来确认我的自己的猜想,在这个过程中也可以看出java编译器对源代码的处置,具体的字节码分析如下:

//0 ~ 9 对应的是第一行的java语句:String str1 = "abc";
       0: new           #21                 // class java/lang/String
       3: dup           
       /*
       **装载一个常量字符串 ,符号#23代表的字符串对象就是 “abc”,
       **常量字符串在程序运行之前就已经被创建
       */
       4: ldc           #23                 // String abc
       /*str1不指向常量字符串“abc”,
       **而是将这个常量字符串作为构造函数的实参传入
       **在java堆中重新创建了一个全新的对象
       */
       6: invokespecial #25                 // Method java/lang/String."<init>":(Ljava/lang/String;)V
       9: astore_1      
   	  //从这里开始到12 都是第二行的Java代码: String str2 = "abc";
      /*
      ** 直接调用运行时常量池中的对象
      */
      10: ldc           #23                 // String abc
      12: astore_2      
  	  //从此处开始到最后对应第三行的Java代码:String str3 = "ab" + new String("c");
      /*
      **对于这种new 对象与 常量字符串相结合的方式,
      **JAVA编译器在处理过程中创建了一个StringBuilder对象用于处理异构字符串的拼接工作
      ** "ab"对应另一个常量字符串 “c”则运行时动态创建的String对象
      **/
      13: new           #28                 // class java/lang/StringBuffer
      16: dup           
      17: ldc           #30                 // String ab
      19: invokespecial #32                 // Method java/lang/StringBuffer."<init>":(Ljava/lang/String;)V
      22: new           #21                 // class java/lang/String
      25: dup           
      26: ldc           #33                 // String c
      28: invokespecial #25                 // Method java/lang/String."<init>":(Ljava/lang/String;)V
      31: invokevirtual #35                 // Method java/lang/StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
      34: invokevirtual #39                 // Method java/lang/StringBuffer.toString:()Ljava/lang/String;
      37: astore_3      
      38: return


  由此可以看出,在处理不同方式构建的字符串拼接时,java编译器为我们付出了额外的一些代价,在我们的代码中,尽可能少出现类似第三行那样的代码。如果是确定的字符串常量,也尽可能写成”ab” + “c”这样的形式,在编译器优化时会在常量池中找到现成的对象对象,会在性能上有很大的提升。    

    同时我们能够看到编译器默认用的字符串拼接器是StringBuffuer类,通常情况下我们如果需要对几个动态的string对象做拼接用的都是StringBuilder类。StringBuffer与StringBuilder最本质的区别是:前者是线程安全的。那么如果只是明确的单线程环境下,在效率上编译器自补足的代码又会有更多性能上的欠缺。