Clojure 的身份与状态思想

基本概念

Clojure 语言中没有简单的变量。但 Clojure 却声称最擅长管理状态，为什么？靠的是仔细设计的状态类型们，其中最引人注目和最常用的是 Atom 和 Ref(ClojureScript 中不可用）。

粗看起来，这两个东西区别很大：生成函数不同，操作函数也不同：

类型
生成函数
操作函数

Atom
atom

reset!, swap!

Ref
ref

ref-set, alter, commute

Ref 还要将操作包装在dosync中。

但在实际上，它们其实遵循同样的设计思路：所谓状态变量，指的是身份。例如：

(def person-data {:age 30, :salary 5000})
(def a-xiaoming (atom person-data))
(def r-xiaoming (ref person-data))
定义了两种不同的状态身份。它们实际上拥有同一个值：{:age 30}，这个值是它的状态数据。在 clojure 语言中，状态身份是不会变的（可以理解为类似于 c 的指针），状态数据也不会变化，变化的是两边的联系。例如， 小明的个人数据是 person-data。这句话中，小明这个主体状态身份是不会变的，person-data 这个状态数据也不会变化，但小明年龄可能会关联到不同的状态数据，例如，过了年后可能关联为另一个状态数据 {:age 31, :weight 5500}。

函数推动状态数据的关联变化

推动状态的身份和数据的联系的变化是发生了某动作，也就是函数。因此，驱动状态是这样发生的：

(defn new-year [person-data]
(-> person-data
(update :age inc)
(update :salary # (* % 2))))

(swap! a-xiaoming # (update % :age inc :weight new-year)
注意，一个事件发生的函数应该是统一在一起的，它们是一个事务。clojure 的优秀数据结构保证这个事务的原子性。

下面这种写法呢？

(-> a-xiaoming
(swap! # (update % :age inc))
(swap! # (update :salary (fn [n] (* n 2)))))
事实上，对一个状态数据的连续操作一定是不正确的，它打破了事务的边界。ref 的dosync建立的边界也是一样。

关键字：clojure, ref, 函数, age

版权声明

本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处。如若内容有涉嫌抄袭侵权/违法违规/事实不符，请点击 举报 进行投诉反馈！