python元类Type和Object的关系

写在前面

• python中，一切皆是对象，包括具体的数据，类型，类，函数等；
• __class__用于获取对象是属于那个类;
• __bases__用于获取对象的超类有那些;
• 不要混淆继承关系，和数据对象的实例化关系，这是两回事

普通的数据对象int,str,float等

print(int(1).__class__) # <class 'int'>
print(int.__class__)    # <class 'type'>
print(int.__bases__)    # (<class 'object'>,)

print(str('abc').__class__) # <class 'str'>
print(str.__class__)    # <class 'type'>
print(str.__bases__)    # (<class 'object'>,)

结论1：

• 常规的类或者类型对象，其归属的类都是type(实例化关系)，但是超类或者说父类都是直接或者间接继承自object(继承关系)
• 对于普通的数据如具体的数字1，字符串“abc”等对象，或者是实例化的数据，其归属的类就就是创建它的对应的类，如int(1)归属于的类是int，str(‘abc’)归属的类是str

普通的类

类也是一种对象，是一种特殊的对象，也是由更高一级别的类实例化而来，也就是创建类的类，即 元类,也就是type;
有如下两个类，A和B，类B继承自A

# __class__用于获取对象是属于那个类
# __bases__用于获取对象的超类有那些

# 不要混淆继承关系，和数据对象的实例化关系，这是两回事
class A:
    def __init__(self):
        pass

class B(A):
    def __init__(self):
        super().__init__()

a = A()
print(a.__class__)  # <class '__main__.A'>  # 实例化对象a归属的类就是类A(实例化关系)
print(A.__class__)  # <class 'type'>    # 类A本身归属的类是type，这和上面的str,int等都是一样的(实例化关系)
print(A.__bases__)  # (<class 'object'>,)   # 类A直接继承自Object，其超类是Object(继承关系)

b = B()
print(b.__class__)  # <class '__main__.B'>  # 实例化对象b，归属的类是B(实例化关系)
print(B.__class__)  # <class 'type'>    # 类对象B本身，归属属的类是type，和上面的int,str是一样的(实例化关系）
print(B.__bases__)  # (<class '__main__.A'>,)   # 类对象B继承自A，所以其超类就是类对象A(继承关系)

分析：
这里的实例化对象a，其归属的类对象是类A(这就和实例化对象int(1)归属于类int一样的道理),但是在从类A向上溯源其实例化关系，类A归属的类就是type(注意这里说的是类对象的实例化的关系);
类A继承自object,所以类A的超类或者说父类是object(注意这里说的是类对象的继承关系);

实例化对象b，归属的类对象是类B, 所以再从类B向上溯源它的实例化关系，类对象B归属的类还是type(注意这里说的是类对象的实例化的关系);
而类B本身继承自类A,所以从类B再向上溯源其继承关系，类B的超类或者说父类就是类A(注意这里说的是类对象的继承关系);

结论2：

• 从类对象的实例化关系而言，最终源头是type，在默认情况下，所有的对象(尤其是类对象),都是直接或者间接的是元类type而来，也就是 type 实例化后得到 类对象，类对象实例化后，得到普通的数据对象，如数字1,2,3,字符串“abc”,类A实例化的数据对象a,类B实例化的对象b等等；
• 那么既然所有的对象，从实例化的关系而言，（尤其是类对象）源头都是type，换句话说就是类对象的归属的类都是type,所以 所有的对象(尤其是类对象),都是直接或者间接的是元类type的实例化

探究type和object 的类对象归属关系(实例化关系)和继承关系

print(type.__class__)   # <class 'type'>
print(type.__bases__)   # (<class 'object'>,)
print(object.__class__) # <class 'type'>
print(object.__bases__) # ()

再次声明：注意，不要混淆继承关系，和实例化关系，这是两回事
分析：
可以看出，type本身的类归属关系，其所属的类是他本身，也就是type这个类对象，就是它本身实例化而来的；
而type这个类对象，其超类或者说父类，依然是object,也就是type继承自object；
object本身这个类对象，其归属的类是type，也就是说从实例化关系而言，object类对象是由type实例化而来的；
而object的超类或者说父类，是空，那么从继承关系上而言，object再向上已经没有了任何父类；

结论3:

• 从继承关系上来说，object是所有对象或者是所有类的最终超类，object再向上没有父类，即便是type也是继承自object;
• 从实例化关系上来说，object类对象本身，归属的类是type,也就是说始祖类object是type的实例化;
• object和type的这种关系很微妙，但是却是python中的类延伸关系的基石，即：object是一切类，一切对象的始祖类(即使是type也是继承自object)，object再向上没有任何父类或者说超类。但是object是经过type实例化而来，而type本身是继承自object，也就是说object类对象是由其子类type实例化得到的;(对上一个结论的补充)
• 元类对象type归属的类是他本身，object归属的类也是type，所以，类对象type的类是type,类对象object的类也是type，如果对于任意一个对象，追根溯源其到底是那哪个类实例化而来(追踪实例化关系链)，最终都会追溯到元类type这一层为止(对结论2中第二条结论的补充——所有的对象,都是直接或者间接的是元类type的实例化，也就是最终都是type类)；