Почему неизменыемый тип ссылается на одинаковый id?

Question

[zanyato11111]

Здастуйте, есть две категории: неизменяемый и изменяемые.
В статье указано, что:

x = 'Привет!'
y = 'Привет!'
x == y   # Получим True
id(x) == id(y)   # Получим False

Но на деле я получаю:

x == y   # Получим True
id(x) == id(y)   # True!!!!!!!!!!!!!!!!!!!!!!!!

Вроде как неважно изменяемый или незменяемый тип, если значения одинаковы, то они все равно будут ссылаться на одинаковую ячейку ( id() ) ?

Почему в статье False, а если проверить, то True?
Косяк в статье или я что-то упускаю?

Comments

[Виктор Голованенко]

Возможно, интерпретатор Python кэшировал эту строку при её присваивании переменной x, и при последующем присваивании y использовал объект из кэша вместо создания нового. Такое поведение зависит от реализации Python (CPython, PyPy и пр.), её версии и др.
Например, такое поведение я наблюдаю в CPython 3.10.9 на Linux:

>>> x = 'Привет!'
>>> y = 'Привет!'
>>> x is y
False
>>> x == y
True
>>> id(x) == id(y)
False

Похожий вопрос: https://qna.habr.com/q/140989