"is" 运算符未按预期工作

Question

看看这段代码：

import re

ti = "abcd"
tq = "abcdef"
check_abcd = re.compile('^abcd')
print id(check_abcd.search(ti))
print id(check_abcd.search(tq))
print check_abcd.search(ti)
print check_abcd.search(tq)
if check_abcd.search(ti) is check_abcd.search(tq):
    print "Matching"
else:
    print "not matching"

输出：

41696976
41696976
<_sre.SRE_Match object at 0x00000000027C3ED0>
<_sre.SRE_Match object at 0x00000000027C3ED0>
not matching

is的定义：

`is` is identity testing, == is equality testing. 
 is will return True if two variables point to the same object

1) 现在为什么is 不返回True 当id 和对象引用相同时。

2）当is 被== 替换时，它仍然返回false。这是使用== 比较对象时的预期行为。

Answer 1

您从未分配返回值，因此在打印 check_abcd.search() 调用的返回值的 id() 值后，Python 丢弃返回值对象，因为没有任何引用它了。 CPython 对象的生命周期直接由对它们的引用数量控制；一旦该引用计数降至 0，该对象就会从内存中删除。

可以重复使用废弃的内存位置，因此您会希望在id() 调用中看到相同的值。见id() documentation：

返回对象的“身份”。这是一个整数（或长整数），保证该对象在其生命周期内是唯一且恒定的。 生命周期不重叠的两个对象可能具有相同的id() 值。

在您的代码中，您实际上没有一个对象，您有两个独立的对象，它们的生命周期不重叠。

如果您想确保id() 值不被重用，请分配返回值：

>>> import re
>>> ti = "abcd"
>>> tq = "abcdef"
>>> check_abcd = re.compile('^abcd')
>>> ti_search = check_abcd.search(ti)
>>> tq_search = check_abcd.search(tq)
>>> id(ti_search), id(tq_search)
(4378421952, 4378422056)
>>> ti_search, tq_search
(<_sre.SRE_Match object at 0x104f96ac0>, <_sre.SRE_Match object at 0x104f96b28>)
>>> ti_search is tq_search
False

通过分配check_abcd.search()（正则表达式MatchObjects）的返回值，创建了一个额外的引用，Python 无法重用内存位置。

Answer 2

当你这样做时： print id(check_abcd.search(ti)) 在一行中并且不要将search 的返回值存储在任何地方，它的引用计数变为零并且被销毁。下面一行中的调用创建了另一个对象，该对象恰好位于相同的内存地址（CPython 将其用作对象 ID） - 但它不是同一个对象。

当您使用is 运算符时，前一个对象仍然必须存在才能进行比较，并且其地址会有所不同。

只需将调用 check_abcd.search 的结果放入变量中，然后打印它们的 ID（并使用不同的变量），您就可以看到实际发生了什么。

此外：如果您想了解“is”和对象 ID 的行为，继续这些行可能会很有指导意义 - 但如果您想比较字符串并返回值，只需使用 == 运算符，不要使用 @ 987654326@: 后续函数调用，即使返回相同的值也不应该返回相同的对象 - is 比较仅在与“None”（作为单例实现）比较时推荐使用

Answer 3

Martjin 已为您提供了正确答案，但为了进一步说明，这里是您的代码中发生的事情的注释版本：

# this line creates returns a value from .search(), 
# prints the id, then DISCARDS the value as you have not 
# created a reference using a variable.
print id(check_abcd.search(ti)) 

# this line creates a new, distinct returned value from .search()
# COINCIDENTALLY reusing the memory address and id of the last one.
print id(check_abcd.search(tq))

# Same, a NEW value having (by coincidence) the same id
print check_abcd.search(ti)

# Same again
print check_abcd.search(tq)

# Here, Python is creating two distinct return values.  
# The first object cannot be released and the id reused
# because both values must be held until the conditional statement has 
# been completely evaluated.  Therefore, while the FIRST value will
# probably reuse the same id, the second one will have a different id.
if check_abcd.search(ti) is check_abcd.search(tq):
    print "Matching"
else:
    print "not matching"