Elisp函数求值报错‘Symbol's value as variable is void: s’求助

错误根源 #

报错“Symbol's value as variable is void: s”的核心问题出在**reps宏的实现逻辑**——宏与函数的执行时机完全不同：

• 函数在运行时执行，此时局部变量s已经被let绑定赋值；
• 宏在代码编译/展开阶段处理，调用(reps s " " "-")时，宏内部的(eval *s)会在展开时直接尝试解析s，但此时s还只是str-to-sym函数里的局部变量符号，尚未被赋值，因此触发“变量未定义”错误。

单独测试的代码能正常运行，是因为那部分是纯函数逻辑，s在运行时已经有明确的值，和宏的执行阶段完全无关。

具体问题点 #

看reps宏的关键代码：

(defmacro reps (*s old &optional new limit)
  (let ((buf (make-buffer "*reps*" (eval *s))))
    ...))

这里的(eval *s)是在宏展开时执行的，而非运行时。当在str-to-sym里用局部变量s作为参数传入时，宏展开阶段无法获取到s的运行时值，自然报错。

修复方案 #

方案1：将reps改为函数（推荐） #

宏在这里完全没必要，改成函数后，参数会在运行时传递，能正常获取s的值：

(defun reps (s old &optional new limit)
  (with-temp-buffer
    (insert s)
    (goto-char (point-min))
    (while (search-forward old nil t limit)
      (replace-match (or new "") t t))
    (buffer-string)))

同时修改str-to-sym函数，注意read会把字符串转为符号，需要转成字符串才能处理：

(defun str-to-sym ()
  (interactive)
  (save-excursion
    (kill-sexp 1)
    (let ((s (read (car kill-ring))))
      (insert (downcase (reps (symbol-name s) " " "-"))))))

方案2：调整宏的实现，延迟到运行时处理 #

如果一定要保留宏，需要把变量求值逻辑放到运行时的代码里，而不是宏展开阶段：

(defmacro reps (*s old &optional new limit)
  `(with-temp-buffer
     (insert ,*s)
     (goto-char (point-min))
     (while (search-forward ,old nil t ,limit)
       (replace-match (or ,new "") t t))
     (buffer-string)))

这样宏展开后，,*s会被替换成变量s，在运行时才会求值，就能正常获取到局部变量的值。

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