我们将变量设置为私有有一个理由:不想让其他人依赖这些变量。
6.1 数据抽象
隐藏实现并非只是在变量之间放上一个函数层那么简单。隐藏实现关乎抽象!类并不简单地用取值器和赋值器将变量推向外界,而是暴露抽象接口,以便用户无须了解数据的实现就能操作数据本体。
要以最好的方式呈现某个对象包含的数据,需要进行严肃的思考。随意乱加取值器和赋值器是最坏的选择。
6.2 数据、对象的反对称性
对象把数据隐藏于抽象之后,暴露操作数据的函数;而数据结构暴露其数据,没有提供有意义的函数。
对象与数据结构之间的二分原理:
过程式代码(使用数据结构的代码)便于在不改动既有数据结构的前提下添加新函数;面向对象代码便于在不改动既有函数的前提下添加新类。
过程式代码难以添加新数据结构,因为必须修改所有函数;面向对象代码难以添加新函数,因为必须修改所有类。
6.3 得墨忒耳律
著名的得墨忒耳律认为,模块不应了解它所操作对象的内部情形。
类C的方法f只应调用以下对象的方法:
- C
- 由f创建的对象
- 作为参数传递给f的对象
- 由C的实体变量持有的对象
方法不应调用任何函数返回的对象的方法。
6.3.1 火车失事
连串的调用通常被认为是肮脏的风格,应该避免。
6.3.2 混杂
一半是对象,另一半是数据结构。这种结构拥有执行操作的函数,也有公共变量或公共访问器及改值器。
此类混杂增加了添加新函数的难度,也增加了添加新数据结构的难度。
6.3.3 隐藏结构
6.4 数据传送对象
最为精炼的数据结构,是一个只有公共变量、没有函数的类。被称为数据传送对象(Data Transfer Objects, DTO)。
Active Record
Active Record是一种特殊的DTO形式。它们是拥有公共变量的数据结构,但通常也会拥有类似save和find这样的可浏览方法。
6.5 小结
对象暴露行为,隐藏数据,便于添加新对象类型而无须修改既有行为,同时难以在既有对象中添加新行为;数据结构暴露数据,没有明显的行为,便于向既有数据结构添加新行为,同时难以向既有函数添加新数据结构。