关于《道法自然》一书中的“依赖倒置”问题

《道法自然》一书问世后,有不少热心读者发来邮件探讨相关的技术问题。例如,前几天一位读者就“依赖倒置”原则来信指出了《道法自然》中的一个错误。在此,我向那位读者表示真诚的谢意,并将他的来信和王咏武的回复邮件贴在这里,供大家参考。


最近在书店里买到你们的新书《道法自然》。感觉写得非常好,正如李维先生的评价一样,内容丰富,汇集并组织大量的面向对象知识,并且以一个实践项目为主线将这些知识有机的组织,丰富而且有着内在的统一性。非常吸引人,我已经读了100多页。看得很仔细,也思考了很多,所以在读的过程中,我发现了一些小的错误或疑问,在此列出,与您商讨。
  p.9,line 2 : 一个排字错误:原意 -> 愿意
  p.140: 箭头应该是由class4 指向 class3,友元类的依赖关系,我认为画反了。
  p.113, figure 6-3: 层间依赖关系,这样的设计我认为不是很好,应该由数据持久化层依赖于 domain logic. 因为domain logic 才是问题域的本质与核心,才是最稳定的。所有的层都依赖于domain 层,domain 层才可以得到最优先的考虑。 这样也符合 Robert martin 在 《敏捷软件开发》中提出的 依赖倒置原则。 可以参考 《敏捷软件开发》 中文版的 page 256 以及chapter 11。也可参考《特征驱动开发方法》中文版的 page 156 的图。
  p.113,figure 6-4: 层依赖关系似乎也应该倒过来。道理和上一条是一样的。
  上面两条其实都是 Robert martin 所说的 DIP ( dependancy inversion principle). 它的含义是:
  • 子系统都只依赖于接口,这在你的书中已经提到。
  • 另一个含义,是将接口的定义归属到上层子系统中。也就是说,接口的变化,主要是由上层子系统的变化导致,受下层子系统的影响要小。 举例说, 就是domain 层拥有 domain 层和数据管理层的接口,而不是数据管理层拥有此接口。这中间的差别非常subtle,但似乎也很重要。
  建议:建议将依赖倒置原则加入的您的书中。
  这些是我的个人看法,提出的目的是与您商讨。
  也许在这个点上,您是错的。但是瑕不掩瑜,我很庆幸自己买了一本好书。

2004年10月20日



  多谢您的支持和鼓励,也非常感谢您中肯的意见。
  P.140关于友元类的描述,确实有一个明显的错误。其中图和代码如下所示:
  include “Class4.h”
  Class3
  {
    friend class class4;
    // ……
  };
  图和代码是统一的,没有错误,但是前面的文字有一个笔误:
  原文为:即Class3不仅依赖于Class4,而且Class3还是Class4的友元类。
  应该是:即Class4不仅依赖于Class3,而且Class4还是Class3的友元类(Class4希望能访问Class3的非公有成员)。

  关于依赖倒置原则,我在写《道法自然》时也经过了仔细的思考。下面从几个方面说明一下我的理解:
  首先,从理论上说,Robert Martin是这样定义的:依赖于抽象,而不要依赖于具象(参见:《道法自然 3.4.3)。
  更为详细的定义是:
  • 上层模块不应该依赖于下层模块,它们共同依赖于一个抽象。
  • 抽象不能依赖于具象,具象依赖于抽象。
  其次,以FishGUI为实例,从实践的角度来看。假设FishGUI框架系统必须要移植到不同的操作系统(如:Windows和Unix),为了使操作系统的变化不影响框架层,就必须抽象出一个操作系统适配器接口,FishGUI框架层中的类只依赖于该接口,而该接口的派生类具体实现到不同操作系统的调用。这个实现是符合依赖倒置原则的。如下图所示:
  如果我们认为适配器接口类属于框架层,由框架层的开发人员来设计,这个接口就会设计得很适合框架层的开发。但是容易遇到一个问题,当需要移植到另一个新的操作系统时,这个接口可能不适合该操作系统的实现,实现具体的适配器时非常麻烦。这时,两层的依赖关系如下图所示,下层依赖于上层。
  如果我们认为适配器接口属于适配层,由适配层的开发人员来开发,这个接口就会总结了多种操作系统的特性,使得移植非常方便。但是很容易造成框架层使用的困难。这时,两层的依赖关系如下图所示,上层依赖于下层。
  这两种不同的选择,在具体的设计中很容易遇到,两种设计得到的结果似乎是相反的,是一个两难的问题。
  最后,从传统的分层架构模式的要求来说,应该上层使用下层的服务,依赖于下层;而下层决不能使用上层的服务,依赖于上层。而且,从FishGUI的框架层和适配器层来说,确实,框架层会调用适配层,而适配层绝不会调用框架层,适配层仅仅是反向依赖于适配器接口。
  上面分析的这几点似乎存在着很大的矛盾。我觉得只要理解了下面的两个要点,就可以完美地把这些矛盾统一起来了。
  • 依赖倒置并不是把“上层依赖于下层”转变成“下层依赖于上层”(模块不可能毫无联系,总有一个模块被别人依赖,相互转换依赖关系没有任何意义),而是两者都依赖于一个抽象接口。
  • 开闭原则,完全替换原则和依赖倒置原则是对同一个核心原则从不同的视角观察得到的结果。这个核心原则就是我在《道法自然》一书中不断强调的“针对接口编程,而不要针对实现编程”。这些原则属于OOD的范畴,应该在OOD的阶段使用。
  根据这两个要点,我觉得对于上面FishGUI的例子,在架构分析阶段,把系统分为框架层和适配层时,不要考虑依赖倒置原则,而是从宏观上看,由于框架层要调用适配层,框架层依赖于适配层,上层依赖于下层。
  当进入面向对象设计阶段,这些OOD原则就能发挥作用了。这时,按照“针对接口编程,而不要针对实现编程”的原则,通过适配器接口的引入,就能很好地消除上层对于下层的依赖。这样的设计也就能很好地符合开闭原则,完全替换原则和依赖倒置原则,所以说,依赖倒置原则并不是真的把依赖反过来,而是解除了层之间的耦合,使它们更容易适应变化的需求。
  这时,也不需要强求加入的接口属于哪一层,而是应该由两层的设计人员共同协商解决,设计出对两层都方便的接口。

  这就是我在撰写《道法自然》一书时,对依赖倒置原则的一些思考,希望能听到你的想法。通过这样的交流,就能更加深我们对于OO原则的理解,使OO技术在实践中得到更好的应用,这也是我撰写《道法自然》一书最根本的想法。

  王咏武  2004年10月25日

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


什么是设计模式一套被反复使用、多数人知晓的、经过分类编目的、代码 设计经验 的总结;使用设计模式是为了 可重用 代码、让代码 更容易 被他人理解、保证代码 可靠性;设计模式使代码编制  真正工程化;设计模式使软件工程的 基石脉络, 如同大厦的结构一样;并不直接用来完成代码的编写,而是 描述 在各种不同情况下,要怎么解决问题的一种方案;能使不稳定依赖于相对稳定、具体依赖于相对抽象,避免引
单一职责原则定义(Single Responsibility Principle,SRP)一个对象应该只包含 单一的职责,并且该职责被完整地封装在一个类中。Every  Object should have  a single responsibility, and that responsibility should be entirely encapsulated by t
动态代理和CGLib代理分不清吗,看看这篇文章,写的非常好,强烈推荐。原文截图*************************************************************************************************************************原文文本************
适配器模式将一个类的接口转换成客户期望的另一个接口,使得原本接口不兼容的类可以相互合作。
策略模式定义了一系列算法族,并封装在类中,它们之间可以互相替换,此模式让算法的变化独立于使用算法的客户。
设计模式讲的是如何编写可扩展、可维护、可读的高质量代码,它是针对软件开发中经常遇到的一些设计问题,总结出来的一套通用的解决方案。
模板方法模式在一个方法中定义一个算法的骨架,而将一些步骤延迟到子类中,使得子类可以在不改变算法结构的情况下,重新定义算法中的某些步骤。
迭代器模式提供了一种方法,用于遍历集合对象中的元素,而又不暴露其内部的细节。
外观模式又叫门面模式,它提供了一个统一的(高层)接口,用来访问子系统中的一群接口,使得子系统更容易使用。
单例模式(Singleton Design Pattern)保证一个类只能有一个实例,并提供一个全局访问点。
组合模式可以将对象组合成树形结构来表示“整体-部分”的层次结构,使得客户可以用一致的方式处理个别对象和对象组合。
装饰者模式能够更灵活的,动态的给对象添加其它功能,而不需要修改任何现有的底层代码。
观察者模式(Observer Design Pattern)定义了对象之间的一对多依赖,当对象状态改变的时候,所有依赖者都会自动收到通知。
代理模式为对象提供一个代理,来控制对该对象的访问。代理模式在不改变原始类代码的情况下,通过引入代理类来给原始类附加功能。
工厂模式(Factory Design Pattern)可细分为三种,分别是简单工厂,工厂方法和抽象工厂,它们都是为了更好的创建对象。
状态模式允许对象在内部状态改变时,改变它的行为,对象看起来好像改变了它的类。
命令模式将请求封装为对象,能够支持请求的排队执行、记录日志、撤销等功能。
备忘录模式(Memento Pattern)保存一个对象的某个状态,以便在适当的时候恢复对象。备忘录模式属于行为型模式。 基本介绍 **意图:**在不破坏封装性的前提下,捕获一个对象的内部状态,并在该
顾名思义,责任链模式(Chain of Responsibility Pattern)为请求创建了一个接收者对象的链。这种模式给予请求的类型,对请求的发送者和接收者进行解耦。这种类型的设计模式属于行为
享元模式(Flyweight Pattern)(轻量级)(共享元素)主要用于减少创建对象的数量,以减少内存占用和提高性能。这种类型的设计模式属于结构型模式,它提供了减少对象数量从而改善应用所需的对象结