Python探路-元类

首先，对于Python来说，万物皆对象，类对象是对象，其实类本质也是对象，这一点是和其它语言不一样的地方，在大多数编程语言中，类就是一组用来描述如何生成一个对象的代码段。

在Python世界中，等级很像道中的道生一，一生二，二生三，三生万物。分五个等级，我们一层一层的往下：

1、道 即是 type

2、一 即是 metaclass(元类，或者叫类生成器)

3、二 即是 class(类，或者叫实例生成器)

4、三 即是 instance(实例)

5、万物 即是 实例的各种属性与方法，我们平常使用python时，调用的就是它们。

正常情况下，我们都是用class去创建一个类，但是我们也可以用type去创建一个类，大概的方式是这样的：

def fn(self, name='world'): # 假如我们有一个函数叫fn
    print('Hello, %s.' % name)
    
Hello = type('Hello', (object,), dict(say_hello=fn))

定义：type(类名, 父类的元组（针对继承的情况，可以为空），包含属性的字典（名称和值）)

上面就变成了type生成类，道生二，其实type也是元类，只不过type也可以生成元类。

正常我们生成一个类的流程是这样的，通过type去生成元类，再通过元类去生成类。

# 道生一：传入type
class SayMetaClass(type):
 
    # 传入三大永恒命题：类名称、父类、属性
    def __new__(cls, name, bases, attrs):
        # 创造“天赋”
        attrs['say_'+name] = lambda self,value,saying=name: print(saying+','+value+'!')
        # 传承三大永恒命题：类名称、父类、属性
        return type.__new__(cls, name, bases, attrs)
 
# 一生二：创建类
class Hello(object, metaclass=SayMetaClass):
    pass
 
# 二生三：创建实列
hello = Hello()
 
# 三生万物：调用实例方法
hello.say_Hello('world!')

• 类名的定义：定义ListMetaclass，按照默认习惯，metaclass的类名总是以Metaclass结尾，以便清楚地表示这是一个metaclass
• Metaclass的父类：Metaclass是类的模板，所以必须从`type`类型派生：
• 选择__new__函数作为实现"修改类"的函数：
  • 函数__new__(cls, name,bases,attrs)中，"cls"类似于类中其他函数的self参数，例如__init__(self)，只不过self代表创建的对象，而cls代表类本身（__init__作为实例初始化的函数，需要把实例本身作为参数传进去，这样我们才能保证被修改的是实例；同理，__new__函数需要把类本身作为参数传进去，才能保证被初始化的是当前类）; name代表类的名称；bases代表当前类的父类集合；attrs代表当前类的属性，是狭义上属性和方法的集合，可以用字典dict的方式传入
  • 对__new__的定义def __new__(cls, name,bases,attrs)，实际上，“new”方法在Python中是真正的构造方法（创建并返回实例），通过这个方法可以产生一个”cls”对应的实例对象所以说”new”方法一定要有返回，要把创建的实例对象返回回去。在此，我们把对类的修改放到__new__方法中，然后返回修改过后的实例对象。另外，很简单的道理，选择type.__new__函数作为return的值，是因为我们的ListMetaclass继承自type，因此应该返回class type的__new__函数创建的对象。

首先我们需要先谈一谈Python创建class的机制：

当创建class的时候，python会先检查当前类中有没有__metaclass__，如果有，就用此方法创建对象；如果没有，则会一级一级的检查父类中有没有__metaclass__，用来创建对象。创建的这个“对象”，就是当前的这个类。如果当前类和父类都没有，则会在当前package中寻找__metaclass__方法，如果还没有，则会调用自己隐藏的的type函数来创建对象。

值得注意的是，如果我们在做类的定义时，在class声明处传入关键字metaclass=ListMetaclass，那么如果传入的这个metaclass有__call__函数，这个__call__函数将会覆盖掉MyList class的__new__函数。这是为什么呢？请大家回想一下，当我们实例化MyList的时候，用的语句是L1=MyList()，而我们知道，__call__函数的作用是能让类实例化后的对象能够像函数一样被调用。也就是说MyList是ListMetaclass实例化后的对象，而MyList()调用的就是ListMetaclass的__call__函数。另外，值得一提的是，如果class声明处，我们是让MyList继承ListMetaclass，那么ListMetaclass的__call__函数将不会覆盖掉MyList的__new__函数。

很多人会问，我们生成类的时候，是不会去使用metaclass这个参数的，这是因为我们创建类的流程是这样的：

1、Hello中有__metaclass__这个属性吗？如果是，Python会在内存中通过__metaclass__创建一个名字为Foo的类对象（我说的是类对象，请紧跟我的思路）。

2、如果Python没有找到__metaclass__，它会继续在父类中寻找__metaclass__属性，并尝试做和前面同样的操作。

3、如果Python在任何父类中都找不到__metaclass__，它就会在模块层次中去寻找__metaclass__，并尝试做同样的操作。

4、如果还是找不到__metaclass__,Python就会用内置的type来创建这个类对象。