《敏捷软件开发》学习笔记：敏捷设计原则
2011-2-15
什么是敏捷设计
遵循敏捷实践去发现问题；应用设计原则去诊断问题；应用适当的设计模式去解决问题。
软件开发这三个方面件的相互作用就是设计。
单一职责原则SRP
就一个类而言，应该仅有一个引起它变化的原因。
把职责定义为“变化的原因”。如果有多于一个动机去改变一个类，这个类就具有多于一个的职责。
开放封闭原则OCP
OCP 是面向对象设计的核心所在。
Open for extension, Closed for modification.
如何实现？
实现这个原则的关键是抽象。模块依赖于一个固定的抽象体，它对于更改是关闭的。通过从这个抽象体派生，可以扩展此模块的行为。
判断出可能发生的变化，然后构造抽象隔离这些变化。
常见的模式：stategy, template method。
怎么知道变化在那里？
1) 根据经验判断；
2) 等待；
主动的刺激变化发生，可以构建测试用例，缩短交付周期，先交付重要的特性，尽早交付。这就是敏捷开发的好处之一。
抽象不能滥用
应该仅仅对频繁变化的那些部分做出抽象。
Liskov替换原则
原则描述
LSP：子类型(subtype)必须能够替换它们的基类型(base type)。
OCP 是OOD 中很多说法的核心。LSP 是使 OCP成为可能的主要原则之一。
子类型的可替换性，使得使用基类类型的模块在无需修改的情况下就可以扩展。
可替换性并非可以轻易获得，依赖于客户的合理假设
IS-A的含义过于宽泛，不能用来判断可替换性。IS-A关系是就行为方式而言的，行为方式是可以进行合理假设的，是客户程序所依赖的。
一个模型，如果孤立的看，并不具有真正意义上的有效性。模型的有效性只能通过它的客户程序来表现。必须根据使用者的合理假设进行审视。
基于契约的编程，可以使合理的假设明确化
契约是通过为每个方法声明的前置条件和后置条件来制定的。
可替换性要求：子类型的前置条件不能更强，后置条件不能更弱。
修改设计，符合LSP
如果IS-A关系不能符合LSP，需要进行设计的修改：提取公共部分作为基类。
违反LSP 的用法
1)派生类中的退化函数；
2)从派生类中抛出异常；
依赖倒置原则DIP
传统的过程化设计方法，会产生层次化的结构，上层对底层产生依赖。
而面向对象设计中，我们可以将依赖关系倒置，高层模块不应该依赖于底层模块，二者都应该依赖于抽象。
抽象接口的所有权属于高层（所以变化较少）。抽象不依赖于细节，底层反而依赖于在高层中声明的抽象服务接口，这就是倒置的含义。这和传统的过程化程序设计所创建出来的依赖关系结构相反。
依赖终止于抽象
程序中所有的依赖都应该终止于抽象类或者接口。把不稳定隐藏在抽象后面，隔离变化。
编程要求：
1)变量不能持有具体类对象的指针、引用；
2)不能从具体类继承；
3)不能覆盖基类中已经实现的方法；
两种实现方法
1) 动态
2) 静态 -- 使用模板
接口隔离原则ISP
设计中要避免Fat接口，因为：
1)客户程序会依赖它们不用的接口；
2)客户程序会对接口产生反作用力，引起接口的变化；
3)如果客户程序是分离的，接口也应该保持分离。否则，不同客户之间会产生依赖。
存在的约束：有时出于实现的需要，一些无关的接口必须放在一个对象中。
解决的办法
通过委托、或者多重继承。
2012-8-3 更新
