LISP全局变量PLANTS被修改致循环列表错误求助

1. 优先检查PRINTALL里的破坏性列表操作 #

LISP里的不少函数会直接修改原列表的内存结构，这是最常见的“意外修改”根源：

• 如果你用了nconc、rplaca、rplacd这类函数操作PLANTS或它的子列表，比如写了(nconc plants temp-list)，这会直接把temp-list拼接到PLANTS的末尾，永久改变全局变量的内容。
• 注意sort、reverse的部分实现也是破坏性的，要是直接用它们操作PLANTS本身，或者把返回值赋值回PLANTS，也会搞乱原始数据。

2. 排查是否存在意外赋值 #

检查PRINTALL里有没有不小心写了(setf plants ...)或(setq plants ...)——哪怕是调试时加的临时代码，也会直接覆盖或修改全局变量。

3. 检查是否传递引用到其他修改函数 #

如果PRINTALL调用了其他自定义函数，并且把PLANTS（或它的子列表）作为参数传进去，而那个函数内部做了破坏性操作，也会间接改到PLANTS。比如：

(defun printall ()
  (process-plant-details plants) ; 若process-plant-details内部用了nconc修改传入列表
  ...)

4. 用调试工具直接追踪修改 #

• 在SBCL这类环境里，给PLANTS加监视点：(watch plants)，每次PLANTS被修改时，系统会自动打印调用栈，直接定位到修改它的代码行。
• 也可以在PRINTALL的关键步骤前后打印PLANTS的内存地址，比如(format t "PLANTS addr before: ~a~%" (sb-kernel:get-lisp-obj-address plants))，对比前后地址或内部元素的变化，确认是被修改还是重新赋值。

快速修复建议 #

• 操作全局数据前先复制副本，嵌套列表用copy-tree，单层列表用copy-list，只操作副本不碰原数据：

  (defun printall ()
    (let ((temp-plants (copy-tree plants))) ; 复制整个嵌套结构，不影响原PLANTS
      (nconc temp-plants some-temp-data) ; 对副本做操作
      ...))
  

• 拼接列表时用非破坏性的append代替nconc，append会创建新列表，不会修改原参数。

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