在大多数编程语言中,类就是一组用来描述如何生成一个对象的代码段。
类同样也是一种对象。是的,没错,就是对象。只要你使用关键字class,Python解释器在执行的时候就会创建一个对象。
这个对象(类)自身拥有创建对象(类实例)的能力,而这就是为什么它是一个类的原因。它的本质仍然是一个对象。
type有一种完全不同的能力,它也能动态的创建类。type可以接受一个类的描述作为参数,然后返回一个类。
type(类名, 父类的元组(针对继承的情况,可以为空),包含属性的字典(名称和值))
Foo = type('Foo', (), {'bar':True})
继承
FooChild = type('FooChild', (Foo,),{})
定义函数:
def echo_bar(self):
… print self.bar
…
>>> FooChild = type('FooChild', (Foo,), {'echo_bar': echo_bar})
元类就是用来创建类的“东西”。type就是Python在背后用来创建所有类的元类。
可以在写一个类的时候为其添加__metaclass__属性。
元类的主要目的就是为了当创建类时能够自动地改变类。元类的主要用途是创建API。
就元类本身而言,它们其实是很简单的:
1) 拦截类的创建
2) 修改类
3) 返回修改之后的类
还可以通过其他两种技术来修改类:
1) Monkey patching
Monkey patch就是在运行时对已有的代码进行修改,达到hot patch的目的。
2) class decorators
decorator 其实就是一个至少具有一个参数的函数 —— 程序员要负责确保 decorator 的返回内容仍然是一个有意义的函数或方法,并且实现了原函数为使连接有用而做的事情。