Question

我刚刚读到关于'运算符'的意外结果，因为Python缓存数介于-5到256之间。

这里讨论过： "is" operator behaves unexpectedly with integers

当我运行其中一个示例时，我在Python Idle和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'==如果id（a）== id（b），那么你可以像评论中提到的那样检查它。也许我应该更清楚，我不明白的是IDE怎么会有不同的行为？我想（并请，请纠正我，因为我似乎错了）IDE只是一个使用外部编译器/解释器的用户友好环境，这就是为什么这些独立于那些IDE（例如，pycharm支持）不仅是Python，而且我可以使用C编译器或Java等运行Eclipse（所有这些都不是IDE的一部分）。

谢谢，阿龙。

Answer 1

这是因为LOAD_CONST字节代码的工作原理：

将co_consts[consti]推入堆栈。

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

>>> 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

另请注意，由于@AniMenon已指出从-5到256的数字是用于优化的单例，因此对于该范围内的数字而言同样不适用。

Answer 2

来自is operator的文档：

运算符is和is not测试对象标识：x is y为真当且仅当x和y是同一个对象时。

现在让我们检查一下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 3

如果两个变量指向同一个对象，
is将返回True，如果变量引用的对象，==将返回True 是平等的。

在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范围内的数字，由于性能原因这些数字是单身，但所有其他整数都是根据需要重新创建的，而不是单身。

基于：reference

Python：使用PyCharm和IDLE / python

3 个答案: