依赖倒置原则的2@H_502_3@个重要方针@H_502_3@
A. High level modules should not depend upon low level modules. Both shoulddepend upon abstractions.@H_502_3@
@H_502_3@
高层模块不应该依赖于低层模块,二者都应该依赖于抽象@H_502_3@
B. Abstractions should not depend upon details. Details should depend uponabstractions.@H_502_3@
抽象不应该依赖于细节,细节应该依赖于抽象@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
概念解说:@H_502_3@
@H_502_3@
依赖:在程序设计中,如果一个模块a@H_502_3@使用/@H_502_3@调用了另一个模块b@H_502_3@,我们称模块a@H_502_3@依赖模块b@H_502_3@。@H_502_3@
@H_502_3@
低层模块:往往在一个应用程序中,我们有一些低层次的类,这些类实现了一些@H_502_3@
@H_502_3@
基本的或初级的操作,我们称之为低层模块;@H_502_3@
@H_502_3@
高层模块:另外有一些高层次的类,这些类封装了某些复杂的逻辑,并且依赖于@H_502_3@
@H_502_3@
低层次的类,这些类我们称之为高层模块。@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
我们现在来看看依赖有几种,依赖也就是耦合,@H_502_3@分为下面三种:@H_502_3@
@H_502_3@
----- @H_502_3@零耦合(Nil Coupling)@H_502_3@关系,两个类没有依赖关系,那就是零耦合。
@H_502_3@
----- @H_502_3@具体耦合(Concrete Coupling)@H_502_3@关系,两个具体的类之间有依赖关系,
@H_502_3@
那么就是具体耦合关系,如果一个具体类直接引用另外一个具体类就会发@H_502_3@
@H_502_3@
生这种关系。@H_502_3@
@H_502_3@
-----@H_502_3@抽象耦合(Abstract Coupling)@H_502_3@关系,这种关系发生在一个具体类和一个抽
@H_502_3@
象类之间,这样就使必须发生关系的类之间保持最大的灵活性。@H_502_3@
@H_502_3@
@H_502_3@
为什么叫做依赖倒置(DependencyInversion@H_502_3@)呢?@H_502_3@
面向对象程序设计相对于面向过程(结构化)程序设计而言,依赖关系被倒置了。因为传统的结构化程序设计中,高层模块总是依赖于低层模块。@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
依赖倒置(Dependence InversionPrinciple@H_502_3@)原则讲的是:要依赖于抽象,不要依赖于具体。@H_502_3@
@H_502_3@
简单的说,依赖倒置原则要求客户端依赖于抽象耦合。原则表述:@H_502_3@
@H_502_3@
抽象不应当依赖于细节;细节应当依赖于抽象;@H_502_3@
@H_502_3@
要针对接口编程,不针对实现编程。@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
问题的提出@H_502_3@
Robert C. Martin@H_502_3@氏在原文中给出了“Bad Design@H_502_3@”的定义:
1. It is hard to change because every change affects too many other parts ofthe system.(Rigidity)@H_502_3@
系统很难改变,因为每个改变都会影响其他很多部分。@H_502_3@
2. When you make a change,unexpected parts of the system break. (Fragility)@H_502_3@
当你对某地方做一修改,系统的看似无关的其他部分都不工作了。@H_502_3@
3. It is hard to reuse in another application because it cannot be disentangledfrom the current application. (Immobility)@H_502_3@
系统很难被另外一个应用重用,因为你很难将要重用的部分从系统中分离开来。@H_502_3@
@H_502_3@
导致“Bad Design@H_502_3@”的很大原因是“高层模块”过分依赖“低层模块”。@H_502_3@
一个良好的设计应该是系统的每一部分都是可替换的。@H_502_3@
如果“高层模块”过分依赖“低层模块”:@H_502_3@
@H_502_3@
一方面一旦“低层模块”需要替换或者修改,“高层模块”将受到影响;@H_502_3@
@H_502_3@
另一方面,高层模块很难可以重用。@H_502_3@
@H_502_3@
比如,一个Copy@H_502_3@模块,需要把来自Keyboard@H_502_3@的输入复制到Print@H_502_3@,@H_502_3@
@H_502_3@
即使对Keyboard@H_502_3@和Print@H_502_3@的封装已经做得非常好,但如果Copy@H_502_3@模块里直接使用Keyboard@H_502_3@与Print@H_502_3@,@H_502_3@
@H_502_3@
Copy@H_502_3@任很难被其他应用环境(比如需要输出到磁盘时)重用。
@H_502_3@
@H_502_3@
为了解决上述问题,Robert C. Martin@H_502_3@氏提出了OO@H_502_3@设计的Dependency Inversion Principle (DIP)@H_502_3@原则。@H_502_3@
@H_502_3@
@H_502_3@
在高层模块与低层模块之间,引入一个抽象接口层。@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
High Level Classes@H_502_3@(高层模块) -->@H_502_3@
@H_502_3@
Abstraction Layer@H_502_3@(抽象接口层) -->@H_502_3@
@H_502_3@
Low Level Classes@H_502_3@(低层模块)
@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
抽象接口是对低层模块的抽象,低层模块继承或实现该抽象接口。@H_502_3@
这样,高层模块不直接依赖低层模块,高层模块与低层模块都依赖抽象接口层。@H_502_3@
当然,抽象也不依赖低层模块的实现细节,低层模块依赖(继承或实现)抽象定义。@H_502_3@
@H_502_3@
Robert C. Martin@H_502_3@氏给出的DIP@H_502_3@方案的类的结构图:
@H_502_3@
@H_502_3@
PolicyLayer --> @H_502_3@
@H_502_3@
MechanismInterface(abstract) -->@H_502_3@
@H_502_3@
MechanismLayer -->@H_502_3@
@H_502_3@
UtilityInterface(abstract) -->@H_502_3@
@H_502_3@
UtilityLayer@H_502_3@
@H_502_3@
@H_502_3@
类与类之间都通过Abstract Layer@H_502_3@来组合关系。@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
反面例子:@H_502_3@
@H_502_3@
@H_502_3@
缺点:耦合太紧密,Light@H_502_3@发生变化将影响ToggleSwitch@H_502_3@。@H_502_3@
@H_502_3@
将Light@H_502_3@作成Abstract@H_502_3@,然后具体类继承自Light@H_502_3@。@H_502_3@
@H_502_3@
@H_502_3@
优点:ToggleSwitch@H_502_3@依赖于抽象类Light@H_502_3@,具有更高的稳定性,而BulbLight@H_502_3@与TubeLight@H_502_3@继承自Light@H_502_3@,可以根据"@H_502_3@开放-封闭"@H_502_3@原则进行扩展。只要Light@H_502_3@不发生变化,BulbLight@H_502_3@与TubeLight@H_502_3@的变化就不会波及ToggleSwitch@H_502_3@。@H_502_3@
@H_502_3@
缺点:如果用ToggleSwitch@H_502_3@控制一台电视就很困难了。总不能让TV@H_502_3@继承自Light@H_502_3@吧。@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
优点:更为通用、更为稳定。@H_502_3@
@H_502_3@
@H_502_3@
@H_502_3@
总结@H_502_3@
@H_502_3@
@H_502_3@
DIP@H_502_3@要求客户端依赖于抽象耦合,抽象不应当依赖于细节,细节应当依赖于抽象(Abstractionsshould not depend upon details. Details should depend upon abstractions)@H_502_3@,这个原则的另外一个表述就是"@H_502_3@四人团"@H_502_3@强调的那个:要针对接口编程,不要对实现编程(Program to aninterface,not an implementation)@H_502_3@,程序在需要引用一个对象时,应当尽可能的使用抽象类型作为变量的静态类型,这就是针对接口编程的含义。DIP@H_502_3@是达到"@H_502_3@开-@H_502_3@闭"@H_502_3@原则的途径。
@H_502_3@
@H_502_3@
@H_502_3@
要做到DIP@H_502_3@,用抽象方式耦合是关键。由于一个抽象耦合总要涉及具体类从抽象类继承。并且需要保证在任何引用到某类的地方都可以改换成其子类,因此,LSP@H_502_3@是DIP@H_502_3@的基础。DIP@H_502_3@是OOD@H_502_3@的核心原则,设计模式的研究和应用都是用它作为指导原则的。DIP@H_502_3@虽然强大,但是也很难实现。另外DIP@H_502_3@是假定所有的具体类都会变化,这也不是全对,有些具体类就相当稳定。使用这个类的客户端就完全可以依赖这个具体类而不用再弄一个抽象类。@H_502_3@