decompose：分解，分离

consolidate：合并

eligible：合适的，合格的

fragment：碎片，片段

nest：嵌套

guard：保卫

clause：从句

polymorphism：多态

assertion：断言

unchecked exception：不可控异常

 

 

[b]状况：[/b]你有一个复杂的条件（if-else if-else）语句，那么[b]从if、else if、else三个段落中分别提炼出函数。[/b]

 

[b]状况：[/b]你有一些条件测试，都得到相同的结果，那么[b]将这些测试合并为一个条件式，并将这个条件提炼称为一个独立的函数。[/b]

[b]动机：[/b] 1、合并后的条件代码会告诉你“实际上只有一次条件检查，只不过有数个并列条件需要检查而已“，——使检查的用意更清晰。

　　　  2、为Extract Method做好准备。——将检查条件提炼成一个独立函数，对于理清代码意义非常有用。它把描述“做什么”的语句换成了“为什么这样做”。

[img]http://files.jb51.net/upload/201204/20120409223358410.png[/img] [img]http://files.jb51.net/upload/201204/20120409223358720.png[/img] [img]http://files.jb51.net/upload/201204/20120409223358116.png[/img] [img]http://files.jb51.net/upload/201204/20120409223358720.png[/img] [img]http://files.jb51.net/upload/201204/20120409223358236.png[/img]   [b]条件语句的“合并理由”也同时指出了“不要合并”的理由：[/b]如果你认为你的这些检查的确彼此独立，的确不应该被视为同一次检查，那么就不要使用本项重构。因为在这种情况下，你的代码已经清楚表达出自己的意义。   [img]http://files.jb51.net/upload/201204/20120409223358248.png[/img]  

[b]采点：[/b]

[img]http://files.jb51.net/upload/201204/20120409223400386.png[/img]

　　1、常常会有这样的代码，只有当某个条件为真时，该段代码才能正常运行。——实际上程序最后成品往往将assertion统统删除。

　　2、这样的假设通常并没有在代码中明确表现出来，你必须阅读整个算法才能看出。——有时候程序员会以注释写出这样的假设，而assetion是一种更好的技术。

　　3、assertion是一个条件式，应该总是为真。如果失败，表示[b]程序员犯了错误[/b]。

　　4、assertion可以作为[b]交流与调试[/b]的辅助。——交流：可以帮助程序员阅读理解代码所做的假设。调试：帮助程序员找到bug，可以在距离最近的地方抓住bug。

　　5、[b]assertion并不改变程序的任何行为。[/b]

　　6、[b]assertion价值：帮助程序员理解代码正确运行的必要条件。[/b]

　　7、建议最好把assertion的条件式使用Extract Method，为了将若干地方的重复码提炼到同一个函数中，也许只是为了更清楚说明条件式的用途。