String str = "abc"; //代码段一
String str1 = "abc"; //代码段二
str1 = "def"; //代码段三
很多时候,都会有人拿类似上面的代码来问,生成了多少个对象啊?
很明显,生成了两个对象,都是编译期生成的。分别是代码段一跟代码段三生成的。
那代码段二呢?答案是并没有生成对象,只是把一个引用指向了”abc”对象,换言之,执行完代码段二后,str跟str1指向了同个对象。大家可以用(str == str1)来判断它们是不是指向同个对象。
这样是不是说明当修改str1时,str也会跟着修改呢?答案是否定的。比如说当执行代码段三时,大家会发现,str的内容并没有变成def,还是abc。那这里面究竟发生了什么事?
当运行代码段一时,编译器会在常量池里寻找有没有一个值为”abc”的字符串对象,哦,没有,所以它创建了一个这样的对象。当运行代码段二时,编译器在常量池里找到了一个这样的对象,所以就把str1也指向了它。当运行代码段三时,编译器又在常量池里寻找值为”def”的对象,结果发现没有,所以就再创建了一个字符串对象。因此,总结一下,上面三句代码,总共创建了两个对象。
再看下面的代码:
String tmp = "a"+"bc"; //代码段四
请问,这里有创建新对象吗?答案是没有的。因为括号内文本的方式都是在编译期就解决掉的。所以当运行代码段四时,编译器在常量池里寻找有没有一个值为”abc”的对象,结果是找到了,所以就把tmp指向它。由于在栈里的速度非常快,像刚刚描述的过程,事实上,只是移动一下指针,因此,效率会比用new在堆里生成对象高很多。
强调一句,用new在堆里生成对象,不管内容是不是一样,都会生成相应的实例。比如说
String tmp = new String("chop"); //代码段五
String tmp1 = new String("chop"); //代码段六
这里就铁定地生成了两个对象。虽然它们的值是一样的,但却是两个指向不同地方的引用。
关于java传值问题
首先,在java之父所写的书里就有一句这样的话:在java里只有一种传值方式:值传递。 我们不来搞个人崇拜,权威定理。那我们就用代码来说明吧。大家猜测一下代码的输出结果是什么?
public class Test
{
public void changeStr(String tmp){
tmp = "输出修改值!";
}
public static void main(String args[]){
Test obj = new Test();
String str = "输出原值!";
obj.changeStr(str);
System.out.println(str);
}
}
很遗憾地告诉大家,结果是”输出原值!”。再联想一下值传递的想法就很清楚了。在main方法那里,生成了一个String对象,值为”输出原值”。然后有个str引用指向了它。当调用changeStr(str)方法时,就把str引用复制了一份(注意,这里是复制了一份str引用),然后再把它传递给changeStr方法。换言之,现在有两个引用指向了那个对象。在方法内部,把那个复制的引用又指向了另一个对象(其值为”输出修改值!”)。但原来那个引用所指向的对象还是没变。因此,你再打印str,自然结果还是”输出原值!”了。
关于String的进一步讨论
如果大家对第一部分的讨论还有疑惑,我们可以把第二部分的代码再修改一下的,大家看一下下面的代码输出
public class Test
{
public String changeStr(String tmp){
tmp = "输出原值!";
return tmp;
}
public static void main(String args[]){
Test obj = new Test();
String str = "输出原值!";
String tmp = obj.changeStr(str);
System.out.println(tmp == str); //你觉得会输出什么呢?true或false。在java里,对于类而言,==是用来判断两个引用所指向的对象是不是同个对象的。
System.out.println(str);
}
}
运行过代码就会发现,结果是true。也就是说,引用内文本生成的对象是放在常量池的,并且在编译期就已经解决了。
如果我再把changeStr(String tmp)方法改一下,把tmp = “输出原值!”;改成tmp = new String(“输出原值!”);输出结果很明显就是false了。虽然它们的值是一样的,但由于是在运行时在堆里生成的对象,tmp跟str所指向的是不同对象的。
总结一下上面所说的,大家主要是要分清楚哪些是编译期就可以确定的,哪些要运行时才能确定,哪些是在栈里的,哪些是在堆里的,这样就会很清晰了。
后记:本文只是自己在编写过程中的一些想法,并不是看《深入 java 虚拟机》或是直接反汇编代码(不是不想,实在是能力还没到那个水平)来理解的,因此如果有不正确的地方,还请各位指正。