Common Lisp中向宏传递函数及解决pan-func未绑定错误

这个错误的核心原因是pan-func没有在宏展开阶段根据num-channels参数生成对应代码，而是延迟到运行时才去引用，导致变量未绑定。要让pan-func根据通道数正确展开，需要在宏内部针对num-channels做静态条件分支展开，而非依赖运行时的变量求值。

具体修复方案 #

1. 针对常量通道数的静态展开 #

如果创建合成器时传入的num-channels是固定常量（比如单声道传1），直接在宏展开阶段就确定pan处理逻辑：

(defmacro make-defsynth (name num-channels &rest body)
  (let ((pan-code (cond
                    ((= num-channels 1) body) ; 单声道无需pan处理
                    ((= num-channels 2) `((pan2 ,@body))) ; 双声道用pan2包裹
                    (t (error "不支持的通道数: ~a" num-channels)))))
    `(defsynth ,name ()
       ,@pan-code)))

这种方式下，宏展开时会直接把pan-func对应的逻辑替换成具体代码，不会留下未绑定的变量。

2. 支持动态通道数的运行时处理 #

如果需要让合成器在运行时接收通道数参数，就把num-channels作为合成器的输入参数，在运行时选择pan函数：

(defmacro make-defsynth (name &rest body)
  `(defsynth ,name ((num-channels 1))
     (case num-channels
       (1 ,@body)
       (2 (pan2 ,@body))
       (t (error "不支持的通道数: ~a" num-channels)))))

这种写法避免了宏阶段的变量引用问题，pan逻辑会在合成器运行时根据传入的通道数动态执行。

3. 验证宏展开结果 #

用macroexpand-1检查宏展开后的代码，确认pan-func相关逻辑是否被正确替换：

(macroexpand-1 '(make-defsynth playbuf-mono 1 (playbuf ...)))

展开后的代码里应该看不到pan-func变量，而是直接对应单声道的处理逻辑。

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