第 11 章 接口:从协议到抽象基类

抽象类表示接口。1

——Bjarne Stroustrup
C++ 之父

1Bjarne Stroustrup, The Design and Evolution of C++ (Addison-Wesley, 1994), p. 278.

本章讨论的话题是接口:从鸭子类型的代表特征动态协议,到使接口更明确、能验证实现是否符合规定的抽象基类(Abstract Base Class,ABC)。

如果用过 Java、C#或类似的语言,你会觉得鸭子类型的非正式协议很新奇。但是对长时间使用 Python 或 Ruby 的程序员来说,这是接口的“常规”方式,新知识是抽象基类的严格规定和类型检查。Python 语言诞生 15 年后,Python 2.6 才引入抽象基类。

本章先说明 Python 社区以往对接口的不严谨理解:部分实现接口通常被认为是可接受的。我们将通过几个示例强调鸭子类型的动态本性,从而澄清这一点。

接着,我邀请 Alex Martelli 写了一篇短文,对抽象基类做了介绍,还为 Python 编程的一个新趋势下了定义。本章余下的内容专门讲解抽象基类。首先,本章说明抽象基类的常见用途:实现接口时作为超类使用。然后,说明抽象基类如何检查具体子类是否符合接口定义,以及如何使用注册机制声明一个类实现了某个接口,而不进行子类化操作。最后,说明如何让抽象基类自动“识别”任何符合接口的类——不进行子类化或注册。

我们将实现一个新抽象基类,看看它的运作方式。但是,我和 Alex Martelli 都不建议你自己编写抽象基类,因为很容易过度设计。

 抽象基类与描述符和元类一样,是用于构建框架的工具。因此,只有少数 Python 开发者编写的抽象基类不会对用户施加不必要的限制,让他们做无用功。

下面我们从 Python 风格的角度探讨接口。