摘要:本文将讲述SOLID原则中的接口隔离原则和依赖倒置原则。
本文分享自华为云社区《实践GoF的23的设计模式:SOLID原则(下)》,作者:元闰子。
在《实践GoF的23种设计模式:SOLID原则(上)》中,主要讲了SOLID原则中的单一职责原则、开闭原则、里氏替换原则,接下来在本文中将继续讲述接口隔离原则和依赖倒置原则。
ISP:接口隔离原则
接口隔离原则(The Interface Segregation Principle,ISP)是关于接口设计的一项原则,这里的“接口”并不单指Java或Go上使用interface声明的狭义接口,而是包含了狭义接口、抽象类、具象类等在内的广义接口。它的定义如下:
Client should not be forced to depend on methods it does not use.
也即,一个模块不应该强迫客户程序依赖它们不想使用的接口,模块间的关系应该建立在最小的接口集上。
下面,我们通过一个例子来详细介绍ISP。
上图中,Client1、Client2、Client3都依赖了Class1,但实际上,Client1只需使用Class1.func1方法,Client2只需使用Class1.func2,Client3只需使用Class1.func3,那么这时候我们就可以说该设计违反了ISP。
违反ISP主要会带来如下2个问题:
- 增加模块与客户端程序的依赖,比如在上述例子中,虽然Client2和Client3都没有调用func1,但是当Class1修改func1还是必须通知Client1~3,因为Class1并不知道它们是否使用了func1。
- 产生接口污染,假设开发Client1的程序员,在写代码时不小心把func1打成了func2,那么就会带来Client1的行为异常。也即Client1被func2给污染了。
为了解决上述2个问题,我们可以把func1、func2、func3通过接口隔离开:
接口隔离之后,Client1只依赖了Interface1,而Interface1上只有func1一个方法,也即Client1不会受到func2和func3的污染;另外,当Class1修改func1之后,它只需通知依赖了Interface1的客户端即可,大大降低了模块间耦合。
实现ISP的关键是将大接口拆分成小接口,而拆分的关键就是接口粒度的把握。想要拆分得好,就要求接口设计人员对业务场景非常熟悉,对接口使用的场景了如指掌。否则孤立地设计接口,很难满足ISP。
下面,我们以分布式应用系统demo为例,来进一步介绍ISP的实现。
一个消息队列模块通常包含生产(produce)和消费(consumer)两种行为,因此我们设计了Mq消息队列抽象接口,包含produce和consume两个方法:
// 消息队列接口 public interface Mq { Message consume(String topic); void produce(Message message); } // demo/src/main/java/com/yrunz/designpattern/mq/MemoryMq.java // 当前提供MemoryMq内存消息队列的实现 public class MemoryMq implements Mq {...}
当前demo中使用接口的模块有2个,分别是作为消费者的MemoryMqInput和作为生产者的AccessLogSidecar:
public class MemoryMqInput implements InputPlugin { private String topic; private Mq mq; ... @Override public Event input() { Message message = mq.consume(topic); Mapheader = new HashMap<>(); header.put("topic", topic); return Event.of(header, message.payload()); } ... } public class AccessLogSidecar implements Socket { private final Mq mq; private final String topic ... @Override public void send(Packet packet) { if ((packet.payload() instanceof HttpReq)) { String log = String.format("[%s][SEND_REQ]send http request to %s", packet.src(), packet.dest()); Message message = Message.of(topic, log); mq.produce(message); } ... } ... }
从领域模型上看,Mq接口的设计确实没有问题,它就应该包含consume和produce两个方法。但是从客户端程序的角度上看,它却违反了ISP,对MemoryMqInput来说,它只需要consume方法;对AccessLogSidecar来说,它只需要produce方法。
一种设计方案是把Mq接口拆分成2个子接口Consumable和Producible,让MemoryMq直接实现Consumable和Producible:
// demo/src/main/java/com/yrunz/designpattern/mq/Consumable.java // 消费者接口,从消息队列中消费数据 public interface Consumable { Message consume(String topic); } // demo/src/main/java/com/yrunz/designpattern/mq/Producible.java // 生产者接口,向消息队列生产消费数据 public interface Producible { void produce(Message message); } // 当前提供MemoryMq内存消息队列的实现 public class MemoryMq implements Consumable, Producible {...}
仔细思考一下,就会发现上面的设计不太符合消息队列的领域模型,因为Mq的这个抽象确实应该存在的。
更好的设计应该是保留Mq抽象接口,让Mq继承自Consumable和Producible,这样的分层设计之后,既能满足ISP,又能让实现符合消息队列的领域模型:
具体实现如下:
// demo/src/main/java/com/yrunz/designpattern/mq/Mq.java // 消息队列接口,继承了Consumable和Producible,同时又consume和produce两种行为 public interface Mq extends Consumable, Producible {} // 当前提供MemoryMq内存消息队列的实现 public class MemoryMq implements Mq {...} // demo/src/main/java/com/yrunz/designpattern/monitor/input/MemoryMqInput.java public class MemoryMqInput implements InputPlugin { private String topic; // 消费者只依赖Consumable接口 private Consumable consumer; ... @Override public Event input() { Message message = consumer.consume(topic); Mapheader = new HashMap<>(); header.put("topic", topic); return Event.of(header, message.payload()); } ... } // demo/src/main/java/com/yrunz/designpattern/sidecar/AccessLogSidecar.java public class AccessLogSidecar implements Socket { // 生产者只依赖Producible接口 private final Producible producer; private final String topic ... @Override public void send(Packet packet) { if ((packet.payload() instanceof HttpReq)) { String log = String.format("[%s][SEND_REQ]send http request to %s", packet.src(), packet.dest()); Message message = Message.of(topic, log); producer.produce(message); } ... } ... }
接口隔离可以减少模块间耦合,提升系统稳定性,但是过度地细化和拆分接口,也会导致系统的接口数量的上涨,从而产生更大的维护成本。接口的粒度需要根据具体的业务场景来定,可以参考单一职责原则,将那些为同一类客户端程序提供服务的接口合并在一起。
DIP:依赖倒置原则
《Clean Architecture》中介绍OCP时有提过:如果要模块A免于模块B变化的影响,那么就要模块B依赖于模块A。这句话貌似是矛盾的,模块A需要使用模块B的功能,怎么会让模块B反过来依赖模块A呢?这就是依赖倒置原则(The Dependency Inversion Principle,DIP)所要解答的问题。
DIP的定义如下:
- High-level modules should not import anything from low-level modules. Both should depend on abstractions.
- Abstractions should not depend on details. Details (concrete implementations) should depend on abstractions.
翻译过来,就是:
- 高层模块不应该依赖低层模块,两者都应该依赖抽象
- 抽象不应该依赖细节,细节应该依赖抽象
在DIP的定义里,出现了高层模块、低层模块、抽象、细节等4个关键字,要弄清楚DIP的含义,理解者4个关键字至关重要。
(1)高层模块和低层模块
一般地,我们认为高层模块是包含了应用程序核心业务逻辑、策略的模块,是整个应用程序的灵魂所在;低层模块通常是一些基础设施,比如数据库、Web框架等,它们主要为了辅助高层模块完成业务而存在。
(2)抽象和细节
在前文“OCP:开闭原则”一节中,我们可以知道,抽象就是众多细节中的共同点,抽象就是不断忽略细节的出来的。
现在再来看DIP的定义,对于第2点我们不难理解,从抽象的定义来看,抽象是不会依赖细节的,否则那就不是抽象了;而细节依赖抽象往往都是成立的。
理解DIP的关键在于第1点,按照我们正向的思维,高层模块要借助低层模块来完成业务,这必然会导致高层模块依赖低层模块。但是在软件领域里,我们可以把这个依赖关系倒置过来,这其中的关键就是抽象。我们可以忽略掉低层模块的细节,抽象出一个稳定的接口,然后让高层模块依赖该接口,同时让低层模块实现该接口,从而实现了依赖关系的倒置:
之所以要把高层模块和底层模块的依赖关系倒置过来,主要是因为作为核心的高层模块不应该受到低层模块变化的影响。高层模块的变化原因应当只能有一个,那就是来自软件用户的业务变更需求。
下面,我们通过分布式应用系统demo来介绍DIP的实现。
对于服务注册中心Registry来说,当有新的服务注册上来时,它需要把服务信息(如服务ID、服务类型等)保存下来,以便在后续的服务发现中能够返回给客户端。因此,Registry需要一个数据库来辅助它完成业务。刚好,我们的数据库模块实现了一个内存数据库MemoryDb,于是我们可以这么实现Registry:
// 服务注册中心 public class Registry implements Service { ... // 直接依赖MemoryDb private final MemoryDb db; private final SvcManagement svcManagement; private final SvcDiscovery svcDiscovery; private Registry(...) { ... // 初始化MemoryDb this.db = MemoryDb.instance(); this.svcManagement = new SvcManagement(localIp, this.db, sidecarFactory); this.svcDiscovery = new SvcDiscovery(this.db); } ... } // 内存数据库 public class MemoryDb { private final Map> tables; ... // 查询表记录 public Optional query(String tableName, PrimaryKey primaryKey) { Table table = (Table ) tableOf(tableName); return table.query(primaryKey); } // 插入表记录 public void insert(String tableName, PrimaryKey primaryKey, Record record) { Table table = (Table ) tableOf(tableName); table.insert(primaryKey, record); } // 更新表记录 public void update(String tableName, PrimaryKey primaryKey, Record record) { Table table = (Table ) tableOf(tableName); table.update(primaryKey, record); } // 删除表记录 public void delete(String tableName, PrimaryKey primaryKey) { Table table = (Table ) tableOf(tableName); table.delete(primaryKey); } ... }
按照上面的设计,模块间的依赖关系是Registry依赖于MemoryDb,也即高层模块依赖于低层模块。这种依赖关系是脆弱的,如果哪天需要把存储服务信息的数据库从MemoryDb改成DiskDb,那么我们也得改Registry的代码:
// 服务注册中心 public class Registry implements Service { ... // 改成依赖DiskDb private final DiskDb db; ... private Registry(...) { ... // 初始化DiskDb this.db = DiskDb.instance(); this.svcManagement = new SvcManagement(localIp, this.db, sidecarFactory); this.svcDiscovery = new SvcDiscovery(this.db); } ... }
更好的设计应该是把Registry和MemoryDb的依赖关系倒置过来,首先我们需要从细节MemoryDb抽象出一个稳定的接口Db:
// demo/src/main/java/com/yrunz/designpattern/db/Db.java // DB抽象接口 public interface Db {Optional query(String tableName, PrimaryKey primaryKey); void insert(String tableName, PrimaryKey primaryKey, Record record); void update(String tableName, PrimaryKey primaryKey, Record record); void delete(String tableName, PrimaryKey primaryKey); ... }
接着,我们让Registry依赖Db接口,而MemoryDb实现Db接口,以此来完成依赖倒置:
// demo/src/main/java/com/yrunz/designpattern/service/registry/Registry.java // 服务注册中心 public class Registry implements Service { ... // 只依赖于Db抽象接口 private final Db db; private final SvcManagement svcManagement; private final SvcDiscovery svcDiscovery; private Registry(..., Db db) { ... // 依赖注入Db this.db = db; this.svcManagement = new SvcManagement(localIp, this.db, sidecarFactory); this.svcDiscovery = new SvcDiscovery(this.db); } ... } // demo/src/main/java/com/yrunz/designpattern/db/MemoryDb.java // 内存数据库,实现Db抽象接口 public class MemoryDb implements Db { private final Map> tables; ... // 查询表记录 @Override public Optional query(String tableName, PrimaryKey primaryKey) {...} // 插入表记录 @Override public void insert(String tableName, PrimaryKey primaryKey, Record record) {...} // 更新表记录 @Override public void update(String tableName, PrimaryKey primaryKey, Record record) {...} // 删除表记录 @Override public void delete(String tableName, PrimaryKey primaryKey) {...} ... } // demo/src/main/java/com/yrunz/designpattern/Example.java public class Example { // 在main函数中完成依赖注入 public static void main(String[] args) { ... // 将MemoryDb.instance()注入到Registry上 Registry registry = Registry.of(..., MemoryDb.instance()); registry.run(); } }
当高层模块依赖抽象接口时,总得在某个时候,某个地方把实现细节(低层模块)注入到高层模块上。在上述例子中,我们选择在main函数上,在创建Registry对象时,把MemoryDb注入进去。
一般地,我们都会在main/启动函数上完成依赖注入,常见的注入的方式有以下几种:
- 构造函数注入(Registry所使用的方法)
- setter方法注入
- 提供依赖注入的接口,客户端直调用该接口即可
- 通过框架进行注入,比如Spring框架中的注解注入能力
另外,DIP不仅仅适用于模块/类/接口设计,在架构层面也同样适用,比如DDD的分层架构和Uncle Bob的整洁架构,都是运用了DIP:
当然,DIP并不是说高层模块是只能依赖抽象接口,它的本意应该是依赖稳定的接口/抽象类/具象类。如果一个具象类是稳定的,比如Java中的String,那么高层模块依赖它也没有问题;相反,如果一个抽象接口是不稳定的,经常变化,那么高层模块依赖该接口也是违反DIP的,这时候应该思考下接口是否抽象合理。
最后
本文花了很长的篇幅讨论了23种设计模式背后的核心思想 —— SOLID原则,它能指导我们设计出高内聚、低耦合的软件系统。但是它毕竟只是原则,如何落地到实际的工程项目上,还是需要参考成功的实践经验。而这些实践经验正是接下来我们要探讨的设计模式。
学习设计模式最好的方法就是实践,在《实践GoF的23种设计模式》后续的文章里,我们将以本文介绍的分布式应用系统demo作为实践示范,介绍23种设计模式的程序结构、适用场景、实现方法、优缺点等,让大家对设计模式有个更深入的理解,能够用对、不滥用设计模式。
参考
- Clean Architecture, Robert C. Martin (“Uncle Bob”)
- 敏捷软件开发:原则、模式与实践, Robert C. Martin (“Uncle Bob”)
- 使用Go实现GoF的23种设计模式, 元闰子
- SOLID原则精解之里氏替换原则LSP, 人民副首席码仔
点击关注,第一时间了解华为云新鲜技术~