当 python 添加小整数时，幕后会发生什么？ [复制]

我正在摆弄id最近意识到（c？）Python 做了一些非常明智的事情：它确保小整数始终具有相同的值id.

>>> a, b, c, d, e = 1, 2, 3, 4, 5
>>> f, g, h, i, j = 1, 2, 3, 4, 5
>>> [id(x) == id(y) for x, y in zip([a, b, c, d, e], [f, g, h, i, j])]
[True, True, True, True, True]

但后来我突然想知道数学运算的结果是否也是如此。结果是：

>>> nines = [(x + y, 9) for x, y in enumerate(reversed(range(10)))]
>>> [id(x) == id(y) for x, y in nines]
[True, True, True, True, True, True, True, True, True, True]

似乎它在 n=257 时开始失败......

>>> a, b = 200 + 56, 256
>>> id(a) == id(b)
True
>>> a, b = 200 + 57, 257
>>> id(a) == id(b)
False

但有时即使数字更大，它仍然有效：

>>> [id(2 * x + y) == id(300 + x) for x, y in enumerate(reversed(range(301)))][:10]
[True, True, True, True, True, True, True, True, True, True]

这里发生了什么？ python 是如何做到这一点的？

你已经陷入了一个并不罕见的陷阱：

id(2 * x + y) == id(300 + x)

两种表达方式2 * x + y and 300 + x没有重叠的生命周期。这意味着 Python 可以计算左侧，获取其 id，然后在计算右侧之前释放整数。当 CPython 释放一个整数时，它会将其放入已释放整数的列表中，然后在下次需要时将其重新用于不同的整数。因此，即使计算结果非常不同，您的 id 也会匹配：

>>> x, y = 100, 40000
>>> id(2 * x + y) == id(300 + x)
True
>>> 2 * x + y, 300 + x
(40200, 400)