python object和type的关系-Python 的 type 和 object 之间是怎么一种关系？

class，metaclass，instance，subclass，base

以下成立：

对任意的A，A是instance（推论：任意class也是instance）

对任意A，存在B，使得B是A的class

A是class 定义为 从A可以创建B（直接或间接），使得B是A的instance

A是B的metaclass 等价于 B是class，且A是B的class（也就是class的class）

A是metaclass等价于A是class，且从A创建的instance B是class

推论：对任意A是class，存在B使得B是A的metaclass

type的metaclass是type自己

对A和B是class，A是B的base等价于B是A的subclass（这里为了防歧义规定A不是A的subclass，可能与iasubclass不同）

A是B的base，则B不是A的base

A是B的instance当且仅当：B是A的class，或B是A的class的base

object是所有其他class的base（推论：任意A是object的instance，包括object）

推论：没有类是object的base

type是所有其他metaclass的base

推论：object是type的base

type是object的metclass

type是type的class/metaclass

type是type的instance

object是object的instance

type是object的instance

object是type的instance

注意：metaclass的base不一定是metaclass

class与instance，base与subclass只是两种正交的关系，它们通过isinstance相互联系，在Python中并不要求它们有先后顺序

=================================================

我补充一下什么叫做“不要求有先后顺序”，实际上在Python当中自定义类的__bases__，自定义实例的__class__是可以修改的……

>>> class A(object): pass

...

>>> class B(object): pass

...

>>> class C(A): pass

...

>>> c = C()

>>> c.__class__

>>> C.__bases__

(,)

>>> isinstance(c, C)

True

>>> isinstance(c, A)

True

>>> isinstance(c, B)

False

>>> issubclass(C, A)

True

>>> issubclass(C, B)

False

>>> C.__bases__ = (B,)

>>> issubclass(C, A)

False

>>> issubclass(C, B)

True

>>> isinstance(c, A)

False

>>> isinstance(c, B)

True

>>> c.__class__ = A

>>> isinstance(c, C)

False

>>> isinstance(c, B)

False

>>> isinstance(c, A)

True

本质上来说就是一个指向的关系，想怎么改就可以怎么改，只要不违背我上面所说的法则就行。Python里的class和instance就是这样没有节操的东西……

我们下面来造一个A是B的metaclass，B是A的base的例子：

>>> class A(type): pass

...

>>> class B(metaclass=A): pass

...

>>> A.__bases__ = (type, B)

>>> isinstance(B, A)

True

>>> issubclass(A, B)

True

>>> isinstance(B, B)

True

由于Python实现的问题，不是所有的__bases__和__class__都可以随意指定（有一些限制），但大体上可以理解为就是个可以改的指针