Python 中的元类编程

核心提示： 这种安排的过人之处在于应用程序程序员不需要了解要使用哪种序列化 — 甚至不需要了解是否 在命令行添加序列化或其它一些跨各部分的能力， 也许元类最常见的用法与 MetaPickler 类似：添加、删除、重命名或替换所产生类中定义的方法，Python 中的元类编程(7)，在我们的示

这种安排的过人之处在于应用程序程序员不需要了解要使用哪种序列化 — 甚至不需要了解是否 在命令行添加序列化或其它一些跨各部分的能力。

也许元类最常见的用法与 MetaPickler 类似：添加、删除、重命名或替换所产生类中定义的方法。在我们的示例中，在创建类 Data （以及由此再创建随后的每个实例）时，“本机” Data.dump() 方法被应用程序之外的某个方法所替代。

使用这种“魔力”来解决问题的其它方法

存在着这样的编程环境：类往往比实例更重要。例如， 说明性迷你语言（declarative mini-languages）是 Python 库，在类声明中直接表示了它的程序逻辑。David 在其文章“ Create declarative mini-languages”中研究了此问题。在这种情形下，使用元类来影响类创建过程是相当有用的。

一种基于类的声明性框架是 gnosis.xml.validity 。在此框架下，可以声明许多“有效性类”，这些类表示了一组有关有效 XML 文档的约束。这些声明非常接近于 DTD 中所包含的那些声明。例如，可以用以下代码来配置一篇“dissertation”文档：

清单 10. simple_diss.py gnosis.xml.validity 规则

from gnosis.xml.validity import *
class figure(EMPTY):　　　pass
class _mixedpara(Or):　　 _disjoins = (PCDATA, figure)
class paragraph(Some):　　_type = _mixedpara
class title(PCDATA):　　　pass
class _paras(Some):　　　 _type = paragraph
class chapter(Seq):　　　 _order = (title, _paras)
class dissertation(Some): _type = chapter

如果在没有正确组件子元素的情形下尝试实例化 dissertation 类，则会产生一个描述性异常；对于每个子元素，亦是如此。当只有一种明确的方式可以将参数“提升”为正确的类型 时，会从较简单的参数来生成正确的子元素。