如何将Common Lisp动态变量作为数组元素使用并正确取值

你用'(*foo* *bar*)作为数组的初始内容，这里的单引号是引用，所以数组里实际存的是符号*foo*和*bar*，而不是这些变量的当前值。所以(aref *baz* 0)返回的是符号本身，不是'(1 2 3)，自然调用elt会报错——符号不是序列类型。

根据你的需求选对应的方法：

1. 存储变量的静态值（存的时候的值，后续变量修改不影响数组内容） #

把初始内容的引用换成list函数，它会自动求值每个参数，把变量的当前值存入数组：

(defparameter *foo* '(1 2 3))
(defparameter *bar* '(3 4 5))
(defparameter *baz*
  (make-array 2 :initial-contents (list *foo* *bar*)))

现在调用(aref *baz* 0)直接返回'(1 2 3)，(elt (aref *baz* 0) 1)会返回2。如果之后修改*foo*，比如(setf *foo* '(4 5 6))，*baz*里的第一个元素还是原来的'(1 2 3)。

2. 动态获取变量的当前值（后续变量修改后，数组取到新值） #

如果希望数组里的“引用”能随时拿到变量的最新值，那可以存符号，然后用symbol-value函数获取符号对应的变量值：

(defparameter *foo* '(1 2 3))
(defparameter *bar* '(3 4 5))
(defparameter *baz*
  (make-array 2 :initial-contents '(*foo* *bar*)))

;; 获取值的方式
(symbol-value (aref *baz* 0)) ; 返回*foo*的当前值
(elt (symbol-value (aref *baz* 0)) 1) ; 返回对应元素，比如2

要是之后修改*foo*为'(4 5 6)，再调用上面的代码就会返回5。

也可以存匿名函数，每次调用函数获取最新值，写法更直观：

(defparameter *baz*
  (make-array 2 :initial-contents (list (lambda () *foo*) (lambda () *bar*))))

(funcall (aref *baz* 0)) ; 获取*foo*的当前值
(elt (funcall (aref *baz* 0)) 1)

内容的提问来源于stack exchange，提问作者user1492431