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
1700455045
public class Driver{
1700455046
1700455047
//司机的主要职责就是驾驶汽车
1700455048
1700455049
public void drive（Benz benz）{
1700455050
1700455051
benz.run（）；
1700455052
1700455053
}
1700455054
1700455055
}
1700455056
1700455057
司机通过调用奔驰车的run方法开动奔驰车，其源代码如代码清单3-2所示。
1700455058
1700455059
代码清单3-2 奔驰车源代码
1700455060
1700455061
public class Benz{
1700455062
1700455063
//汽车肯定会跑
1700455064
1700455065
public void run（）{
1700455066
1700455067
System.out.println（“奔驰汽车开始运行……”）；
1700455068
1700455069
}
1700455070
1700455071
}
1700455072