Python中的不变性[重复]

Question

我试图了解不变性在 python 中是如何工作的。由于字符串在 python 中是不可变的，我希望每次执行字符串操作时 id 都会改变，但它不能按预期工作。 例子： t 上的最后一个操作不会改变它的 id。任何想法为什么？

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" 之后找到它，这很可能在垃圾中收集的环境，看看你的 ID 有什么不同）：

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

只要原始对象不再存在，对象的 ID 就可以重复使用。这不是特定于字符串，而是所有 Python 类型。举个最简单的例子，你可以检查一个简单的object的id：

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

但是，如果我们保留对前一个对象的引用，则 id 将不会被重用：

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

通过将中间结果（t 中的值）附加到列表中，您可以使用字符串在测试中重现相同的行为。