java String方法入参赋值问题分析

最近看到了一个很有意思的面试题，该题看似简单但是实际考查的知识点颇为广泛。
我们先来看题：

// 请写出执行结果
public class StringExer {

    String str = new String("good");
    char[] ch = {'t','e','s','t'};

    public void change(String str,char ch[]) {
        str = "test ok";
        ch[0] = 'b';
    }

    public static void main(String[] args) {
        StringExer stringExer = new StringExer();
        stringExer.change(stringExer.str,stringExer.ch);
        System.out.println(stringExer.str);
        System.out.println(stringExer.ch);
    }
}

可能部分同学粗略一看，这个题挺简单的，会认为就是修改了str的值，又修改了数组的第一个下标的值，会输出：

test ok
best

可能看到这里，你可能已经复制了上面你的代码，默默的缩小浏览器，打开IntelliJ idea工具，粘贴上代码去执行以便确认自己认为的结果。
其实不用这么麻烦，上面给出的答案其实是错误，正确的输出结果为：

good
best

我们来分析一下:
首先，change方法的入参类型为String类型和char数组类型，都属于引用类型，故change(String str,char ch[])这里的str和ch的引用都和成员变量中str和ch的指向是一致的。
然后change方法里面又执行了str = "test ok";，这个地方很关键，我们需要先了解一下String类型在内存中的不可变性。

举个例子：

String str = "abc";
str = "def";

1、第一行执行，会先在jvm常量池里面判断是否已经存在abc这个常量:
如果存在 则直接引用；
如果不存在 则在堆内容中开辟新空间存放"abc"常量值。

2、第二行执行，由于String是immutable的（String类型内部的value属性是被final修饰的），不可变，一旦初始化完成，引用指向的内容是不可变的。所以并不会将第一行str指向的内存地址里面的内容"abc"修改为"def"，而是先判断常量池中是否存在"def"：
如果存在 则把str的引用指向已经存在的堆内存地址；
如果不存在 则在堆内存中开辟新的内存空间用于存放"def"值，并把str指向新的引用地址，也就是"def"所在的堆内存地址。而第一行的"abc"由于str的指向已变，所以没有了引用，jvm垃圾回收机制会自动回收。

我们再反观上面change方法里的代码。
change方法里面执行了str = "test ok";，结合上面String类型的不可变性，我们知道"test ok"是在内存中重新开辟了一块空间，str则指向"test ok"所在的内存地址。这里你可能又有疑问了：既然str的指向既然已经被重新定向了，那之前的str指向的"good"不是应该失效了吗，为什么最后的结果输出的str还是"good"呢？不应该是"test ok"吗？

原因：
java方法中的参数传递都为值传递。
change(String str, char ch[])中的str属于值传递。java进行值传递时，会复制一份和实参一样的引用，而str = "test ok"由于上面讲的string的不可变性，从而在堆中又重新开辟了一块新的空间（新地址）用来保存"test ok"，从而使得str = "test ok"中的str引用指向了新的内存地址。再由于方法中的局部变量存储在栈的栈帧中的局部变量表中，所以即使相同的变量名也不会互相干扰。

我们来画图分析一下：

图1：方法入参时jvm图

图2：change方法中str赋值后jvm图

从图中我们可以看出，图1的时候，也就是change方法入参的时候，change(String str, char ch[])中str的内存指向是和String str = new String("good");中str的内存指向一样的，都指向0x123456。图2的时候，当change方法中的str = "test ok"执行后，change方法中的str就指向了新的内存地址。

本次分析到此结束，有问题的地方还请大家评论指出。

End.