如何用Lisp基础语法编写模仿C/Java的for循环宏（禁用内置loop函数）

要实现不依赖内置loop的C风格for循环，我们可以用defmacro结合基础的控制结构和变量绑定来完成，完全贴合for(init; cond; incr) { body }的执行逻辑。

宏实现代码 #

(defmacro for ((init cond incr) &body body)
  (let ((bindings ())
        (init-exprs ()))
    ;; 拆解初始化部分：区分变量绑定和表达式
    (dolist (elem (if (listp init) init (list init)))
      (cond
        ((and (listp elem) (= (length elem) 2))
         (push elem bindings))
        (t
         (push elem init-exprs))))
    (setf bindings (nreverse bindings)
          init-exprs (nreverse init-exprs))
    ;; 统一增量部分为列表格式
    (setf incr (if (listp incr) incr (list incr)))
    ;; 生成最终展开代码
    `(let ,bindings
       (tagbody
          ,@init-exprs
          loop-label
          (unless ,cond
            (go end-label))
          (progn ,@body)
          ,@incr
          (go loop-label)
          end-label))))

工作原理 #

1. 初始化处理：将初始化部分拆分为let变量绑定（如(i 0)）和初始化表达式（如(format t "Start~%")），先创建局部变量，再执行初始化代码。
2. 循环控制：用tagbody定义标签，go实现跳转：
   • 执行完初始化后进入loop-label标签
   • 用unless判断终止条件，不满足则跳转到end-label结束循环
   • 满足条件时执行循环体，再执行增量代码，最后跳回loop-label继续循环
3. 语法兼容性：支持单个/多个初始化、增量表达式，也支持无限循环（类似C的for(;;)）

示例用法 #

1. 基础计数循环

(for ((i 0))
     (< i 10)
     (incf i)
  (format t "Current value: ~a~%" i))

执行后依次输出0到9。

2. 多变量与多增量

(for ((i 0) (j 10) (format t "Starting dual loop~%"))
     (< i 5)
     ((incf i) (decf j))
  (format t "i: ~a | j: ~a~%" i j))

输出：

Starting dual loop
i: 0 | j: 10
i: 1 | j: 9
i: 2 | j: 8
i: 3 | j: 7
i: 4 | j: 6

3. 无限循环

(for (nil nil nil)
  (format t "Running... (Ctrl+C to stop)~%")
  (sleep 1))

会持续输出提示，直到手动中断。

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