Неизменяемость в Python

Question

Я пытаюсь понять, как неизменяемость работает в python. Поскольку строка является неизменной в python, я ожидал, что идентификатор будет меняться каждый раз, когда я выполняю операцию с строкой, но она не работает должным образом. пример: Последняя операция по t не меняет свой идентификатор. Любые идеи почему?

Answer 1

Я имел ряд яблок в различных клетках [memory containing variables (I will not go to the bit level)], некоторые из которых были пустыми [cells containing garbage/empty value].

Я взял один из них. Это было в ячейке 3 [logical address = 3].

Я нарисовал его синим (после того, как я клонировал его, используя будущие технологии, для демонстрации непреложности) [committed an operation on it, same could go for addition for integers].

Я посмотрел, где его положить, и хотя ячейка 4 была бесплатной, ячейка 3 была также (потому что «оригинальное» яблоко здесь больше нет)! Поэтому я вернул его в ячейку 3 [and although we get a "new" apple, it has the same address].

---

То же самое для вашего t (обратите внимание, что id это адрес памяти переменной в CPython), но так как мы говорим о «цепочках яблок» здесь (струны сделаны из последовательности символов, мы имеем рассмотреть объем пространства, мы должны продолжить последовательность, так что если у меня был моя память выглядит как (_ стендов для произвольных данных для мусора, «^» для пространства)

H e l l o _ _ _ _ _ B O O M 
^ string pointer points here 

, и я хотел бы изменить строку "Hello you", я мог бы рассмотреть возможность использования свободного места:

H e l l o^y o u _ B O O M 
^ string pointer points here 

Но если я хочу, чтобы изменить строку "Hello world!", я бы искать свободное пространство в длину "Hello world!" где-то еще (мы могли бы сразу после "BOOM", что вероятно в сборкой мусора среды, посмотрите, как ваши идентификаторы отличаются):

H e l l o^y o u _ B O O M _ H e l l o^w o r l d ! _ G A R B A G E 
          ^string pointer points here 

Answer 2

Идентификаторы объектов могут быть повторно использованы, если исходный объект больше не присутствует. Это не относится к строкам, а относится ко всем типам Python. Для простейшего примера, вы можете проверить идентификатор простого object:

>>> print id(object()) 
140437485756544 
>>> print id(object()) 
140437485756544 

Однако, если сохранить ссылку на предыдущий объект, идентификатор не будет повторно:

>>> a = object() 
>>> id(a) 
140437485756544 
>>> b = object() 
>>> id(b) 
140437485756560 

Вы можете воспроизводите то же поведение в тестах со строками, добавив промежуточные результаты (значения в t) в список.