一、基本概念
抽象不应该依赖细节，细节应该依赖抽象。即针对接口编程，不要对实现编程。
A：高层模块不能依赖低层模块，两者都应依赖抽象。
B：抽象不应该依赖细节，细节应该依赖抽象。
二、里氏代换原则（LSP）
子类型必须能够替换掉它们的父类型
解释：一个软件实体如果使用的是一个父类的话，那么一定适用于其子类，而且它察觉不出父类对象和子类对象的区别。
也就是说，在软件里面，把父类都替换成它的子类，程序的行为没有变化。
只有当子类可以替换父类，软件单位的功能不受到影响时，父类才真正被复用，而子类也能够在父类的基础上增加新的行为。
三、总结
高层模块和低层模块都依赖于抽象：
依赖倒转原则是面向对象的标志，用哪种语言编写程序不重要，如果编写时考虑的是如何针对抽象编程而不是针对细节编程，即程序的所有依赖关系都终止于抽象类或接口。那就是面向对象设计，反之那就是过程化设计。
