定义相互依赖的变量

Question

我需要定义相互依赖的变量。我的意思是一个 var 包含例如一个带有另一个 var 的向量，反之亦然。下面的代码说明了这一点：

(declare a b)
(def a [1 b])
(def b [a 2])

但是加载此代码后我得到了这样的信息：

test=> (first a)
1
test=> (second a)
#<Unbound Unbound: #'test/b>
test=> (first b)
[1 #<Unbound Unbound: #'test/b>]
test=> (second b)
2

显然，这不是它应该如何工作的。 我知道打印这样的结构会导致堆栈溢出，但我不需要打印它。我该怎么做呢？

Answer 1

您可以执行以下操作：

(declare a b)
(def a [1 #'b])
(def b [#'a 2])

@(a 1)
=> [#'user/a 2]

请注意，#' 是用于引用 var 的读取器宏。

我仍然不太确定你为什么要这样做......试图让变量像这样相互依赖对我来说似乎是一个非常糟糕的代码味道。无论您尝试做什么，实际上都可以通过不同的方法得到最好的解决。

编辑

额外的评论指出问题与不同类型的实体相互引用有关，我认为更好的方法是带有关键字的地图，例如

(def my-model
  {:a 
      {:name "Entity A" 
       :references [:b]}
   :b 
      {:name "Entity B"
       :references [:a]}}

Answer 2

首先，这听起来很像 XY 问题。

其次，如果不改变状态，就无法创建相互引用的数据结构。如果这就是您需要的数据结构（您可能不需要），那么请使用 clojure 设计良好的方法来表示。例如：

user=> (set! *print-level* 2)  ; this is necessary to stop the infinite print recursion
2
user=> (def a (atom [1]))
#'user/a
user=> (def b (atom [a 2]))
#'user/b
user=> (swap! a conj b)
[1 #<Atom@19ed00d1: #>]
user=> @a
[1 #<Atom@19ed00d1: #>]
user=> @b
[#<Atom@5c6c2308: #> 2]

Answer 3

惰性评估可能会有所帮助：

user=> (declare a b)
#'user/b
user=> (def a [1 (lazy-seq b)])
#'user/a
user=> (def b [(lazy-seq a) 2])
#'user/b
user=> (first a)
1
user=> (second b)
2
user=> (second a) ;stack overflow
user=> (first b) ;stack overflow
user=> (take 42 (second a)) ;still overflow as it's infinitely deep
user=> (take 42 (first b)) ;still overflow as it's infinitely deep

希望它有帮助，尽管我看不出它有什么用处。