为灵活性和健壮性而设计：异步消息模型、OOP和函数式编程

作者 Sadek Drobi 译者 郭晓刚 发布于 2007年11月17日

领域

架构 & 设计,

企业架构,

语言 & 开发

主题

设计 ,

面向对象设计 ,

建模 ,

性能和可伸缩性 ,

消息传送 ,

架构

标签

Haskell ,

Erlang ,

面向对象编程 ,

函数式编程 ,

并行计算

“吩咐，不要询问”：按照Pragmatic Programmers的说法，在面向对象编程中最好“吩咐一个对象让它去做些什么，而不是向它索要数据”。Michael Feathers认为“这是一个极佳的建议”，特别是对于比较大的系统：

返回值把工作又推回给调用者。单单做完一件事然后向协作者发送一条消息还不算完；你必须等着看有没有什么被送回来，然后可能还要做更多的事情。如果不返回值会让我们更轻松一点。

Feathers认为在测试驱动开发中使用Mocks会导致这种类型的架构：

与其吩咐一个对象去做事，然后询问它是否已经完成，你不如吩咐它去做事，然后看看它的协作者有什么变化。[……]这有点像工作流。[……]遇到新需求的时候比较不会影响到设计。而且，这样很合理。每个对象负责一件事情，并且通知下一个接班的对象。

我们还可以更进一步。Feathers主张如果没有返回值需要等候，那么发送“异步消息比同步消息更好“。实际上H.S. Lahman早就主张过在面向对象架构中的“行为是被假定为异步的”。如今的OOP模型是同步的，这是因为在面向对象编程语言中“没有区分开消息和方法”。因此“更加难以构造出正确的OOA/D模型”，正确的模型不仅可以显著提高可维护性，还包括健壮性。

Michael Feathers描述说这种做法也与Erlang的模型相吻合：

Erlang隐含的思想是，如果你能创建大量的进程，并保证它们绝不共享状态，你就可以开发出更加健壮的系统。每个进程接收消息，做自己的工作，然后向其他进程发送消息。消息的发送主要是异步的。

Feathers认为，“吩咐，不要询问”的编程模型“几乎是函数式编程的反面”，虽然“两者都有一个相对无状态的河床让数据从上流过”：

在最纯粹的函数式编程中，你从不吩咐，总是询问。而且如果有缓求值（lazy evaluation）帮忙，系统只需完成最必不可少的操作来回答你的问题。

不过可争议的是Erlang不能被认为是纯粹的函数式语言。Feathers也特别引用Ralph Johnson的观点，他指出Erlang的“核心里头是OO”。

就你的观点，哪种无状态模型最适合处理现今的适应性和健壮性问题呢？是Erlang的异步消息模型还是某种纯粹的函数式编程方法（如Haskell）？

查看英文原文：Designing for flexibility and robustness: Asynchronous message model, OOP and Functional Programming

译者 郭晓刚 是InfoQ中文站架构社区编辑，创建并终结过数家软件小企业，翻译过多本技术书籍。

1. 返回顶部

   这个想法倒是很标新立异

   发表人 fan fan

   unix有条原则：如果一个程序没有什么好说的，就保持沉默。
   返回值也是接口定义的一部分。

   回复

2. 返回顶部

   Re: 这个想法倒是很标新立异

   发表人 Zhao Jeffrey

   Tell, don't ask
   其实是很早以前就提出来的.

   回复

3. 返回顶部

   Re: 这个想法倒是很标新立异

   发表人 黄 东

   actionscript就是这样的，但是这样带来一个问题，你不断被你所发送消息的对象的通知所打扰，而且有些操作是必须要等待到返回值你才能继续的，还是要看什么样的情形来怎么样做。

   回复

• 更早的 >