Теория: Изменение переменной

Само слово «переменная» говорит, что ее можно менять, так как с течением времени внутри программы значения переменных могут изменяться:

var greeting = "Father!";
System.out.println(greeting);
System.out.println(greeting);
// var уже не используется, так как переменная была определена выше
greeting = "Mother!";
System.out.println(greeting);
System.out.println(greeting);

Java — статически типизированный язык. Это значит, что тип переменной задается при определении и больше не меняется.

В примере выше мы присвоили строку при создании переменной. Компилятор запоминает тип и проверяет все последующие изменения переменной. Если попробовать этой же переменной присвоить число, то мы получим следующую ошибку:

greeting = 5;
# Error:
# incompatible types: int cannot be converted to java.lang.String
# несовместимые типы: число не может быть превращено в строку

Компилятор делает такую проверку без запуска кода на выполнение, именно поэтому такой вид типизации называют статическим. В JavaScript, Ruby, PHP, Python и других динамических языках подобное поведение не является ошибкой, переменная может легко изменить свой тип в процессе работы.