a、高层模块不应该依赖于底层模块。它们2者应该都依赖于抽象。
b、抽象不应该依赖于细节。细节依赖于抽象。
许多传统的软件设计方法,比如结构化分析设计,倾向于设计出高层模块依赖于低层模块、策略依赖于细节的软件结构。
对于这种结构,如果低层细节变化,那么上层策略也要跟着变化。
明显是不合理的,本应该是高层的策略影响低层的细节实现。
如果高层模块都为它需要的服务,声明一个抽象接口,较低层次实现这个接口。
这样高层将不依赖与低层,低层反而依赖高层声明的抽象接口了。
如果高层模块独立于低层模块,那么高层模块是很容易被重用。
这个是框架(framework)设计的核心原则。
理想情况是:程序中所有的依赖关系,都终止于抽象类或接口。
当类A操作类B时,那么A就是依赖B的。
示例:类Button、 类Lamp
代码:
public class Button
{
private Lamp myLamp;
public void poll()
{
myLamp.turnOn();
}
}
这个设计违反了DIP原则。高层依赖了低层的实现细节。
如果Lamp发生了变化,Button可能会需要修改。
如果Button要控制新的设备,Button需要修改。
改进设计:
这样,Button可控制所有可turnOn、turnOff的对象, 且不用修改Button的代码。
总结:
使用传统的过程化设计所创建的软件结构,策略是依赖细节的,这是糟糕的。
面向对象的程序设计,倒置了依赖关系结构,并且常常是客户拥有服务接口。
事实上,依赖关系倒置,是面向对象设计的标志所在。使用哪种语言编写程序是不重要的。
如果程序的依赖关系是倒置的,那它就是面向对象的。
如果不是倒置的,拿它就是过程化的设计。