Python 3 中对象和类之间的关系

Question

我以为我意识到了这种关系：在Python中一切都是对象，并且每个对象都有一个类型。但是课程呢？类是对象的蓝图，对象是类的实例。但我在Python中读过一篇文章 ，类本身就是对象。我认为一个对象如果没有它的蓝图——它的类就不可能存在。但是，如果类是一个对象，那么它如何存在呢？

>>> type.__bases__
(<class 'object'>,)
>>> int.__bases__
(<class 'object'>,)
>>> str.__bases__
(<class 'object'>,)

那么，object 类是每个对象的蓝图吗？

>>> type(str)
<class 'type'>
>>> type(int)
<class 'type'>
>>> type(type)
<class 'type'>

那么，类 type 是所有其他类型的蓝图吗？

但 type 本身就是一个对象。我无法理解这一点。我无法想象类是对象。

Answer 1

在 Python 中，所有可以命名的东西都是对象——包括函数、类和元类。每个对象都有一个关联的类型或类（这是同一事物的两个名称——“类型”和“类”在Python 3中是相同的）。该类型本身又是一个对象，并且它本身有一个关联的类型。类型的类型称为元类（当然，它同样可以称为元类型，但不使用后一个词）。您可以使用type()来确定对象的类型。如果你迭代地查询一个对象的类型、其类型的类型等等，你总是会在某个时刻得到类型 type ，通常是在两个步骤之后：

type(3)    # --> int
type(int)  # --> type
type(type) # --> type

另一个例子，使用“meta -metaclasses"：

class A(type):
    pass
class B(type, metaclass=A):
    pass
class C(metaclass=B):
    pass
c = C()

type(c)    # --> C
type(C)    # --> B
type(B)    # --> A
type(A)    # --> type
type(type) # --> type

type 本身就是 type 类型，这并不矛盾。