如何在计算指定区间素数总和时正确返回素数判定值并累加？

你的代码存在几处关键逻辑和语法问题，导致无法正确累加素数之和，以下是问题分析和修正方案：

核心问题梳理 #

1. 素数判断函数返回值无效：原check-prime函数没有正确返回素数判断结果，循环逻辑混乱，无法准确识别素数。
2. 累加操作错误：使用=（比较运算符）而非赋值语句，导致素数值无法加入总和。
3. 循环方向逻辑错误：当起始值小于结束值时，原循环不会执行，无法遍历区间内的所有数。
4. 变量定义不规范：函数内使用defvar创建全局变量，容易引发变量污染，且手动修改循环变量属于多余操作。

修正后的完整代码 #

;; 素数判断函数：返回t表示是素数，nil表示不是
(defun check-prime (num)
  (cond
    ((<= num 1) nil)          ; 小于等于1的数不是素数
    ((= num 2) t)             ; 2是唯一的偶素数
    ((evenp num) nil)         ; 其他偶数直接排除，减少循环次数
    (t                        ; 遍历3到sqrt(num)的所有奇数
     (loop for i from 3 to (isqrt num) by 2
           never (zerop (mod num i))))))

;; 计算区间素数之和：自动处理区间顺序，返回求和结果
(defun prime-sum (begin end)
  (let ((sum 0)
        (start (min begin end))
        (stop (max begin end)))
    (loop for i from start to stop do
          (when (check-prime i)
            (incf sum i)))  ; incf是累加的简洁写法，等价于(setq sum (+ sum i))
    sum))

;; 交互输入函数：获取用户输入并输出结果
(defun vals ()
  (print "请输入区间起始值: ")
  (let ((begin (read)))
    (print "请输入区间结束值: ")
    (let ((end (read)))
      (format t "区间内素数之和为: ~a~%" (prime-sum begin end)))))

;; 启动交互
(vals)

关键修改说明 #

• 素数判断优化：通过cond分情况处理，提前排除非素数，并用loop的never关键字判断是否存在能整除num的数，确保返回正确的布尔值。
• 累加逻辑修正：使用incf语句完成素数的累加操作，替代原错误的比较运算符。
• 区间兼容性处理：用min和max统一区间的起始和结束顺序，无论用户输入的顺序如何，都能正确遍历整个区间。
• 局部变量规范：用let定义函数内的局部变量，避免全局变量污染，同时移除多余的手动循环变量修改操作。

测试示例：输入起始值4、结束值13，区间内素数为5、7、11、13，求和结果为36，代码运行后会正确输出该结果。

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