gpt4 book ai didi

clojure - 干净地更新 deftype 类的字段

转载 作者:行者123 更新时间:2023-12-02 21:12:08 25 4
gpt4 key购买 nike

我第一次使用 deftype 是因为我正在编写一个优先级队列,而 defrecord 会干扰 ISeq 的实现。

为了避免需要 "deconstruct" the class, alter a field, and "reconstruct" it via explicit calls to it's constructor constantly ,我发现自己需要为需要更改的每个字段编写类似更新的函数:

(deftype Priority-Queue [root size priority-comparator])

(defn- alter-size [^Priority-Queue queue, f]
(->Priority-Queue (.root queue) (f (.size queue)) (.priority_comparator queue)))

(defn- alter-root [^Priority-Queue queue, f]
(->Priority-Queue (f (.root queue)) (.size queue) (.priority_comparator queue)))

当然,我可以编写一个函数来允许更接近 update 的语法,但对此的需求似乎有点难闻。

这是更改非记录的典型方法吗?我已经在其他地方尽可能多地提取了,因此我实际需要更改队列本身的次数仅限于几个地方,但它仍然感觉很庞大。是编写类似于 Scala's copy for case classes 的函数/宏的唯一干净的解决方案?

最佳答案

我建议为此编写一些宏..我最终得到了这个:

(defmacro attach-updater [deftype-form]
(let [T (second deftype-form)
argnames (nth deftype-form 2)
self (gensym "self")
k (gensym "k")
f (gensym "f")
args (gensym "args")]
`(do ~deftype-form
(defn ~(symbol (str "update-" T))
^{:tag ~T} [^{:tag ~T} ~self ~k ~f & ~args]
(new ~T ~@(map (fn [arg]
(let [k-arg (keyword arg)]
`(if (= ~k ~k-arg)
(apply ~f (. ~self ~arg) ~args)
(. ~self ~arg))))
argnames))))))

它只是处理 deftype 形式的参数列表,并创建函数 update-%TypeName%,该函数具有与简单 update 类似的语义,使用关键字变体字段名称,并返回对象的克隆,其中字段已更改。

简单示例:

(attach-updater
(deftype MyType [a b c]))

扩展为以下内容:

(do
(deftype MyType [a b c])
(defn update-MyType [self14653 k14654 f14655 & args14656]
(new
MyType
(if (= k14654 :a)
(apply f14655 (. self14653 a) args14656)
(. self14653 a))
(if (= k14654 :b)
(apply f14655 (. self14653 b) args14656)
(. self14653 b))
(if (= k14654 :c)
(apply f14655 (. self14653 c) args14656)
(. self14653 c)))))

可以像这样使用:

(-> (MyType. 1 2 3)
(update-MyType :a inc)
(update-MyType :b + 10 20 30)
((fn [item] [(.a item) (.b item) (.c item)])))
;;=> [2 62 3]

(attach-updater
(deftype SomeType [data]))

(-> (SomeType. {:a 10 :b 20})
(update-SomeType :data assoc :x 1 :y 2 :z 3)
(.data))
;;=> {:a 10, :b 20, :x 1, :y 2, :z 3}

您还可以避免为每种类型生成 update-%TypeName% 函数,使用协议(protocol)(例如 Reconstruct)并在宏中自动实现它,但这会让您失去使用可变参数的可能性,因为协议(protocol)函数不支持它们(例如,您将无法执行此操作:(update-SomeType :data assoc :a 10 :b 20 :c 30) )

更新

我还可以想到一种方法来完全避免在这里使用宏。虽然它很欺骗(因为它使用 ->Type 构造函数的元数据),而且可能很慢(因为它也使用反射)。但它仍然有效:

(defn make-updater [T constructor-fn]
(let [arg-names (-> constructor-fn meta :arglists first)]
(fn [self k f & args]
(apply constructor-fn
(map (fn [arg-name]
(let [v (-> T (.getField (name arg-name)) (.get self))]
(if (= (keyword (name arg-name))
k)
(apply f v args)
v)))
arg-names)))))

它可以这样使用:

user> (deftype TypeX [a b c])
;;=> user.TypeX

user> (def upd-typex (make-updater TypeX #'->TypeX))
;;=> #'user/upd-typex

user> (-> (TypeX. 1 2 3)
(upd-typex :a inc)
(upd-typex :b + 10 20 30)
(#(vector (.a %) (.b %) (.c %))))
;;=> [2 62 3]

关于clojure - 干净地更新 deftype 类的字段,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/50611521/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com