Как работает класс Java String внутри?

Question

В моем классе программирования мы создаем класс, похожий на класс Java String. Сейчас мы создаем новый объект так:

MyString string = new MyString("Hello World"); 

Что хорошо и все, но в Java вы можете создать новый объект String, как это:

String string = "Hello World"; 

Есть ли каким-то образом, чтобы эмулировать, что ? Разве это не то, что люди называют неизменяемыми, где вы можете изменить объект после его создания и добавить к объекту?

Редактировать: Видимо, мне нужно вернуться к классу английского языка. «Им» в непреложных средствах «нет» ... К сожалению, я имел в виду изменчивость.

Answer 1

Быть «неизменным» на самом деле является противоположностью того, что вы описываете; это означает, что объект не может быть изменен после создания или добавлен в.

Несмотря на это, это не имеет ничего общего с неизменностью. Невозможно подражать этой конструкции для ваших собственных классов. Строковые литералы являются частью спецификации голых костей языка. Точно так же, как у нас нет перегрузки оператора в Java (и, таким образом, у нас нет способа заставить интерпретатор компилятора + так, как нам хотелось бы), мы не можем заставить компилятор понять другой набор литералов. Они просто такие, какие они есть.

Я уверен, что есть какой-то блестящий способ изменить JVM и создать свой собственный компилятор, чтобы делать то, что вы хотите, но тогда вы больше не используете Java.

Вы можете прочитать больше о литералах в JLS 3.10 или официальных учебниках Oracle (this one для String s, this one для реальных примитивных типов).

Answer 2

В Java строковые литералы являются экземплярами класса String. Итак, во втором примере конверсия не происходит. Это не имеет ничего общего с неизменяемостью (но вы столкнулись с проблемами, если Strings были изменчивыми).

EDIT: Чтобы посмотреть, как работает класс String, ознакомьтесь с его source (OpenJDK).

Answer 3

Другой пример

Integer Int = 5; 

ИЛИ

Integer Int = new Integer (5); 

И работает отлично.

Также нижеследующее работает.

Integer Int; 
int i = 5; 
Int = i ; 

Я думаю, что это особое поведение только для нескольких типов. Возможно, что оператор с равной нагрузкой перегружен.