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