python元类
一.什么是元类
一切源自于一句话:python中一切皆为对象,让我们先定义一个类,然后逐步分析
1 | class Oldboystudent: |
所有的对象都是实例化或者说调用类而得到的(调用类的过程称为累的实例化),比如对象stu1是用类Oldboystudent得到的
如果一切皆为对象,那么类Oldboystudent本质也是一个对象,既然所有的对象都是调用类得到的,那么Oldboystudent必然也是调用了一个类得到的,这个类称为元类
于是我们可以推导出=======>产生Oldboystudent的过程一定发生了:Oldboystudent=元类(…)
1 | print(type(Oldboystudent)) #<class 'type'> 结果为<class 'type'>,证明是调用了type这个元类而产生的Oldboystudent,即默认的元类为type |
二.class关键字创建类的流程分析
上文我们基于python中一切皆为对象的概念分析出:我们用class关键字定义的类本身也是一个对象,负责产生该对象的类称之为元类(元类可以简称为类的类),内置的元类为type
class关键字在帮我们创建类时,必然帮我们调用了元类Oldboystudent=type(…).,那调用type时传入的参数是什么呢?必然是类的关键组成部分,一个类有三大组成部分,分别是
1.类名class_name=”Oldboystudent”
2.基类们class_bases=(object,)
3.类的名称空间class_dic,类的名称空间是执行类体代码而得到的
调用type时会依次传入以上三个参数
综上,class关键字帮我们创建一个类应该细分为以下四个过程
补充:exec的用法
exec:三个参数
参数一:包含一系列python代码的字符串
参数二:全局作用域(字典形式),如果不指定,默认为globals()
参数三:局部作用域(字典形式),如果不指定,默认为locals()
可以把exec命令的执行当成是一个函数的执行,会将执行期间产生的名字存放于局部名称空间中
三.自定义元类控制类Oldboystudent的创建
一个类没有声明自己的元类,默认它的元类就是type,除了使用内置的元类type,我们也可以通过继承type来自定义元类,然后使用metaclass关键字参数为一个类指定元类
1 | class Mymeta(type): #只有继承了type类才能称之为一个元类,否则就是一个普通的自定义类 |
1 | 自定义元类可以控制类的生产过程,类的产生过程其实就是元类的调用过程,即Oldboystudent=Mymeta('Oldboystudent',(object), ) |
1 | class Mymeta(type): #只有继承了type类才能称之为一个元类,否则就是一个普通的自定义类 |
四.自定义元类控制类Oldboystudent的调用
储备知识:
1 | __call__ |
1 | class Foo: |
1 | 由上例可知,调用一个对象,就是触发对象所在的类中的__call__方法的执行,如果把Oldboystudent也当做一个对象,那么在Oldboystudent这个对象的类中也必然存在一个__call__方法 |
1 | class Mymeta(type): #只有继承了type类才能称之为一个元类,否则就是一个普通的自定义类 |
1 | 默认地,调用stu1=OldboyStudent("ZS",18,"male")会做三件事 |
五.属性查找
结合python继承的实现原理+元类重新看属性的查找应该是什么样子呢???
在学习完元类后,其实我们用class自定义的类也全都是对象(包括object类本身也是元类type的 一个实例,可以用type(object)查看),我们学习过继承的实现原理,如果把类当成对象去看,将下述继承应该说成是:对象OldboyStudent继承对象Foo,对象Foo继承对象Bar,对象Bar继承对象object
1 | class Mymeta(type): #只有继承了type类才能称之为一个元类,否则就是一个普通的自定义类 |
于是属性查找应该分成两层,一层是对象层(基于c3算法的MRO)的查找,另外一个层则是类层(即元类层)的查找
1 | 查找顺序: |
1 | 依据上述总结,我们来分析下元类Mymeta中__call__里的self.__new__的查找 |
1 | class Mymeta(type): |
1 | 总结,Mymeta下的__call__里的self.__new__在OldboyStudent、Foo、Bar里都没有找到__new__的情况下,会去找object里的__new__,而object下默认就有一个__new__,所以即便是之前的类均未实现__new__,也一定会在object中找到一个,根本不会、也根本没必要再去找元类Mymeta->type中查找__new__ |
1 | **但我们还是推荐在__call__中使用self.__new__(self)去创造空对象,因为这种方式会检索三个类OldboyStudent->Foo->Bar,而object.__new__则是直接跨过了他们三个** |
最后说明一点
1 | class Mymeta(type): #只有继承了type类才能称之为一个元类,否则就是一个普通的自定义类 |
补充
1 | class Mymeta(type): |