Ссылочные типы Java

public class Main {
    public static void main(String[] args) {
    String s1 = "Hello";
    String s2 = s1;
    s2 += "!";
    System.out.println("s1 = " + s1 + "\n" + "s2 = " + s2);
    }
}

>>> s1 = Hello
>>> s2 = Hello!

Объекты типа String в Java - неизменяемы. Когда вы вносите изменение в объект типа String с помощью одного из методов этого класса или с помощью конкатенации (в вашем случае - для изменения строки используется конкатенация: s2 += "!";) - тогда создается НОВЫЙ объект класса String который будет представлять собой (по содержанию символов) старую строку с внесенными изменениями. В строке s2 += "!"; вы как раз создаете ещё одну строку и присваиваете переменной s2 ссылку на эту новую строку. При этом ссылка s1 попрежнему ссылается на объект строки созданный вами раннее.

Попробуйте провести ваш маленький эксперимент с типом StringBuilder (этот тип данных представляет собой как раз таки изменяемую строку).

Объект String является неизменяемым. Несмотря на то, что переменные типа String являются ссылочными, при их изменении создается новый объект и новая переменная по ссылке указывает уже на него(а не на тот объект, который был взят для изменения).

Типы переменных

Примитивные и ссылочные

Примитивные типы Java не являются объектами. К ним относятся:

boolean - булев тип, может иметь значения true или false

byte - 8-разрядное целое число

short - 16-разрядное целое число

int - 32-разрядное целое число

long - 64-разрядное целое число

char - 16-разрядное беззнаковое целое, представляющее собой символ UTF-16 (буквы и цифры)

float - 32-разрядное число в формате IEEE 754 с плавающей точкой

double - 64-разрядное число в формате IEEE 754 с плавающей точкой

Все остальные типы являются ссылочными. Подробнее здесь

Изменяемые и неизменяемые

Тип String неизменяемый. При попытке изменения значения переменных этого типа, в памяти будет создаваться новый объект

Изменяемым типом является к примеру ArrayList или StringBuilder, использующийся ниже в примере

Подробнее здесь

Желаемое поведение программы достигается, при использовании ссылочных, изменяемых типов(String - ссылочный, неизменяемый)

Перепишем программу с использованием изменяемого аналога String - StringBuilder:

public class Main {
    public static void main(String[] args) {
    // Создаём изменяемый объект типа `StringBuilder`
    StringBuilder s1 = new StringBuilder("Hello");
    // s2 - ссылка на s1
    StringBuilder s2 = s1;
    // `StringBuilder` - изменяемый,
    //  поэтому нового объекта не создается
    s2.append("!");
    // При изменении объекта, изменились значения
    // и всех ссылающихся на него переменных
    System.out.println("s1 = " + s1 + "\n" + "s2 = " + s2);
    }
}

Вывод:

>>> s1 = Hello!
>>> s2 = Hello!

Подробнее про StringBuilder здесь