Immutableозначает, что при каждом изменении значения и объекта для него в стеке создается новая ссылка. Вы не можете говорить об неизменности в случае примитивных типов, только неизменяемы классы Wrapper. Java использует copy_by_valueне по ссылке.

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

Например, если вы передаете переменную int со значением 3, вы передаете копию битов, представляющих 3.

После того, как примитив был объявлен its primitive type can never change, хотя его значение может измениться.

Да, они неизменны. Они абсолютно неизменны.

Там хорошее объяснение утопает в здесь . Это для Go, но то же самое в Java. Или любой другой язык в семье C.

Это не полный ответ, но это способ доказать неизменность значений примитивного типа.

Если примитивные значения (литералы) являются изменяемыми, то следующий код будет работать нормально:

int i = 10; // assigned i the literal value of 10
5 = i; // reassign the value of 5 to equal 10
System.out.println(5); // prints 10

Конечно, это не правда.

Целочисленные значения, такие как 5, 10 и 11, уже сохранены в памяти. Когда вы устанавливаете переменную, равную одному из них: она меняет значение в слоте памяти, где iнаходится.

Вы можете увидеть это здесь через байт-код для следующего кода:

public void test(){
    int i = 10;
    i = 11;
    i = 10;
}

Bytecode:

// access flags 0x1
public test()V
 L0
  LINENUMBER 26 L0
  BIPUSH 10 // retrieve literal value 10
  ISTORE 1  // store it in value at stack 1: i
 L1
  LINENUMBER 27 L1
  BIPUSH 11 // same, but for literal value 11
  ISTORE 1
 L2
  LINENUMBER 28 L2
  BIPUSH 10 // repeat of first set. Still references the same literal 10. 
  ISTORE 1 
 L3
  LINENUMBER 29 L3
  RETURN
 L4
  LOCALVARIABLE this LTest; L0 L4 0
  LOCALVARIABLE i I L1 L4 1
  MAXSTACK = 1
  MAXLOCALS = 2

Как вы можете видеть в байт-коде (надеюсь), он ссылается на буквальное значение (пример: 10), а затем сохраняет его в слоте для переменной i. Когда вы меняете значение i, вы просто изменяете, какое значение хранится в этом слоте. Сами ценности не меняются, их расположение.

Примитивные литералы и finalпримитивные переменные неизменны. Не finalпримитивные переменные изменчивы.

Идентификацией любой примитивной переменной является имя этой переменной, и очевидно, что такая идентичность неизменна.