为什么在 Python 中添加分号会改变结果？ [复制]

Question

我发现分号“;”有一个奇怪的行为在 Python 中。

>>> x=20000;y=20000
>>> x is y
True
>>> x=20000
>>> y=20000
>>> x is y
False
>>> x=20000;
>>> y=20000
>>> x is y
False

为什么第一个测试返回“True”，而其他测试返回“False”？我的 Python 版本是 3.6.5。

Answer 1

在交互式解释器中，第一个分号行被一次性读取和评估。因此，解释器识别出 20000 是每个赋值中相同的不可变 int 值，因此 可以（它不必，但确实）使 x 和 y 引用到同一个对象。

重要的一点是，这只是交互式解释器选择进行的优化；语言或; 的某些特殊属性无法保证将两个语句合二为一。

在以下两个示例中，当 y=20000 被读取和评估时，x=20000（带或不带分号）已经被评估和遗忘。由于 20000 不在预分配的int 值的范围（-5 到 257）内，CPython 不会尝试在内存中查找 20000 的另一个实例；它只是为y 创建一个新的。

Answer 2

is 运算符检查两个值是否是内存中的同一个对象。它不是用来检查相等性的。值得考虑的是，它有时会返回 True，有时会返回 False，这只是运气问题（即使不是这样）。

例如，交互式会话和独立程序中的结果不同：

$ cat test.py
x = 200000; y = 200000
print(x is y)

xx = 200000
yy = 200000
print(xx is yy)

$ python test.py
True
True

或者你还有这个例子：

>>> x = 50 + 50; y = 50 + 50
>>> x is y
True
>>> x = 5000 + 5000; y = 5000 + 5000
>>> x is y
False

发生这种情况是因为解释器缓存了小数字，因此它们始终是同一个对象，但它不适用于大数字，因此在第二种情况下的两个添加都会创建一个新的 10000 对象。它与分号无关。