Common Lisp读取宏实现SRFI 62时read的recursive-p参数用法疑问

关于实现正确性的判断 #

你的理解完全正确。按照Common Lisp标准规范，所有在reader分发宏的实现逻辑中调用read时，都必须将第四个recursive-p参数设置为t。
这个参数的核心作用是标记当前读取是reader宏内部的递归操作，而非顶层的读取请求，会让reader系统做对应的适配：

• 维持当前的读取上下文状态，不会触发仅顶层读取才执行的钩子逻辑
• 若读取过程中出现语法错误，报错信息会明确关联到#;注释的处理过程，不会误导排查方向
• 正确处理多层reader宏嵌套的场景，避免读取逻辑错乱

现有实现的潜在风险 #

你日常使用没有异常只是因为没有触碰到边界场景，长期不修正可能遇到以下问题：

• 注释的S表达式存在语法错误时，报错信息只会提示顶层读取失败，不会说明是注释内的问题，排查成本极高
• 如果你的项目依赖的库修改了*read-suppress、顶层读取回调等配置，非递归的read可能触发这些顶层逻辑，导致注释里的内容意外影响正常代码的加载
• 在嵌套使用#;、#+/#-等reader宏的场景下，非递归读取可能打乱reader的内部状态，出现整个源文件读取失败、代码逻辑意外缺失等诡异问题

修正后符合标准的实现 #

(eval-when (:compile-toplevel
            :load-toplevel
            :execute)

  (set-dispatch-macro-character #\# #\;
    (lambda (stream char n)
      (declare (ignore char))
      (when n
        (error "Infix parameter not allowed in s-expression comment."))
      (read stream t nil t)  ; recursive-p 设为t，符合CLHS规范要求
      (values))))

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