让我们把它分成几个部分

String s1 = "hello";

此语句创建包含hello的字符串并占用内存空间，即在常量字符串池中，并将其分配给引用对象s1

String s2 = s1;

这条语句将相同的字符串hello赋值给新引用s2

         __________
        |          |
s1 ---->|  hello   |<----- s2
        |__________| 

两个引用都指向相同的字符串，因此输出相同的值，如下所示。

out.println(s1);    // o/p: hello
out.println(s2);    // o/p: hello

虽然String是不可变的，但可以赋值，因此s1现在将引用新的值堆栈。

s1 = "stack";    
         __________
        |          |
s1 ---->|  stack   |
        |__________|

但是指向hello的s2对象呢它还是原来的样子。

         __________
        |          |
s2 ---->|  hello   |
        |__________|

out.println(s1);    // o/p: stack
out.println(s2);    // o/p: hello

由于字符串是不可变的，Java虚拟机不允许我们通过它的方法修改字符串s1。它将在池中创建所有新的String对象，如下所示。

s1.concat(" overflow");

                 ___________________
                |                   |
s1.concat ----> |  stack overflow   |
                |___________________|

out.println(s1);    // o/p: stack
out.println(s2);    // o/p: hello
out.println(s1.concat); // o/p: stack overflow

注意，如果String将是可变的，那么输出将是

out.println(s1);    // o/p: stack overflow

现在，您可能会感到惊讶，为什么String需要修改concat()这样的方法。下面的代码片段将消除您的困惑。

s1 = s1.concat(" overflow");

这里我们将修改后的string值赋值给s1引用。

         ___________________
        |                   |
s1 ---->|  stack overflow   |
        |___________________|


out.println(s1);    // o/p: stack overflow
out.println(s2);    // o/p: hello

这就是为什么Java决定将String作为最终类，否则任何人都可以修改和改变String的值。 希望这能有所帮助。

让我们把它分成几个部分

String s1 = "hello";

此语句创建包含hello的字符串并占用内存空间，即在常量字符串池中，并将其分配给引用对象s1

String s2 = s1;

这条语句将相同的字符串hello赋值给新引用s2

         __________
        |          |
s1 ---->|  hello   |<----- s2
        |__________| 

两个引用都指向相同的字符串，因此输出相同的值，如下所示。

out.println(s1);    // o/p: hello
out.println(s2);    // o/p: hello

虽然String是不可变的，但可以赋值，因此s1现在将引用新的值堆栈。

s1 = "stack";    
         __________
        |          |
s1 ---->|  stack   |
        |__________|

但是指向hello的s2对象呢它还是原来的样子。

         __________
        |          |
s2 ---->|  hello   |
        |__________|

out.println(s1);    // o/p: stack
out.println(s2);    // o/p: hello

由于字符串是不可变的，Java虚拟机不允许我们通过它的方法修改字符串s1。它将在池中创建所有新的String对象，如下所示。

s1.concat(" overflow");

                 ___________________
                |                   |
s1.concat ----> |  stack overflow   |
                |___________________|

out.println(s1);    // o/p: stack
out.println(s2);    // o/p: hello
out.println(s1.concat); // o/p: stack overflow

注意，如果String将是可变的，那么输出将是

out.println(s1);    // o/p: stack overflow

现在，您可能会感到惊讶，为什么String需要修改concat()这样的方法。下面的代码片段将消除您的困惑。

s1 = s1.concat(" overflow");

这里我们将修改后的string值赋值给s1引用。

         ___________________
        |                   |
s1 ---->|  stack overflow   |
        |___________________|


out.println(s1);    // o/p: stack overflow
out.println(s2);    // o/p: hello

这就是为什么Java决定将String作为最终类，否则任何人都可以修改和改变String的值。 希望这能有所帮助。

字符串是不可变的。这意味着我们只能改变引用。

String a = "a";
System.out.println("String a is referencing to "+a); // Output: a

a.concat("b");
System.out.println("String a is referencing to "+a); // Output: a

a = a.concat("b");
System.out.println("String a has created a new reference and is now referencing to "+a); // Output: ab

在Java中，对象通常是通过引用访问的。在你的代码段中，str是一个引用，它首先被赋值给“Hello”(一个自动创建的对象或从常量池中获取的对象)，然后你将另一个对象“Help!”赋值给同一个引用。需要注意的一点是，引用是相同的，但对象是不同的。代码中还有一件事，你访问了三个对象，

当你调用new String()。 当你分配"hello"的时候。 当你说“救命!”

调用new String()会创建一个新对象，即使它存在于字符串池中，所以通常不应该使用它。要将new string()创建的字符串放入字符串池，可以尝试intern()方法。

我希望这能有所帮助。

关于你问题的替换部分，试试这个:

String str = "Mississippi"; 
System.out.println(str); //Prints Mississippi 

String other = str.replace("i", "!"); 
System.out.println(str); //still prints Mississippi 
System.out.println(other);  // prints M!ss!ss!pp!

虽然java试图忽略它，str只不过是一个指针。这意味着当你第一次写str = "Hello";时，你创建了一个str指向的对象。当你通过写str = "Help!";来重新赋值str时，一个新对象被创建，旧的"Hello"对象在java需要的时候被垃圾收集。