Java中的String及传参的一些浅见

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 虚拟机》或是直接反汇编代码（不是不想，实在是能力还没到那个水平）来理解的，因此如果有不正确的地方，还请各位指正。