Python：使用 PyCharm 和 IDLE/python 时的不同结果

Question

我刚刚读到 'unexpected result of is operator'，这是因为 Python 缓存数字在 -5 到 256 之间。

这是在这里讨论的： "is" operator behaves unexpectedly with integers

这里：

当我运行那里给出的示例之一时，我在 Python 空闲和 Python IDE 之间得到不同的结果（我使用的是 Jetbrains Pycharm 专业版 - 5.0.4).

当使用 Python IDLE 时，结果如下：

a = 1000
b = 1000
print (a is b) # prints False

当使用 Pycharm 5.0.4 时，结果如下：

a = 1000
b = 1000
print (a is b) # prints True

怎么会这样？我重新检查过，我的项目的 Python-Interpreter 在这两种情况下完全相同（都是 Python 3.5.1）。不确定这是不是我做错了什么，我希望有人能解释一下。

编辑：

我知道 'a' 是 'b' == true iff id(a) == id(b)，您可以像评论中提到的一些人一样检查它。也许我应该更清楚，我不明白的是 IDE 怎么会有不同的行为？我认为（请纠正我，因为我似乎错了）IDE 只是一个使用外部编译器/解释器的用户友好环境，这就是为什么它们独立于那些 [=50] =]的（例如，pycharm不仅支持Python，而且我可以运行带有C编译器的Eclipse，或Java等（所有这些都不是部分IDE).

谢谢，阿隆.

Answer 1

来自 is operator 的文档：

The operators is and is not test for object identity: x is y is true if and only if x and y are the same object.

现在让我们检查 IDLE：

>>> a = 1000
>>> b = 1000
>>> print ( a is b )
False
>>> 
>>> 
>>> id(a)
35334812
>>> id(b)
35334800

PyCharm:

>>> a = 1000
b = 1000
print (a is b)
True
>>> id(a)
36079236
>>> id(b)
36079236

在 PyCharm 中，a 和 b 都是 相同的对象，而在 IDLE 中则不同。

现在 PyCharm 中有什么问题，如果您逐行输入代码，就像在 IDLE 中一样，您将获得与在 IDLE 中相同的结果：

>>> a = 1000
>>> b = 1000
>>> print (a is b)
False

我猜，

>>> a = 1000
    b = 1000

优化为：

>>> a = b = 1000
>>> print (a is b)
True

所以这就是为什么 a 和 b

有相同的对象

Answer 2

is will return True if two variables point to the same object, == will return True if the objects referred to by the variables are equal.

在python,

>>> a = [1, 2, 3]
>>> b = a
>>> b is a 
True
>>> b == a
True

>>> b = a[:]
>>> b is a
False
>>> b == a
True

那是因为我们正在匹配 id(a) 和 id(b)。

考虑一下，

a = 1000
b = 1000
a is b

a is b 将是错误的；您关于身份的假设仅在 CPython 中适用于 -5 to 256 范围内的数字，出于性能原因，这些数字是单例，但所有其他整数都是根据需要重新创建的，而不是单例。

基于：

Answer 3

这是因为 LOAD_CONST 字节码的工作方式：

Pushes co_consts[consti] onto the stack.

由于整数存储为常量，因此在相同上下文中对相同整数进行赋值将产生完全相同的结果，我们可以看到 LOAD_CONST 的论点是 0 和b:

>>> import dis
>>> dis.dis("a = 1000 ; b = 1000")     
  1           0 LOAD_CONST               0 (1000)
              3 STORE_NAME               0 (a)
              6 LOAD_CONST               0 (1000)
              9 STORE_NAME               1 (b)
             12 LOAD_CONST               1 (None)
             15 RETURN_VALUE
                                       # ^ this is the argument

在交互式会话中，每个命令都是单独编译的（以便它们可以单独执行），因此常量会有所不同：

>>> code1 = compile("a = 1000","<dummy file>","exec")
>>> code2 = compile("a = 1000","<dummy file>","exec")
>>> code1.co_consts, code2.co_consts
((1000, None), (1000, None))
>>> code1.co_consts[0] is code2.co_consts[0]
False

类似地，函数中的常量将始终相同，但与其他函数中的常量不同：

def f():
    return 1000
def g():
    return 1000 #different code object!!

#these all work
assert f() is f()
assert g() is g()
assert f() is not g()
assert f() is not 1000 and g() is not 1000

另请注意，正如指出的那样，从 -5 到 256 的数字是用于优化的单例，因此对于该范围内的数字而言，这并不适用。

Python：使用 PyCharm 和 IDLE/python 时的不同结果

Python: Different results when using PyCharm and IDLE/python

python

integer

pycharm

python-idle

python-3.x