类对象是单例吗？

Question

如果我们拥有x = type(a)and x == y，是否必然暗示这一点x is y？

这是一个反例，但这是一个作弊：

>>> class BrokenEq(type):
...     def __eq__(cls, other):
...         return True
...     
>>> class A(metaclass=BrokenEq):
...     pass
... 
>>> a = A()
>>> x = type(a)
>>> x == A, x is A
(True, True)
>>> x == BrokenEq, x is BrokenEq
(True, False)

而且我无法创建这样的反例：

>>> A1 = type('A', (), {})
>>> A2 = type('A', (), {})
>>> a = A1()
>>> x = type(a)
>>> x == A1, x is A1
(True, True)
>>> x == A2, x is A2
(False, False)

为了澄清我的问题-在 不让相等 运算符做某些疯狂的事情的情况下，一个类是否有可能存在于两个不同的内存位置，或者导入系统会以某种方式防止这种情况发生？

如果是这样，我们如何证明这种行为-
例如，使用reload或做奇怪的事情__import__？

如果不是，是否由语言保证或在任何地方进行了记录？

结语 ：

# thing.py
class A:
    pass

最后，这是为我澄清了真实行为的要素（它支持了Blckknght答案中的主张）

>>> import sys
>>> from thing import A
>>> a = A()
>>> isinstance(a, A), type(a) == A, type(a) is A
(True, True, True)
>>> del sys.modules['thing']
>>> from thing import A
>>> isinstance(a, A), type(a) == A, type(a) is A
(False, False, False)

因此，尽管使用的代码importlib.reload可能会破坏通过类标识进行的类型检查，但isinstance无论如何它也会破坏。

Answer 1

不，除了弄乱元类__eq__方法之外，没有办法创建两个相等但不相同的类对象。

但是，这种行为不是类所独有的。对于没有__eq__在其类中定义方法的任何对象，这都是默认行为。该行为是从继承的object，后者是所有其他（新样式）类的基类。它仅对具有相等性其他语义的内置类型（例如，用于比较其内容的容器类型）和定义__eq__自己的运算符的自定义类覆盖。

至于在不同的内存位置将两个不同的引用指向同一个类，由于Python的对象语义，这实际上是不可能的。对象的内存位置 是
其身份（至少在cpython中）。与相同内容的另外一类可以存在别的地方，但像你A1和A2例子，这将被看作是所有的Python逻辑不同的对象。