Lisp质数检测函数抽象后循环失效问题求助

这种现象最常见的原因是循环调用的逻辑错误，而非isprime函数本身的问题。结合你描述的“仅输出1、2、3就停止”，大概率是循环代码中错误地在遇到非质数时终止了循环。

举个典型的错误示例：

(defun isprime (x)
  ;; 假设这里的质数检测逻辑是正确的
  (cond ((<= x 1) nil)
        ((<= x 3) t)
        ((or (zerop (mod x 2)) (zerop (mod x 3))) nil)
        (t (do ((i 5 (+ i 6)))
               ((> i (sqrt x)) t)
             (if (or (zerop (mod x i)) (zerop (mod x (+ i 2))))
                 (return nil))))))

;; 错误的循环调用代码
(do ((n 1 (1+ n)))
    ((> n 10))
  (if (isprime n)
      (print n)
      (return))) ; 问题出在这里：只要n不是质数就执行return，直接终止循环

当n=4时，isprime返回nil，触发(return)导致整个循环直接停止，因此只输出1、2、3。而单独调用(print (isprime 5))时，函数本身逻辑正确，能正常返回t。

解决办法 #

修正循环逻辑，移除错误的return，确保循环会持续遍历到目标上限：

;; 正确的循环调用
(do ((n 1 (1+ n)))
    ((> n 10))
  (when (isprime n)
    (print n)))

或者使用loop结构，逻辑更清晰：

(loop for n from 1 to 10
      when (isprime n)
        do (print n))

其他可能原因 #

如果上述情况不符合你的代码，再检查以下两点：

• 全局变量冲突：如果isprime函数内部使用了和循环变量同名的全局特殊变量（比如用defvar定义的变量），会导致循环变量被意外修改，提前终止循环。解决方式是使用词法变量（函数内用let或do的局部变量）。
• 函数副作用：isprime函数内部存在修改外部状态的操作（比如修改全局计数器），破坏了循环的执行流程。这种情况需要检查函数是否有不必要的副作用，确保函数是纯函数（只根据参数返回结果，不修改外部状态）。

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