'is'运算符在浮点数时表现异常

Question

单元测试模块时遇到一个令人困惑的问题。该模块实际上是在转换值，我想比较这些值。

与==和之间存在差异is（部分，我谨防差异）

>>> 0.0 is 0.0
True   # as expected
>>> float(0.0) is 0.0
True   # as expected

到现在为止，这是我的“问题”：

>>> float(0) is 0.0
False
>>> float(0) is float(0)
False

为什么？至少最后一个让我很困惑。的内部表示float(0)和float(0.0)应该相等。与的比较==按预期进行。

Answer 1

这与is工作方式有关。它检查引用而不是值。True如果将任何一个参数分配给相同的对象，则返回。

在这种情况下，它们是不同的实例。float(0)并且float(0)具有相同的值==，但就Python而言是不同的实体。CPython实现还将该整数缓存为该范围内的单例对象->
[x | x∈∧-5≤x≤256]：

>>> 0.0 is 0.0
True
>>> float(0) is float(0)  # Not the same reference, unique instances.
False

在此示例中，我们可以演示整数 缓存原理 ：

>>> a = 256
>>> b = 256
>>> a is b
True
>>> a = 257
>>> b = 257
>>> a is b
False

现在，如果float()将float传递给，则只需返回float文字（ 短路
），就像使用相同的引用一样，因为不需要从现有的float实例化新的float：

>>> 0.0 is 0.0
True
>>> float(0.0) is float(0.0)
True

这可以通过以下方式进一步证明int()：

>>> int(256.0) is int(256.0)  # Same reference, cached.
True
>>> int(257.0) is int(257.0)  # Different references are returned, not cached.
False
>>> 257 is 257  # Same reference.
True
>>> 257.0 is 257.0  # Same reference. As @Martijn Pieters pointed out.
True

但是，的结果is也取决于它在其中执行的范围（ 超出此问题/解释的范围 ），请向用户咨询： @
Jim
对代码对象的出色解释。甚至python的文档也包含有关此行​​为的部分：

• 5.9比较

[7]
由于自动进行垃圾回收，释放列表以及描述符的动态性质，您可能会注意到在某些is运算符用法中，似乎存在异常行为，例如涉及实例方法或常量之间比较的行为。查看他们的文档以获取更多信息。