Python 元类 - Metaclasses

 Python 元类 - Metaclasses

 默认情况下儿, classes 是有 type() 构造的.
 类的结构体在一个新的 namespace 被执行, 类的名字 class name 绑定(bound locally)到
 type(name, bases, namespace) 的结果上.
 然而, 类的构造过程可以用户定义 - 在定义类的时候通过传入一个 metaclass 关键字;
 或者通过继承至一个有 metaclass 关键字的父类.
     如,
             class Meta(type):
                  pass
 
             class MyClass(metaclass=Meta):
                 pass
         or
             class MySubclass(MyClass):
                 pass
 
 在 class 定义中的其他关键字参数会被传给所有 metaclass 的操作.
     当 class 构造体被执行的时候,python 解释器按照下列顺序 interpretation,
         确定 class 对应的 metaclass ,
         准备 class 的 namespace,
         执行 class 定义体 - class body,
         创建 class 对象 - class object.
 
 下面我们逐一详细看一下儿以上几个解释步骤,
     metaclass 的确定 - Determining the appropriate metaclass
         metaclass 确定原则, 以 class B(metaclass = A, C) 为例阐述,
             如果 class 的定义中没有指定基类 bases, 并且没有 metaclass 关键字,采用 type() 作为 metaclass.
             如果有关键字 metaclass = A, 并且 A 不是 type() 的实例, 直接采用 A 作为 metaclass.
             如果 A 是 type() 一个实例 instance, 或者有定义基类 bases, 则 采用 the most derived metaclass  
 
             注,
                 candidate metaclasses 有2部分原来：
                     a, metaclass 关键字, 如上例子中的 A
                     b, 所有基类 bases的 metaclasses, 如上例子中的 type(c)
                 the most derived metaclass 是 candidate metaclasses 集合中的一个,
                 它需要满足是所有其他的 candidate 的 subtype,如果没有任何一个 candidate 满足这个条件,
                 则 class 的定义会报错，raise  TypeError  exception.
 
     namespace 的确定 - Preparing the class namespace
         metaclass 确定了之后, 到了该确定 namespace 的时候.
         如果 metaclass 有 __prepare__ attribute, 下面的语句将被调用,以确定 namespace
             namespace = metaclass.__prepare__(name, bases, **kwds),
                 **kwds 来至于 class 的定义语句.
         若 metaclass 没有 __prepare__ attribute, 则 类的 namespace 被初始化为空 an empty ordered mapping.
 
     class body 的执行 - Executing the class body
         class body 的执行, 可以用如下伪代码来表示,
             exec(body, globals(), namespace)
 
         跟一般的对 exec()的调用的关键区别在于, 当 class 定义在一个函数中时候,
         允许类的定义体 class body (包括其中的方法) 引用 '当前' 和 '外层' 作用域 scope 的 names
            "The key difference from a normal call to exec() is that lexical scoping allows
             the class body (including any methods) to reference names from the current and
             outer scopes when the class definition occurs inside a function."
         然而,及时 class 被定义在一个函数中, 在 class scope 所定义的 names 对 class 中定义的 methods
         仍然不可见.
         对类变量 Class variables 的访问, 必须通过 self.variable 的形式访问,或作为第一个参数传入.
             即,
                 class A(object):
                     a =  "variable - a"
 
                     def func1(self)：         # 必须通过 self.variable 的形式访问 Class variables
                         print(self.a)
 
                     def func2(self, a):       # 作为第一个参数传入的形式访问 Class variables
                         print(a)
 
             再或者通过 隐式词法作用于 implicit lexically scoped __class__ 引用, 见下一节描述.
 
     class object 的创建 - Creating the class object
         class namespace 被确定之后, class object 由下面方法创建,
             metaclass(name, bases, namespace, **kwds)
                 **kwds  跟传给 __prepare__ 的 **kwds, 即来至于 class 的定义语句.
 
         class object 即 super().__class__, 是一个在 class boby 中存在引用 __class__ 或 super 的方法
         的情况下儿被编译器 compiler 创建一个隐式闭包引用 an implicit closure reference.
         这保证了通过把 class 或者 instance 作为第一个参数来调用(属性/方法)的时候,无参数的 super()
         可以正确的识别对应的 class, 即 class body 中的 self 机制.
 
         CPython implementation detail:
             从 python 3.6 开始, __class__ 被传给 metaclass 作为 __classcell__ 存储在类的 namespace 中.
             如果 __class__ 存在, 需要向上反推到 type.__new__ 的调用,以保证 class 的正确初始化.
             如果 type.__new__ 调用失败,将报告 DeprecationWarning, 之后报 RuntimeWarning (python 3.6).
             当采用默认 metaclass, 或某一 metaclass 调用了 type.__new__, 在创建了 class object 下面额外
             的步骤姜维调用,
                 a, type.__new__ 收集 class namespace 中的所有 descriptors, 定义 __set_name__() 方法
                 b, 在所定义的类上调用 __set_name__ 中的描述符方法,
                    class being defined and the assigned name of that particular descriptor 作为参数.
                 c, 在被定义 class 的最近的基类上(MRO)调用 __init_subclass__(),
             当 class object 被创建后, 如果 class 存在 decorators 将 class object 传给 decorators 装饰.
             将返回的新对象绑定到 local namespace.
             当一个新的 class 是由 type.__new__ 创建的, namespace parameter 复制一个新的 ordered mapping
             中, 源对象被弃用. 新的 ordered mapping 将被包装成 read-only proxy, 最终成为 class object 的
             __dict__ 属性.  
 
 最后来看例子 - Metaclass example
     metaclasses 的潜在用途有很多, 包括  enum, logging, interface checking, automatic delegation,
     automatic property creation, proxies, frameworks, and automatic resource locking/synchronization.
 
     下面是一个通过 collections.OrderedDict 来记录类参数定义顺序的 metaclasses 应用的例子,
         import collections
         class OrderedClass(type):
 
             @classmethod
             def __prepare__(metacls, name, bases, **kwds):
                 return collections.OrderedDict()
 
             def __new__(cls, name, bases, namespace, **kwds):
                 result = type.__new__(cls, name, bases, dict(namespace))
                 result.members = tuple(namespace)
                 return result
 
         class A(metaclass=OrderedClass):
             A = 1
             C = 2
             B = 3
             def one(self): pass
             def two(self): pass
             def three(self): pass
             def four(self): pass
     Output,
         >>> A.members
         ('__module__', '__qualname__', 'A', 'C', 'B', 'one', 'two', 'three', 'four')
 
     当类 A 的定义体被执行的时候, 先调用 metaclass 的 __prepare__ 方法, __prepare__()
     返回一个空的 collections.OrderedDict. 这个 OrderedDict 被用来按声明顺序记录 A 中
     定义的 methods and attributes. 当解释器解释到 attributes 被声明的位置时, 通过执行声明
     将 attributes 被添加到 ordered dictionary. 并且调用 metaclass 的 __new__() method 被,
     结果就是 __new__() 创建一个新的的 type 并将 ordered dictionary 的 keys 存储在 members
     属性中.
 
 Reference,
     python doc,
         https://docs.python.org/3/reference/datamodel.html#metaclasses