diff --git a/2.2.md b/2.2.md index b73c88145f0760086757f1e45bb891ecddd29d81..4e9d69cdf166a70f109590ea8293bf9b332275b9 100644 --- a/2.2.md +++ b/2.2.md @@ -170,7 +170,7 @@ Python 中的元组(以及多数其它编程语言中的序列)下标都以 ![](img/barriers.png) -平行线表示隔离系统不同层级的界限。每一层上,界限分离了使用数据抽象的函数(上面)和实现数据抽象的函数(下面)。使用有理数的程序仅仅通过算术函数来操作它们:`add_rat`、`mul_rat`和`eq_rat`。相应地,这些函数仅仅由构造器和选择器`make_rat`、`numer`和`and denom`来实现,它们本身由元组实现。元组如何实现的字节和其它层级没有关系,只要元组支持选择器和构造器的实现。 +平行线表示隔离系统不同层级的界限。每一层上,界限分离了使用数据抽象的函数(上面)和实现数据抽象的函数(下面)。使用有理数的程序仅仅通过算术函数来操作它们:`add_rat`、`mul_rat`和`eq_rat`。相应地,这些函数仅仅由构造器和选择器`make_rat`、`numer`和`denom`来实现,它们本身由元组实现。元组如何实现的字节和其它层级没有关系,只要元组支持选择器和构造器的实现。 每一层上,盒子中的函数强制划分了抽象的边界,因为它们仅仅依赖于上层的表现(通过使用)和底层的实现(通过定义)。这样,抽象界限可以表现为一系列函数。