1700454995
设计模式之禅 [:1700453912]
1700454996
3.1 依赖倒置原则的定义
1700454997
1700454998
依赖倒置原则（Dependence Inversion Principle,DIP）这个名字看着有点别扭，“依赖”还“倒置”，这到底是什么意思？依赖倒置原则的原始定义是：
1700454999
1700455000
High level modules should not depend upon low level modules.Both should depend upon abstractions.Abstractions should not depend upon details.Details should depend upon abstractions.
1700455001
1700455002
翻译过来，包含三层含义：
1700455003
1700455004
❑高层模块不应该依赖低层模块，两者都应该依赖其抽象；
1700455005
1700455006
❑抽象不应该依赖细节；
1700455007
1700455008
❑细节应该依赖抽象。
1700455009
1700455010
高层模块和低层模块容易理解，每一个逻辑的实现都是由原子逻辑组成的，不可分割的原子逻辑就是低层模块，原子逻辑的再组装就是高层模块。那什么是抽象？什么又是细节呢？在Java语言中，抽象就是指接口或抽象类，两者都是不能直接被实例化的；细节就是实现类，实现接口或继承抽象类而产生的类就是细节，其特点就是可以直接被实例化，也就是可以加上一个关键字new产生一个对象。依赖倒置原则在Java语言中的表现就是：
1700455011
1700455012
❑模块间的依赖通过抽象发生，实现类之间不发生直接的依赖关系，其依赖关系是通过接口或抽象类产生的；
1700455013
1700455014
❑接口或抽象类不依赖于实现类；
1700455015
1700455016
❑实现类依赖接口或抽象类。
1700455017
1700455018
更加精简的定义就是“面向接口编程”——OOD（Object-Oriented Design，面向对象设计）的精髓之一。
1700455019
1700455020
1700455021
1700455022
1700455023
设计模式之禅 [:1700453913]
1700455024
设计模式之禅 3.2 言而无信，你太需要契约
1700455025
1700455026
采用依赖倒置原则可以减少类间的耦合性，提高系统的稳定性，降低并行开发引起的风险，提高代码的可读性和可维护性。
1700455027
1700455028
证明一个定理是否正确，有两种常用的方法：一种是根据提出的论题，经过一番论证，推出和定理相同的结论，这是顺推证法；还有一种是首先假设提出的命题是伪命题，然后推导出一个荒谬、与已知条件互斥的结论，这是反证法。我们今天就用反证法来证明依赖倒置原则是多么地优秀和伟大！
1700455029
1700455030
论题：依赖倒置原则可以减少类间的耦合性，提高系统的稳定性，降低并行开发引起的风险，提高代码的可读性和可维护性。
1700455031
1700455032
反论题：不使用依赖倒置原则也可以减少类间的耦合性，提高系统的稳定性，降低并行开发引起的风险，提高代码的可读性和可维护性。
1700455033
1700455034
我们通过一个例子来说明反论题是不成立的。现在的汽车越来越便宜了，一个卫生间的造价就可以买到一辆不错的汽车，有汽车就必然有人来驾驶，司机驾驶奔驰车的类图如图3-1所示。
1700455035
1700455036
1700455037
1700455038
1700455039
图3-1 司机驾驶奔驰车类图
1700455040
1700455041
奔驰车可以提供一个方法run，代表车辆运行，实现过程如代码清单3-1所示。
1700455042
1700455043
代码清单3-1 司机源代码
1700455044