Python mateclass
Python mateclass
一 你可以从这里获取什么?
也许你在阅读别人的代码的时候碰到过metaclass,那你可以参考这里的介绍。
或许你需要设计一些底层的库,也许metaclass能帮你简化你的设计(也有可能复杂化:)
也许你在了解metaclass的相关知识之后,你对python的类的一些机制会更了解。
更多...
二 metaclass的作用是什么?(感性认识)
metaclass能有什么用处,先来个感性的认识:
你可以自由的、动态的修改/增加/删除 类的或者实例中的方法或者属性
批量的对某些方法使用decorator,而不需要每次都在方法的上面加入@decorator_func
当引入第三方库的时候,如果该库某些类需要patch的时候可以用metaclass
可以用于序列化(参见yaml这个库的实现,我没怎么仔细看)
提供接口注册,接口格式检查等
自动委托
更多...
三 metaclass的相关知识
- 什么是元类?
1.1 在wiki上面,metaclass是这样定义的:在面向对象编程中,
元类是其实例为类的类。
就像普通类定义某些对象的行为一样,
元类定义某些类及其实例的行为。
也就是说metaclass的实例化结果是类,而class实例化的结果是instance。我是这么理解的:
metaclass是类似创建类的模板,所有的类都是通过他来create的(调用__new__),这使得你可以自由的控制
创建类的那个过程,实现你所需要的功能。
1.2 元类基础
* 一般情况下, 如果你要用类来实现metaclass的话,该类需要继承于type,而且通常会重写type的__new__方法来控制创建过程。
当然你也可以用函数的方式(下文会讲)
* 在metaclass里面定义的方法会成为类的方法,可以直接通过类名来调用
- 使用气象类
2.1 用类的形式
2.1.1 类继承于type, 例如: class Meta(type):p ass
2.1.2 将需要使用metaclass来构建class的类的__metaclass__属性(不需要显示声明,直接有的了)赋值为Meta(继承于type的类)
2.2 用函数的形式
2.2.1 构建一个函数,例如叫metaclass_new, 需要3个参数:name, bases, attrs,
名称: 类的名字
bases: 基类,通常是tuple类型
attrs: dict类型,就是类的属性或者函数
2.2.2 将需要使用metaclass来构建class的类的__metaclass__属性(不需要显示声明,直接有的了)赋值为函数metaclas_new
3 元类 原理
3.1 基本
metaclass的原理其实是这样的:当定义好类之后,创建类的时候其实是调用了type的__new__方法为这个类分配内存空间,创建
好了之后再调用type的__init__方法初始化(做一些赋值等)。所以metaclass的所有magic其实就在于这个__new__方法里面了。
说说这个方法:new(cls, name, bases, attrs)
cls: 将要创建的类,类似与self,但是self指向的是instance,而这里cls指向的是class
name: 类的名字,也就是我们通常用类名.__name__获取的。
基类: 基类
attrs: 属性的dict。dict的内容可以是变量(类属性),也可以是函数(类方法)。
所以在创建类的过程,我们可以在这个函数里面修改name,bases,attrs的值来自由的达到我们的功能。这里常用的配合方法是
getattr和setattr(只是一个建议)
3.2 查找顺序
再说说关于__metaclass__这个属性。这个属性的说明是这样的:
此变量可以是名称、基数和字典的任何可调用接受参数。创建类时,将使用可调用对象而不是内置的 type()。版本 2.2 中的新功能。(所以有了上面介绍的分别用类或者函数的方法)
The appropriate metaclass is determined by the following precedence rules:
If dict['metaclass'] exists, it is used.
Otherwise, if there is at least one base class, its metaclass is used (this looks for a class attribute first and if not found, uses its type).
Otherwise, if a global variable named metaclass exists, it is used.
Otherwise, the old-style, classic metaclass (types.ClassType) is used.
这个查找顺序也比较好懂,而且利用这个顺序的话,如果是old-style类的话,可以在某个需要的模块里面指定全局变量
metaclass = type就能把所有的old-style 变成 new-style的类了。(这是其中一种trick)
四 例子
针对第二点说的metaclass的作用,顺序来给些例子:
- 你可以自由的、动态的修改/增加/删除 类的或者实例中的方法或者属性
Python代码
- #!/usr/bin/python
- #coding :utf-8
- def ma(cls):
- print 'method a'
- def mb(cls):
- print 'method b'
- method_dict = {
- 'ma': ma,
- 'mb': mb,
- }
- class DynamicMethod(type):
- def new(cls, name, bases, dct):
- if name[:3] == 'Abc':
- dct.update(method_dict)
- return type.new(cls, name, bases, dct)
- def init(cls, name, bases, dct):
- super(DynamicMethod, cls).init(name, bases, dct)
- class AbcTest(object):
- metaclass = DynamicMethod
- def mc(self, x):
- print x * 3
- class NotAbc(object):
- metaclass = DynamicMethod
- def md(self, x):
- print x * 3
- def main():
- a = AbcTest()
- a.mc(3)
- a.ma()
- print dir(a)
- b = NotAbc()
- print dir(b)
- if name == 'main':
- main()
通过DynamicMethod这个metaclass的原型,我们可以在那些指定了__metaclass__属性位DynamicMethod的类里面,
根据类名字,如果是以'Abc'开头的就给它加上ma和mb的方法(这里的条件只是一种简单的例子假设了,实际应用上
可能更复杂),如果不是'Abc'开头的类就不加. 这样就可以打到动态添加方法的效果了。其实,你也可以将需要动态
添加或者修改的方法改到__new__里面,因为python是支持在方法里面再定义方法的. 通过这个例子,其实可以看到
只要我们能操作__new__方法里面的其中一个参数attrs,就可以动态添加东西了。
- 批量的对某些方法使用decorator,而不需要每次都在方法的上面加入@decorator_func
这个其实有应用场景的,就是比如我们cgi程序里面,很多需要验证登录或者是否有权限的,只有验证通过之后才
可以操作。那么如果你有很多个操作都需要这样做,我们一般情况下可以手动在每个方法的前头用@login_required
类似这样的方式。那如果学习了metaclass的使用的话,这次你也可以这样做:
Python代码
- #!/usr/bin/python
- #coding :utf-8
- from types import FunctionType
- def login_required(func):
- print 'login check logic here'
- return func
- class LoginDecorator(type):
- def new(cls, name, bases, dct):
- for name, value in dct.iteritems():
- if name not in ('metaclass', 'init', 'module') and\
- type(value) == FunctionType:
- value = login_required(value)
- dct[name] = value
- return type.new(cls, name, bases, dct)
- class Operation(object):
- metaclass = LoginDecorator
- def delete(self, x):
- 打印 '已删除 %s' % str(x)
- def main():
- op = Operation()
- op.delete('test')
- 如果 name == 'main':
- 主()
这样子你就可以不用在delete函数上面写@login_required, 也能达到decorator的效果了。不过可读性就差点了。
- 当引入第三方库的时候,如果该库某些类需要patch的时候可以用metaclass
Python代码
#!/usr/bin/python
#coding :utf-8
def monkey_patch(name, bases, dct):
assert len(bases) == 1
基数 = 基数[0]
对于 name, value in dct.iteritems():
如果名称不在 (“module”、“metaclass”):
setattr(base, name, value)
返回基地
类 A(对象):
def a(自我):
打印“我是一个对象”
类 PatchA(A):
metaclass = monkey_patch
def patcha_method(自我):
打印“这是为A类修补的方法”
def main():
pa = PatchA()
pa.patcha_method()
pa.a()
print dir(pa)
print dir(PatchA)
如果 name == 'main':
主()
提供接口注册,接口格式检查等, 这个功能可以参考这篇文章:
http://mikeconley.ca/blog/2010/05/04/python-metaclasses-in-review-board/
- 自动委托
以下是网上的例子:
http://marlonyao.iteye.com/blog/762156
五 总结
- 元类的使用原则:
如果你想知道你是否需要它们,你不需要(真正需要它们的人肯定地知道他们需要它们,并且不需要解释为什么)。--蒂姆·彼得斯
也就是说如果你不知道能用metaclass来干什么的话,你尽量不要用,因为通常metaclass的代码会增加代码的复杂度,
降低代码的可读性。所以你必需权衡metaclass的利弊。
- metaclass的优势在于它的动态性和可描述性(比如上面例子中的self.delegate.getitem(i)这样的代码,它
可以用另外的函数代码生成,而无需每次手动编写), 它能把类的动态性扩展到极致。
六 补充
以下是同事们的很好的补充:
张同学:
1.metaclass属于元编程(metaprogramming)的范畴,所谓元编程就是让程序来写
(generate/modify)程序,这通常依赖于语言及其运行时系统的动态特性(其实像C
这样的语言也可以进行元编程)。正如楼主所说,元编程的一个用途就是"可以用另
外的函数代码生成,而无需每次手动编写“,在python中我们可以做得更多。
2.对于python而言,metaclass使程序员可以干涉class的创建过程,并可以在任何
时候修改这样的class(包括修改metaclass),由于class的意义是为instance集合
持有“方法”,所以修改了一个class就等于修改了所有这些instance的行为,这是
很好的服务。
3.注意metaclass的__new__和__init__的区别。
类动态方法(类型):
def new(cls, name, bases, dct): # cls=DynamicMethod
def init(cls, name, bases, dct): # cls=你创建的类对象
这意味着在__new__中我们通常只是修改dct,但是在__init__中,我们可以直接修
改创建好的类,所以我认为这两个接口的主要区别有2点:
1)调用时机不同(用处请发散思维);
2)__init__比__new__更有用,我在实际项目中一般都是用__init__的。
4.在python中我们为什么要修改class?那当然是为了改变它的行为,或者为了创
建出独一无二的类。实际中常常需要为class动态添加方法。比如一个数据库表A有
字段name, address等,表B有name, phone等,你希望A的模型类有
find_by_address、find_by_name_and_address等方法,希望B的模型类有
find_by_name、find_by_phone等方法,但是又不想手写这些方法(其实不可能手
写,因为这种组合太多了),这时你可以在A、B共同的metaclass中定义一个自动添
加方法的子程序,当然你也可以重写__getattr__之类的接口来hook所有
find_by_XXX函数调用,这就是时间换空间了,想象你要执行find_by_XXX一百万
次。也可以比较一下在c++/java中如何应对这种需求。
5.python的成功之处在于它无处不在的namespace(就是那个__dict__,其意义可以
参考SICP第一章的environment模型,对计算理论感兴趣的也可以用lambda演算来
解释),而且函数又是first class对象,又强化了interface的使用。我们知道了
metaclass->class->instance的关系,又知道了对象的方法是放在类里的(请详细
考察python查找一个方法的流程),那么用python实现各种设计模式就比较简单了。
6.metaclass不会使程序变晦涩,前提是了解了metaclass的固有存在,许多教程的
问题就在于它没有告诉读者metaclass的存在,而是借助某些其他语言(比如c++)的
类模型来讲解python。在ruby的类型系统中metaclass是无限的,metaclass也有自
己的metaclass(你可以称之为metametaclass、metametametaclass等等),ruby
善于实现DSL和语法分析器也部分得益于此。
岳同学:
不能说__init__比__new__更有用吧。我觉得要看场合。毕竟__new__能做到比
__init__更多的事情。比如有时候想改生成的类型名字,或者改类型的父类。😃
不过的确大多数场合用__init__就够用了。+1
在__init__中控制类生成的过程有一点要注意:在__init__()的最后一个参
数(attrs)中,对于类中定义的函数类型的属性,比如:
def abc(self):
通过
仍然具有以下的key->value形式:
“abc”:<函数对象>
但是在生成的类中,“abc”对应的属性已经从一个function变成了一个unbind
方法:
self.abc -->解绑方法
不过实际使用中影响不大
七 其他
- 哪些项目有用metaclass:
据我所知就是django中的数据库部分的很多都使用metaclass来实现可描述性的
还有谷歌 app engine的代码里面也有使用
yaml中的序列化部分代码也有使用
。。。
- 参考资料:
Python中的元类编程[http://gnosis.cx/publish/programming/metaclass_1.html]
* Python中用MetaClass实现委托、不可变集合 [http://marlonyao.iteye.com/blog/762156]
* 元类 [http://en.wikipedia.org/wiki/Metaclasses#Python_example]