BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

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

| 作者 Sadek Drobi 关注 1 他的粉丝 ,译者 郭晓刚 关注 0 他的粉丝 发布于 2007年11月18日. 估计阅读时间: 3 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

“吩咐,不要询问”:按照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账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

这个想法倒是很标新立异 by fan fan

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

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

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

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

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

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

3 讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT