Lisp 中的实例变量？

Question

我正在为 CLOS 类编写一个函数，该函数反转所述类的对象的列表元素。

我有一个方法可以返回反向列表，但是如何让它将对象的列表设置为该列表？我可以在存储列表的函数中拥有一个实例变量，然后将元素设置为该变量吗？或者有更简单的方法吗？

这是现在的方法：

(defun my-reverse (lst)
    (cond ((null lst) ‘())
           (t (append (my-reverse (cdr lst)) (car lst)))))

它传递的对象是 (l my-list)，访问器将是 (my-list-ls l)。

编辑：意识到 cons 不适用于 2 个列表。

Edit2：我认为正确的代码是：

(defun my-reverse (l my-list)
        (cond ((null (my-list-ls l) ‘())
               (t (setf (my-list-ls l) (append (my-reverse (cdr (my-list-ls l)))
                                         (car (my-list-ls l)))))))

Answer 1

如果要修改对象的槽，则需要将该对象本身传递给函数，而不仅仅是要更改的槽的值。

编辑：关于问题的编辑2，

我假设 my-list 是类的名称，并且您实际上并不希望将其传递给函数，对吗？在这种情况下，您应该用 defmethod 替换 defun。另外，最好在反转整个列表后仅更改实例一次，而不是每一步都更改实例。您可以为此使用内部函数：

(defmethod my-reverse ((l my-list))
  (labels ((inner (list acc)
             (if (endp list)
                 acc
                 (inner (rest list) (cons (first list) acc)))))
     (setf (my-list-ls l) (inner (my-list-ls l) ()))))

编辑 2：详细说明

defmethod 是定义（多态）方法的 defun 的替代方案。不过，如果您不需要多态性，则可以在第一行使用 (defun my-reverse (l) 。

labels 用于内部函数定义。在这里，它定义了一个名为 inner 的内部函数，带有两个参数 list 和 acc 是执行以下操作的函数。实际的反转，它是尾递归函数，因为尾递归可以自然地进行反转（它可以使用 cons 构建其结果，因此具有线性复杂度，而您的解决方案需要附加，因此具有二次复杂度。 ，因为 cons 本身是常量，但 append 是线性的。）

first 和 rest 只是 <代码>汽车和<代码>cdr， endp 主要只是 null 的替代名称，不同之处在于，如果 endp 的参数实际上不是列表，则会发出错误信号。

最后，最后一行使用原始列表和空列表作为参数调用 inner ，并将结果分配给槽（也称为实例变量）。