诊断java代码：设计轻松的代码维护

《诊断java代码：设计轻松的代码维护》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、诊断Java代码：设计轻松的代码维护有效调试源自良好的编程。设计易于维护的程序是程序员面临的最困难挑战之一，其部分原因在于程序通常并不是由那些编写代码的程序员维护的。为了有效维护这样的程序，新程序员必须能够快速了解程序的工作原理，如果程序员能够单独理解整个程序中各个小部分，那么就可以容易地了解程序的工作原理。通过讨论可变性、可译码性、私有方法、最终方法、最终类、本地代码、单元测试以及重构问题，我们将简述编写程序的一些方法，以帮助使程序更易理解和维护。可变性和可译码性首先讨论可变性问题。如果在一个程序的计算期间，其每一部分所处理的数据都没有被

2、该程序的其它、远程部分更改，那么就很容易单独理解该程序的各个部分。太多信息例如，请考虑一个使用容器类实例的程序，可以修改其中的成分链接。每次将容器从程序某一部分上的方法传递到该程序其它部分的方法，以及每次调用new表达式（其中容器被作为参数传递）时，容器就可能脱离调用方法的控制发生改变。在我们首先理解调用方法调用的每个方法如何修改容器之前，我们不能真正确保我们理解了调用方法，由此我们诊断错误的能力也就更差。如果这些被调用的每个方法都依次调用其它修改方法，那么维护程序员为了理解单个方法必须阅读的代码总量会迅速增加，多得无法控制。由于这个原因，

3、对可变容器和不可变容器使用不同类会非常有利。在不可变版本中，容器的字段可以标记成finale求助于函数样式相对于修改旧数据，为构造新数据而进行代码编写称为函数样式，因为程序的方法与数学函数相似，其行为是根据每个输入所返回的输出來单独描述的。函数样式经常被忽略的优点是相当容易单独理解程序的个别组件。如果方法所操纵的数据决不会被其主体中执行的任何操作改变，那么程序员要理解该方法必须做的就是理解那些操作返阿的结果。将Z与前面的…个方法调用儿个其它方法的方案相对照，那个方案中的其它儿个方法都修改这一方法所操作的数据结构。Java语言的一个相当好的特

4、性是它允许我们使用final关键字（作为类型检查器的伪指令）來声明何吋我们要使某个数据成为不可变。使用final关键字來避免变化是“钉住”类的方法行为的一个好方法。每次修改字段吋，都有可能改变引用该字段的方法的行为。另外，将字段标记为final让阅读程序的其他程序员立即知道：不管整个程序有多大，决不要修改该字段。例如，请考虑下列表示不可变列表的类层次结构。清单1.表示不可变列表的类层次结构abstractclassList{・•・}classEmptyextendsList{・・・}classConsextendsList{privatef

5、inalObjectfirst;privatefinalListrest;这些类中的所有字段都被标记成finale要确保这些类的实例不可变，这样做够了吗？不太够。当然，即使字段被标记成final,该字段本身的组件可能不是final,记住这一点很重要。当那些组件更改时，引用那些组件的程序的任何部分可能会被修改，而不管字段本身是否改变。在上面的示例中，尽管列表的组成元素不能被修改，但是我们必须检查那些元素木身没有包含可能被修改的非最终字段。在这种情形中，尽管列表可能包含可变元素，但是我们可以看到存储在给定列表中的元素序列由于以下原因而不可变：E

6、mpty列表（即，长度为零的列表）的实例根本不包含任何元素；因此不能修改它们。Cons（非空列表）实例包含两个字段，都是final。第一个字段包含该列表的第一个元素，它不能被修改；第二个字段包含一个列表，其屮包含所有剩余元素。如果这个列表的内容不可变，那么该包含列表也不可变。但是包含在这第二个字段中的列表比包含列表的长度小一，所以如果我们知道长度为n的所有列表都不可变，那么我们就知道长度为n+1的列表也不可变。因为我们已经知道长度为零的列表不可变，所以我们也知道长度为1、2、3等的列表同样不可变。跟踪与此类似的数据结构连接会很乏味，但当您能

7、确定这种结构的全局特性（诸如不可变性）时，这样做是值得的。控制变化防止出现不期望的变化的最佳策略就是尽可能避免所有变化。只有当出现一定要改变的原因时（例如，当这样做大大简化了代码结构时），我们才应该使用它。当可以避免变化时，所产生的好处是巨大的（在较低的维护费用和增强的健壮性方面）。即使存在一定要改变数据的原因，最好还是设法控制那种变化，从而尽可能限制可能产纶的破坏。迭代器和流是数据结构的极佳示例，这些数据结构明确设计成通过允许我们以常规的、定义良好的形式利用一系列元素，而不是明确修改这些元素的某个句柄来控制变化。私有方法就如同将字段设置成

8、final有助于限制对字段值产生外部影响一样，将它们设置成private有助于限制它们对程序其它部分产生的影响。如果字段是私有的，那么我们可以确信该程序的其它部分都不与它直接相关