Python 小 integer 缓存：分配多个值时有什么不同？

Question

我知道 CPython 实现在 [-5, 256] 范围内保存一个小的 integer 缓存，所以我知道a=2和b=2将引用相同的 memory 地址（因此导致a is b返回是的。此外，如果我存储一个大于 256 的数字，我应该获得不同的 memory 地址，如下所示：

>>> x=500
>>> y=500
>>> x is y
False

然而，这是我感到困惑的地方：

>>> x,y=500,500
>>> x is y
True

任何人都可以解释为什么会发生这种情况，或者至少在分别存储值而不是同时存储它们时有什么不同？

Answer 1

每当在其中一个编译步骤中，语言发现可以进行简单的优化时，它就会这样做。

在这种情况下，当编译行a, b = 500, 500时，它将在当前上下文中创建 500 作为常量，在相同的编译步骤中 - 当它看到第二个 500 - 它是一个已经存在的常量，所以编译器只是重用它。

请注意，如果相同的优化在编译器的另一层进行，它会触发不同行中输入的数字——不应断言此行为是可靠的。

就像在这种情况下，可以进行许多小的优化，但不是语言规范的一部分：就像小的 integer 缓存一样，这是一个特定于实现的优化。

特别是，永远不要编写依赖于这些优化的代码 - 比较数字应该始终使用==完成，即使是众所周知的小整数，因为它们不仅在不同的 Python 实现中会有所不同，而且，它们可以在同一实现中更改，恕不另行通知。