《代码大全2》第六、七章

作者在第六章中从抽象数据类型(Abstract Data Type)出发阐释类(class)的概念,给出创建类的原因以及创建高质量的常涉及的设计问题。抽象数据类型(ADT)是指一些数据以及对这些数据所进行的操作的集合,ADT是一个比类更基础的概念,类由ADT出发得到扩展,或者说,类是ADT的实现形式之一。ADT概念是与本书前文中的整体抽象概念一脉相承的,使用ADT可以隐藏实现细节,更容易提高性能,让程序更具有自我说明性(self-explanatory),这都是从管理复杂度的基本任务出发的。

那么在什么情境下我们应该选择创建一个类呢?本书作者总结了诸多合理原因例如对现实世界中的对象或抽象对象建模、降低及隔离复杂度、隐藏全局数据、限制变化所影响的范围、实现中心控制点、让代码易于重用和重构等等。创建具有良好抽象的类接口对于创建一个高质量的类至关重要。在一个良好抽象化的类接口中,每一个子程序都朝着一致的目标工作;反之,没经过良好抽象的类混杂着各种子程序,内聚性差。封装是一个比抽象更强的概念,抽象提供一个让程序员忽略实现细节的模型,而封装强制阻止程序员看到细节。良好的封装会尽可能地限制类和成员的可访问性,避免把私用的实现细节放在类的接口中。

相比起ADT,类还衍生出继承和多态两个概念。在书中作者重点讨论了继承的优势和危险。继承的目的在于“定义能为两个或多个派生类提供共有元素的基类”,但如果使用不当,继承会大幅增加程序的复杂度。作者建议慎用继承,避免让继承体系过深,把公用的接口、数据和操作放到继承树中尽可能高的位置。

另外在设计和实现类时,要保持类与类之间较为松散的耦合,对其他类的子程序的简介调用要尽可能的少,避免创建万能类,消除无关紧要的类。而在一个类内,如果可能,应该在素有构造函数中初始化所有的数据成员,优先采用深层副本。

第七章就如何编写高质量的子程序展开讨论。子程序是为了实现一个特定的目的而编写的一个可被调用的方法或过程,例如C++中的function, Java中的method。子程序可以避免代码的重复,引入中间、易懂的抽象,简化复杂的逻辑判断,隔离复杂度,提高整个程序的可移植性。在子程序层上的设计,作者阐述了几种内聚性,其中被最好的一种内聚性是功能上的内聚性,也就是说,令子程序实现的功能专一化。紧接着是一些在代码编写过程始终存在的问题:如何给变量取个好名字?子程序可以写多长?如何使用子程序参数?等等。作者给出了相当详实的建议和例子,此处不一一列举。最后作者对函数和过程的概念进行了辨析,并指出使用宏子程序和内敛子程序应该注意的问题。

05-15 16:02