python中除了None之外的其他唯一实例对象？

Question

python 语言参考提到了三个具有单个唯一实例的对象：None、NotImplemented 和 Ellipsis (section 3.2 "The Standard Type Hierarchy")。测试x is None 是一个常见的习惯用法，通过保证None 的唯一性成为可能。我在 python 文档或堆栈溢出中找不到任何其他提及唯一实例对象的内容。像this one 这样的一些问题对构建此类对象的方法提出了有趣的建议，但我想知道的是除了这三个内置函数之外是否还有其他我错过的。

例如，() 似乎是独一无二的（在 CPython 中公认的非常有限的测试中），那么测试 x is () 安全吗？或者这种情况下x == () 是强制性的吗？

Answer 1

嗯...您可以将任何全局对象视为“唯一”，因为它始终是同一个对象。

例如：

>>> x = file
>>> x is file
True
>>> x = True
>>> x is True
True
>>> x = ZeroDivisionError
>>> x is ZeroDivisionError
True

没有什么特别的：

>>> x = None
>>> x is None
True

您可能想知道为什么应该测试x is None 而不是x == None。

答案是：x == None 将调用 x.__eq__(None)，这可能会在 x 实际上不是 None 的各种情况下返回 True（尽管实际上这并不常见）。

实例？

好吧，你可能会说有区别：None 是一个实例。

事实上，Python 中的一切都是对象，这意味着一切都是实例。在我的例子中，file 和ZeroDivisionError 是type 的实例，True 是bool 的实例，None 是NoneType 的实例（注意type 是type 的实例，因此该规则没有例外）。

None 有一个特别的地方——它是NoneType 的唯一实例，你不能制造其他人（除非有什么好办法？）

但这实际上是NoneType 的一个属性——它不允许你创建新实例：

TypeError: cannot create 'NoneType' instances

但这对于整个故事来说并不是真正重要的。

EDIT这些“唯一实例对象”被称为单例。当然，你可以自己做一些。

Answer 2

不，没有其他具有单一值的内置类型。这些单例的唯一关系是bool 类型，它允许两个值（即True 和False）*。

在Python 2.x 中（我在3.x 中找不到它们）您可以通过从types 模块导入NotImplementedType, EllipsisType, NoneType 来查看此限制，并意识到它显然不是花哨的自定义TypeError:

In [13]: from types import NoneType

In [14]: n = NoneType()
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
<ipython-input-14-b386f51143fb> in <module>()
----> 1 n = NoneType()

TypeError: cannot create 'NoneType' instances

() 不幸的是不是唯一的，它代表一个空元组，如果 Tuple 类型是唯一的，因为NoneType 是唯一的，那么它的所有实例都需要具有相同的值强>.

---

如果你想仔细看看这些，它们位于 Objects/object.c 的 1351 和 1473 行> 分别为None 和NotImplemented。省略号尚未找到。

---

*更新：显然，True 和 False 是也是单例，根据 PEP 285 - Adding a bool type：

值 False 和 True 将是单例，例如 None。因为 该类型有两个值，也许应该调用这些值 “双胞胎”？真正的实现不会允许其他 要创建的 bool 实例

Answer 3

值得一提的是，() 在 PyPy 4.0.1 中并不是唯一的：

>>>> x = ()
>>>> x is ()
False