时间戳

首页 > 解决方案 > 我很难理解为什么当我更改列表中的某些值而其他 Lisp 数据没有更改时

lisp - 我很难理解为什么当我更改列表中的某些值而其他 Lisp 数据没有更改时

问题描述

我正在努力理解为什么当我更改 l1 列表的值时，双参数宏会更改结果列表中的值而双列表不会。让我展示一下更清晰的步骤。我已经用值定义了列表 l1 '(1 2 3 4),

(setq l1 '(1 2 3 4))

然后我在下面加载这段代码

    (defmacro double-args (&rest args)
`(let ((ret nil))
    ( dolist (x ,@args )
        (setq ret (append ret (list x x))))
    
   ret) )

(defun macroteste (&rest x) (double-args x))

 ;; first simple macro example:

(defmacro double-list (a-list)
  (let ((ret (gensym)))
   `(let ((,ret nil))
     (dolist (x ,a-list)
      (setq ,ret (append ,ret (list x x))))
 ,ret)))

 ;; use the macro:

 (defun doublelistmacro (x)
  (double-list x))

在此之后，我使用列表 l1 执行了宏，macroteste 并存储在 l2

 (setq l2 (macroteste l1))

然后我用 arg l1 执行了 doublelistmacro 并存储在 l3

 (setq l3 (doublelistmacro l1))

所以我从 l2, ((1 2 3 4) (1 2 3 4)) 和 l3, (1 1 2 2 3 3 4 4)

然后我改变了 l1 的第二个值，(setf (nth 1 l1) 9) 我得到了这些结果：

l1

(1 9 3 4)

l2

（（1 9 3 4）（1 9 3 4））

l3

（1 1 2 2 3 3 4 4）

为什么当我改变 l1 时 l2 也改变了而 l3 没有？

标签： lispcommon-lispclisp

解决方案

首先，备注：在代码中你不应该修改像'(1 2 3 4). 效果未定义。

在您的情况下，差异归结为

CL-USER 2 > (let ((foo (list 1 2 3 4)))
              (let ((l1 (list foo foo))
                    (l2 (loop for e in foo append (list e e))))
                (values l1 l2)))
((1 2 3 4) (1 2 3 4))
(1 1 2 2 3 3 4 4)

第一个列表l1是一个新列表，其元素是原始列表的两倍。第二个列表l2是一个全新的构造列表。

如果您更改原始列表，它将在第一个结果中可见 -> 它直接将它们作为元素。

它不会在第二个列表中可见，因为该列表是全新的。

另请注意，宏使问题复杂化。因此，它们也没有什么意义。

推荐阅读