依赖倒置原则
依赖倒置原则的定义
Dependence Inversion Principle
包含三层含义：
- 高层模块不应该依赖低层模块，两者都应该依赖其抽象；
- 抽象不应该依赖细节；
- 细节应该依赖抽象。
高层模块和底层模块容易理解，每一个逻辑的实现都是由原子逻辑组成的，不可分割的原子逻辑就是低层模块，原子逻辑的再组装就是高层模块。
那什么是抽象？什么又是细节呢？
在 Java 语言中，抽象就是指接口或抽象类，两者都是不能直接被实例化的；
细节就是实现类，实现接口或继承抽象类而产生的类就是细节，
其特点就是可以直接被实例化，也就是可以加上一个关键字 new 产生一个对象。
依赖倒置原则在 Java 语言中的表现就是：
- 模块间的依赖通过抽象发生，实现类之间不发生直接的依赖关系，其依赖关系是通过接口或抽象类产生的；
- 接口或抽象类不依赖于实现类；
- 实现类依赖接口或抽象类。
更加精简的定义就是“面向接口编程”——OOD（Object-Oriented Design，面向对象设计）的精髓之一。
言而无信，你太需要契约
采用依赖倒置原则可以减少类间的耦合性，提高系统的稳定性，降低并行开发引起的风险，提高代码的可读性和可维护性。
证明一个定理是否正确，有两种常用的方法：
一种是根据提出的论题，经过一番论证，推出和定理相同的结论，这是顺推证法；
还有一种是首先假设提出的命题是伪命题，然后推导出一个荒谬、与已知条件互斥的结论，这是反证法。
我们今天就用反证法来证明依赖倒置原则是多么优秀和伟大！
论题：依赖倒置原则可以减少类间的耦合性，提高系统的稳定性，降低并行开发引起的风险，提高代码的可读性和可维护性。
反论题：不使用依赖倒置原则也可以减少类间的耦合性，提高系统的稳定性，降低并行开发引起的风险，提高代码的可读性和可维护性。
我们通过一个例子来说明反论题是不成立的。
现在的汽车越来越便宜了，一个卫生间的造价就可以买到一辆不错的汽车，有汽车就必然有人来驾驶，死机驾驶奔驰车的类图如图所示：
