“原子交换！”之间的区别和“参考通勤”

Question

两者有什么区别？

1.

(def x (ref 0))
(dosync
  (commute x f))

2.

(def x (atom 0))
(swap! x f))

这两个例子同样有效

Answer 1

如果你只有一个 ref 和一个 atom，实际上并没有太大的区别。我想你可能会了解 atom 和 refs 的区别。

commute 是一个可以在dosync 块中的任何位置调用的函数。 Clojure 自己选择何时在此块内执行 commute。

也许我用一个小例子来解释一下：

(def x (ref 0))
(def y (ref 0))
(dosync (alter x inc)
        (alter y dec))

alter 更改dosync 块内的引用值。因为 refs 是协调和同步的，所以我们需要将它们放在这个块中。如果在更改其中一个 ref 时发生错误，则整个块将失败，并且您的 ref 具有与调用更改之前相同的值。

通勤的区别如下：如果我们有如下代码块

(def x (ref 0))
(def y (ref 0))
(dosync (commute x inc)
        (alter y dec))

如果在更改 ref 的值时出现错误，commute 仍会被调用并更改您的 ref。它不关心alter 的结果，即使alter 失败，commute 也会增加 x。 Clojure 可以选择何时调用 commute，因此即使发生错误也可以执行。

与原子的最大区别在于原子没有配位。如果一个原子上有多个swap!，可能只会执行第一个swap!。我的一个项目陷入了这个问题，我必须确保第一个 swap! 在调用下一个 swap! 之前已经终止。

再说一遍：想想你真正需要什么。你需要一个原子还是一些参考？如果您选择 refs，您可以选择 alter，它在您想要的位置执行，或者 commute，Clojure 可以决定何时调用它（然后调用是 commutative )。

如果您选择一个原子，则在执行该原子时您只能更改一个值。如果另一个调用尝试swap! 的值，它会被拒绝。