python 元类编程_Python中的元类编程入门指引

最新推荐文章于 2025-08-21 17:28:13 发布

原创最新推荐文章于 2025-08-21 17:28:13 发布 · 89 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#python 元类编程

回顾面向对象编程

让我们先用 30 秒钟来回顾一下 OOP 到底是什么。在面向对象编程语言中，可以定义类，它们的用途是将相关的数据和行为捆绑在一起。这些类可以继承其父类的部分或全部性质，但也可以定义自己的属性(数据)或方法(行为)。在定义类的过程结束时，类通常充当用来创建实例(有时也简单地称为对象)的模板。同一个类的不同实例通常有不同的数据，但“外表”都是一样 — 例如， Employee 对象 bob 和 jane 都有 .salary 和 .room_number ，但两者的房间和薪水都各不相同。

一些 OOP 语言(包括 Python)允许对象是自省的(也称为反射)。即，自省对象能够描述自己：实例属于哪个类？类有哪些祖先？对象可以用哪些方法和属性？自省让处理对象的函数或方法根据传递给函数或方法的对象类型来做决定。即使没有自省，函数也常常根据实例数据进行划分，例如，到 jane.room_number 的路线不同于到 bob.room_number 的路线，因为它俩在不同的房间。利用自省，还可以在安全地计算 jane 所获奖金的同时，跳过对 bob 的计算，例如，因为 jane 有 .profit_share 属性，或者因为 bob 是子类 Hourly(Employee) 的实例。

元类编程(metaprogramming)的回答

以上概述的基本 OOP 系统功能相当强大。但在上述描述中有一个要素没有受到重视：在 Python(以及其它语言)中，类本身就是可以被传递和自省的对象。正如前面所讲到的，既然可以用类作为模板来生成对象，那么用什么作为模板来生成类呢？答案当然是元类(metaclass)。

Python 一直都有元类。但元类中所涉及的方法在 Python 2.2 中才得以更好地公开在人们面前。Python V2.2 明确地不再只使用一个特殊的(通常是隐藏的)元类来创建每个类对象。现在程序员可以创建原始元类 type 的子类，甚至可以用各种元类动态地生成类。当然，仅仅因为可以在 Python 2.2 中操作元类，这并不能说明您可能想这样做的原因。

而且，不需要使用定制元类来操作类的生成。一种不太费脑筋的概念是类工厂：一种普通的函数，它可以返回在函数体内动态创建的类。用传统的 Python 语法，您可以编写：

清单 1. 老式的 Python 1.5.2 类工厂

>>> def class_with_method(func):

... class klass: pass

... setattr(klass, func.__name__, func)

... return klass

...

>>> def say_foo(self): print 'foo'

...

>>> Foo = class_with_method(say_foo)

>>> foo = Foo()

>>> foo.say_foo()