Ref、 Var、 Agent、 Atom 之间的 Clojure 差异及示例

Refs are for state that needs to be synchronized between threads. If you need to keep track of a bunch of different things and you will sometimes need to do operations that write to several of the things at once, use refs. Any time you have multiple different pieces of state, using refs isn't a bad idea.

原子用于需要在线程之间同步的独立状态。如果您永远不需要同时更改 atom 的状态和其他任何内容，那么使用 at atom 是安全的(特别是，如果整个程序中只有一个状态，那么您可以将其放入一个 atom 中)。作为一个重要的例子，如果你试图缓存一个函数的返回值(即制表它) ，使用一个原子可能是安全的——这个状态对于函数之外的所有东西都是不可见的，所以你不需要担心函数内部的状态改变会把任何东西搞乱。

代理的主要特点是它们在不同的线程中运行。您可以获取代理的值，并告诉它将一个函数应用于它的值，但是您不知道该函数将何时运行，或者该函数将应用于哪个值。

Vars 用于在每个线程基础上存储某些内容。如果您有一个多线程程序，并且每个线程都需要自己的私有状态，那么将该状态放在 var 中。

至于现实世界的例子，如果您提供了一个示例，说明您正在尝试做什么，我们可以告诉您使用什么。

我强烈推荐“ Clojure 的乐趣”或者“编程 Clojure”作为这个问题的真正答案，我可以复制一个简短的片段——每个片段的动机:

start by watching 这个关于身份概念的视频 and/or studying here.

• Refs are for Coordinated Synchronous access to "Many Identities".
• 原子用于 不协调同步访问单个身份。
• 代理用于 Uncoordinated asynchronous访问单个标识。
• Vars 用于具有共享默认值的线程本地 孤立的身份。

当两个身份需要一起更改时，使用协调 访问，经典的例子是将钱从一个银行账户转移到另一个账户，它需要完全转移或根本不转移。

当只有一个 Identity 需要更新时，使用不协调的 访问，这是一种非常常见的情况。

当调用需要等到所有标识都解决之后才能继续时，使用同步 访问。

异步访问是“激活并忘记”，让 Identity 在自己的时间内达到新的状态。