第3章 模块依赖方向控制的核心原则
模块依赖方向控制是架构设计的底层规则——它决定了模块之间的信任链路、变更传播路径及复用边界。本章深入三条核心原则：依赖倒置原则（Dependency Inversion Principle, DIP）、接口隔离原则（Interface Segregation Principle, ISP）、无环依赖原则（Acyclic Dependencies Principle, ADP）。这三条原则共同构成“依赖方向控制”的理论基座，也是判断模块边界是否合理的直接依据。
3.1 原则一览
| 原则 | 核心主张 | 对依赖方向的控制作用 |
|---|---|---|
| DIP | 高层模块不应依赖低层模块，二者都应依赖抽象 | 反转依赖箭头方向，使“稳定层”指向“易变层”变为“都指向抽象” |
| ISP | 客户端不应被迫依赖它不使用的接口 | 限制接口的粒度和职责，防止宽接口导致不必要的跨模块依赖 |
| ADP | 依赖关系中不允许存在环 | 强制依赖方向形成有向无环图（DAG），保证编译/部署/变更的单向传播 |
3.2 依赖倒置原则（DIP）
DIP 是依赖方向控制中最关键的思维转换。传统上层模块直接依赖下层实现，任何下层变更都会迫使上层重新编译、测试和部署。经过倒置后，高层业务逻辑定义抽象接口，低层实现也依赖同一套抽象，依赖箭头从“高层→低层”变为“高层→抽象←低层”。
- 模块边界：抽象层成为独立的契约模块，属于“稳定层”。
- 组件职责：高层模块只使用抽象接口编排业务流程；底层模块实现接口并注册到容器或工厂。
- 信任链路：信任沿抽象传递，实现模块可以随时替换而不影响高层。
实践判断标准：如果修改一个低层实现类时，高层模块的代码（或所属模块）需要重新编译，说明 DIP 尚未完整落地。
3.3 接口隔离原则（ISP）
ISP 防止接口“胖”而导致的依赖污染。当两个不相关的客户端被迫依赖同一个宽接口时，实际上形成了它们之间隐式的依赖耦合——其中一个客户端依赖了另一个客户端不需要的方法声明。
- 模块边界：每个客户端拥有专用的细粒度接口，接口的变更仅影响真正使用它的模块。
- 数据流/控制流：控制流仍然由高层流向抽象，但抽象被拆分为多个角色接口，使依赖图更清晰。
- 风险点：过度拆分导致接口碎片化，增加查找和理解成本；需平衡粒度与内聚。
推荐做法：先以“调用方视角”定义接口——即服务该调用方的所有方法放在一个接口内，再检查是否有两个不同调用方共享同一接口，若有则考虑拆分。
3.4 无环依赖原则（ADP）
ADP 要求模块间的依赖关系必须是一个有向无环图。环的存在意味着模块之间存在循环编译、循环部署依赖，且任何模块的变更都可能引发不受控的连锁反应。
- 分层与信任链路：每一层只能依赖下一层（或同层抽象），禁止反向依赖或跨层回引。
- 选型权衡：彻底消除环需要模块解耦或引入中介层，会增加模块数量；但不消除环会导致“一夜之间全量重构”的高风险。
- 落地步骤：
- 使用依赖分析工具（如 JDepend、ndepend、go mod why）扫描现有依赖图。
- 标记所有环，确定环内参与模块。
- 应用 DIP 将环中某个依赖方向反转，或提取公共抽象到上层。
- 重复扫描直到无环。
注意：ADP 不仅适用于编译时依赖，也适用于运行时接口调用链和 Maven/Gradle 模块依赖配置。运行时环同样会导致死锁或递归异常。
3.5 三条原则的协同结构
下图展示了三条原则在典型分层架构中的协同作用。高层业务模块（蓝色）依赖抽象接口（绿色）；底层实现模块（橙色）也依赖同一套抽象；接口按职责拆分为细粒度（紫色虚线框）；所有依赖箭头最终形成无环方向（从右上到左下或从左到右）。
3.6 选型权衡与风险点
| 方面 | 权衡点 | 风险 |
|---|---|---|
| 接口粒度（ISP vs. DIP） | 细粒度接口提升隔离性，但增加模块数量与查找成本 | 接口爆炸，维护者无法快速定位正确契约 |
| 抽象层级（DIP） | 引入抽象层打破循环依赖，但会使模块依赖图变深 | 过度抽象导致“中间层腐化”或性能下降（间接调用） |
| 包依赖（ADP） | 严格无环需要定期重构，也可能引入额外适配层 | 延迟处理环会积累技术债务，最终阻塞发布 |
3.7 落地步骤
- 识别依赖边界：使用模块依赖图工具建立当前快照。
- 应用 DIP：对每对“高层→低层”的直接依赖，提取抽象接口放到独立模块。
- 应用 ISP：检查每个接口是否被多个不同职责的客户端引用，若存在则拆分。
- 检测并消除环：对每一条环，选择环内依赖最弱的边进行反向（DIP）或提取公共抽象。
- 迭代验证：重新生成依赖图，确认无环且所有抽象模块均位于稳定层。
3.8 验收标准
- 高层模块的源代码中不出现任何低层模块的
import或using语句（除抽象层外）。 - 所有接口方法数量不超过 5 个（可根据团队约定调整），且不存在客户端必须实现空方法的情况。
- 模块依赖图导出为有向无环图（检查工具输出环数为 0）。
- 变更任一低层实现模块，无需重新编译高层模块（通过 CI 构建验证）。