You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

99 lines
11 KiB
Markdown

This file contains ambiguous Unicode characters!

This file contains ambiguous Unicode characters that may be confused with others in your current locale. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to highlight these characters.

# 12 | 软件设计的依赖倒置原则:如何不依赖代码却可以复用它的功能?
在软件开发过程中我们经常会使用各种编程框架。如果你使用的是Java那么你会比较熟悉Spring、MyBatis等。事实上Tomcat、Jetty这类Web容器也可以归类为框架。框架的一个特点是当开发者使用框架开发一个应用程序时无需在程序中调用框架的代码就可以使用框架的功能特性。比如程序不需要调用Spring的代码就可以使用Spring的依赖注入MVC这些特性开发出低耦合、高内聚的应用代码。我们的程序更不需要调用Tomcat的代码就可以监听HTTP协议端口处理HTTP请求。
这些框架我们每天都在使用已经司空见惯所以觉得这种实现理所当然但是我们停下好好想一想难道不觉得这很神奇吗我们自己也写代码能够做到让其他工程师不调用我们的代码就可以使用我们的代码的功能特性吗就我观察大多数开发者是做不到的。那么Spring、Tomcat这些框架是如何做到的呢
## 依赖倒置原则
我们看下Spring、Tomcat这些框架设计的核心关键点也就是面向对象的基本设计原则之一依赖倒置原则。
依赖倒置原则是这样的:
* 高层模块不应该依赖低层模块,二者都应该依赖抽象。
* 抽象不应该依赖具体实现,具体实现应该依赖抽象。
软件分层设计已经是软件开发者的共识。事实上,最早引入软件分层设计,正是为了建立清晰的软件分层关系,便于高层模块依赖低层模块。一般的应用程序中,策略层会依赖方法层,业务逻辑层会依赖数据存储层。这正是我们日常软件设计开发的常规方式。
那么这种高层模块依赖低层模块的分层依赖方式有什么缺点呢?
一是维护困难,高层模块通常是业务逻辑和策略模型,是一个软件的核心所在。正是高层模块使一个软件区别于其他软件,而低层模块则更多的是技术细节。如果高层模块依赖低层模块,那么就是业务逻辑依赖技术细节,技术细节的改变将影响到业务逻辑,使业务逻辑也不得不做出改变。因为技术细节的改变而影响业务代码的改变,这是不合理的。
二是复用困难,通常越是高层模块,复用的价值越高。但如果高层模块依赖低层模块,那么对高层模块的依赖将会导致对底层模块的连带依赖,使复用变得困难。
事实上在我们软件开发中很多地方都使用了依赖倒置原则。我们在Java开发中访问数据库代码并不直接依赖数据库的驱动而是依赖JDBC。各种数据库的驱动都实现了JDBC当应用程序需要更换数据库的时候不需要修改任何代码。这正是因为应用代码高层模块不依赖数据库驱动而是依赖抽象JDBC而数据库驱动作为低层模块也依赖JDBC。
同样的Java开发的Web应用也不需要依赖Tomcat这样的Web容器只需要依赖J2EE规范Web应用实现J2EE规范的Servlet接口然后把应用程序打包通过Web容器启动就可以处理HTTP请求了。这个Web容器可以是Tomcat也可以是Jetty任何实现了J2EE规范的Web容器都可以。同样高层模块不依赖低层模块大家都依赖J2EE规范。
其他我们熟悉的MVC框架ORM框架也都遵循依赖倒置原则。
## 依赖倒置的关键是接口所有权的倒置
下面,我们进一步了解下依赖倒置原则的设计原理,看看如何在我们的程序设计开发中也能利用依赖倒置原则,开发出更少依赖、更低耦合、更可复用的代码。
这是我们习惯上的层次依赖示例,策略层依赖方法层,方法层依赖工具层。
![](https://static001.geekbang.org/resource/image/46/df/4642c03ba5b5f36baac550326e0943df.png)
这样分层依赖的一个潜在问题是,策略层对方法层和工具层是传递依赖的,下面两层的任何改动都会导致策略层的改动,这种传递依赖导致的级联改动可能会导致软件维护过程非常糟糕。
解决办法是利用依赖倒置的设计原则,每个高层模块都为它所需要的服务声明一个抽象接口,而低层模块则实现这些抽象接口,高层模块通过抽象接口使用低层模块。
![](https://static001.geekbang.org/resource/image/80/7e/80d012cfab510eb1d4e7a57ab2f6277e.png)
这样,高层模块就不需要直接依赖低层模块,而变成了低层模块依赖高层模块定义的抽象接口,从而实现了依赖倒置,解决了策略层、方法层、工具层的传递依赖问题。
我们日常的开发通常也要依赖抽象接口而不是依赖具体实现。比如Web开发中Service层依赖DAO层并不是直接依赖DAO的具体实现而是依赖DAO提供的抽象接口。那么这种依赖是否是依赖倒置呢其实并不是依赖倒置原则中除了具体实现要依赖抽象最重要的是抽象是属于谁的抽象。
通常的编程习惯中低层模块拥有自己的接口高层模块依赖低层模块提供的接口比如方法层有自己的接口策略层依赖方法层的接口DAO层定义自己的接口Service层依赖DAO层定义的接口。
但是按照依赖倒置原则,接口的所有权是被倒置的,也就是说,接口被高层模块定义,高层模块拥有接口,低层模块实现接口。不是高层模块依赖底层模块的接口,而是低层模块依赖高层模块的接口,从而实现依赖关系的倒置。
在上面的依赖层次中每一层的接口都被高层模块定义由低层模块实现高层模块完全不依赖低层模块即使是低层模块的接口。这样低层模块的改动不会影响高层模块高层模块的复用也不会依赖低层模块。对于Service和DAO这个例子来说就是Service定义接口DAO实现接口这样才符合依赖倒置原则。
## 使用依赖倒置实现高层模块复用
依赖倒置原则适用于一个类向另一个类发送消息的场景。我们再看一个例子。
Button按钮控制Lamp灯泡按钮按下的时候灯泡点亮或者关闭。按照常规的设计思路我们可能会设计出如下的类图关系Button类直接依赖Lamp类。
![](https://static001.geekbang.org/resource/image/bd/2a/bd66b7500645cff489244fb6b1a85a2a.png)
这样设计的问题在于Button依赖Lamp那么对Lamp的任何改动都可能会使Button受到牵连做出联动的改变。同时我们也无法重用Button类比如我们期望通过Button控制一个电机的启动或者停止这种设计显然难以重用Button因为我们的Button还依赖着Lamp呢。
解决之道就是将这个设计中的依赖于实现,重构为依赖于抽象。这里的抽象就是:打开关闭目标对象。至于具体的实现细节,比如开关指令如何产生,目标对象是什么,都不重要。这是重构后的设计。
![](https://static001.geekbang.org/resource/image/48/06/48774cef9ca8ee0a44797c4482820b06.png)
由Button定义一个抽象接口ButtonServer在ButtonServer中描述抽象打开、关闭目标对象。由具体的目标对象比如Lamp实现这个接口从而完成Button控制Lamp这一功能需求。
通过这样一种依赖倒置Button不再依赖Lamp而是依赖抽象ButtonServer而Lamp也依赖ButtonServer高层模块和低层模块都依赖抽象。Lamp的改动不会再影响Button而Button 可以复用控制其他目标对象比如电机或者任何由按钮控制的设备只要这些设备实现ButtonServer接口就可以了。
这里再强调一次抽象接口ButtonServer的所有权是倒置的它不属于底层模块Lamp而是属于高层模块Button。我们从命名上也能看的出来这正是依赖倒置原则的精髓所在。
这也正好回答了开头提出的问题如何使其他工程师不调用我们的代码就能使用我们代码的功能特性如果我们是Button的开发者那么只要其他工程师的代码实现了我们定义的ButtonServer接口Button就可以调用他们开发的Lamp或者其他任何由按钮控制的设备使设备代码拥有了按钮功能。设备的代码开发者不需要调用Button的代码就拥有了Button的功能而我们也不需要关心Button会在什么样的设备代码中使用所有实现ButtonServer的设备都可以使用Button功能。
所以依赖倒置原则也被称为好莱坞原则Dont call meI will call you. 即不要来调用我我会调用你。Tomcat、Spring都是基于这一原则设计出来的应用程序不需要调用Tomcat或者Spring这样的框架而是框架调用应用程序。而实现这一特性的前提就是应用程序必须实现框架的接口规范比如实现Servlet接口。
## 小结
依赖倒置原则通俗说就是,高层模块不依赖低层模块,而是都依赖抽象接口,这个抽象接口通常是由高层模块定义,低层模块实现。
遵循依赖倒置原则有这样几个编码守则:
1. 应用代码中多使用抽象接口,尽量避免使用那些多变的具体实现类。
2. 不要继承具体类,如果一个类在设计之初不是抽象类,那么尽量不要去继承它。对具体类的继承是一种强依赖关系,维护的时候难以改变。
3. 不要重写override包含具体实现的函数。
依赖倒置原则最典型的使用场景就是框架的设计。框架提供框架核心功能比如HTTP处理MVC等并提供一组接口规范应用程序只需要遵循接口规范编程就可以被框架调用。程序使用框架的功能但是不调用框架的代码而是实现框架的接口被框架调用从而框架有更高的可复用性被应用于各种软件开发中。
我们的代码开发也可以按照依赖倒置原则,参考框架的设计理念,开发出灵活、低耦合、可复用的软件代码。
软件开发有时候像变魔术一样,常常表现出违反常识的特性,让人目眩神晕,而这正是软件编程这门艺术的魅力所在,感受到这种魅力,在自己的软件设计开发中体现出这种魅力,你就迈进了软件高手的大门。
## 思考题
除了文中的例子,还有哪些软件设计遵循了依赖倒置原则?这些软件中,底层模块和高层模块共同依赖的抽象是什么?
欢迎你在评论区写下你的思考,也欢迎把这篇文章分享给你的朋友或者同事,一起交流一下。