先看下下面这句代码做了什么事情
String g = "juice";
1.在常量池中创建了“juice”这个常量
2.在栈中创建String对象g
3.将常量池中的juice的引用指向栈中的g对象
注意:
- 创建常量的过程需要先判断juice这个常量在常量池中存不存在,如果存在则跳过创建的过程,直接将已存在的juice指向g。相反,如果juice是第一次加入常量池,就执行创建过程。
- 创建String对象g时是调用了String类中的无参构造方法
那么String的有参构造方法又有哪些呢,通过源码可以发现有如下几个
他们有一个共同特点就是给私有final的char数组赋值,因此,String内部的方法本质上是对char数组进行操作。
ps:记得我第一次面试的时候,我们公司的倪前辈问我String跟StringBuffer以及StringBuilder的区别,当时候刷面试题的时候刷到了,就回答了String比StringBuffer和StringBuilder创建的时候更耗资源。现在看完源码的时候就理解为什么String会创建那么多的对象了。
String内部的char数组是final修饰的,意味着,我们是无法正常去改变String对象创建的value,每当字符串改变的时候,就会创建新的String去接收新字符串。
StringBuffer,StringBuilder的部分源码
他们都同时继承了abstractStringBuilder,点开abstractStringBuilder可以看到,内部的char数组并没有用final修饰。
另外,面试题上也说了,StringBuffer是线程安全的,StringBuilder是线程不安全的,这在源码中也有体现。
上面这个图是StringBuilder的注释,意味着StringBuilder有三个特性
1.不能保证同步
2.只能在单线程中使用
3.速度快!
而StringBuffer中每个方法都加了synchronized关键字,synchronized关键字的源码就不在本篇做解释了(后面有机会在写),利用synchronized中的同步器(aqs)达到线程安全的目的。
String真的不可变吗?
的确,private final修饰的内容是无法在正常代码中访问到的,但是我们可以用java的反射来拿到String 对象中的value属性。下面代码中的chars就可以获取到String对象中用private fianl修饰的对象的引用,通过更改chars值就可以更改String原本中的值。
Field values = String.class.getDeclaredField("value");
values.setAccessible(true);
char[] chars = (char[]) values.get(c);
Field 对象可以通过反射获取到一个类的任意信息,包含构造器,方法,注解,成员变量域等等。
(反射这块的知识我从慕课网上学习了一些,视频教学还是蛮基础的,能看完之后就能理解上面这段了)
下面可以来看下String对象在jvm中的内存分配
1、栈:存放基本数据类型及对象变量的引用,对象本身不存放于栈中而是存放于堆中
2、堆:new操作符的对象
3、静态域:static定义的静态成员变量
4、常量池:存放常量
String g = "g-juice";
String c = new String("g-juice");
String g2 = "g-juice";
String c2 = new String("g-juice");
第一行:在栈中创建String对象引用g,在常量池中创建常量“g-juice”,将g-juice的引用指向g;
第二行:在栈中创建String对象引用c,在堆中创建对象"g-juice”,c指向的是堆中的“g-juice”;
第三行:因为常量池中已经存在“g-juice”,直接将在栈中创建的g2直接指向常量池中的g-juice;
第四行:在栈中创建String对象引用c2,在堆中再次创建对象"g-juice”,c2指向的是堆中另一个的“g-juice”(区别第二行);
因此下面的输出结果也就显而易见:
g和g2都是指向的常量池的同一个g-juice对象,g==g2
c指向的是堆中的g-juice对象,因此g!=c
c跟c2分别指向的是堆中不同的g-juice对象,c!=c2
System.out.println(g==g2); // true
System.out.println(g==c); // false
System.out.println(c==c2); // false